TRUTH TABLE
DescriptionSymbolTrue or False State
a statementpTTFF
a statementqTFTF
not p
denial
~pFFTT
p and q
conjunction
p · qTFFF
p or q (inclusive)
inclusive disjunction
p v qTTTF
p or q (exclusive)
exclusive disjunction
FTTF
if p then q
conditional
pqTFTT
p if and only if q
biconditional
pqTFFT