BASIC TRUTH FUNCTIONS
NEGATION ("NOT")
p
~ p
T
F
F
T
CONJUNCTION ("AND")
p
q
p ^ q
T
T
T
T
F
F
F
T
F
F
F
F
DISJUNCTION ("OR")
p
q
p v q
T
T
T
T
F
T
F
T
T
F
F
F
IMPLICATION ("IF/THEN")
p
q
p → q
T
T
T
T
F
F
F
T
T
F
F
T