（1）否定 ¬
真值表：
p ¬ p
T F
F T
（2）合取 ∧
p q p∧q
T T T
T F F
F T F
F F F
（3）析取 ∨
p q p∨q
T T T
T F T
F T T
F F F
（4）不相容析取：（代用符号,标准写法为：∨的中上部加• ）
p q pq
T T F
T F T
F T T
F F F
（pq）与((p∨q)∧(¬(p∧q)))真值相同
（5）蕴涵 →
p q p→q
T T T
T F F
F T T
F F T
（6）反蕴涵 ←
p q p←q
T T T
T F T
F T F
F F T
（7）等值 ↔
p q p↔q
T T T
T F F
F T F
F F T