REVIEW OF LOGICAL OPERATORS AND TRUTH TABLES



Symbol
 Logical Function
 Basic Translation
~ Negation
 not
Conjunction
 and
v Disjunction or Alternation
 or

Material Implication
 if...then

Material Equivalence
 if and only if




Truth table for negation:

P ~ P
T
 F
F
 T



Truth tables for conjunction, disjunction, material implication, material equivalence:

P Q
 P Q P v Q P Q P Q
T T
 T
 T
 T
 T
T F
 F
 T
 F
 F
F T
 F
 T
 T
 F
F F
 F
 F
 T
 T