Boolean Propositional Connectives
Overview:
There are just two unary operators and sixteen dyadic operators, which are best defined using truth tables.
FFFF
FALSE
TFFF
p NOR q
FFFT
p AND q
TFFT
p EQ q
FFTF
q AND (NOT p)
TFTF
NOT p
FFTT
q
TFTT
q IF p
FTFF
p AND (NOT q)
TTFF
NOT q
FTFT
p
TTFT
p IF q
FTTF
p NEQ q
TTTF
p NAND q
FTTT
p OR q
TTTT
TRUE
:
©
created 1998/07/10 modified 1998/07/10