Introduction, Elimination, and Equivalencies
NOR has the interesting feature that all other logical operators can be expressed by interlaced NOR operations. The logical NAND operator also has this ability.
The logical NOR is the negation of the disjunction:
Expressed in terms of NOR, the usual operators of propositional logic are:
|
|
|
|||||||||||||||||||||
|
|
|
Read more about this topic: Logical NOR