Logical nor

Sponsorship the way you would do it

Logical nor (not or) is a boolean logic operator which produces a result that is the inverse of logical or. That is, p nor q is only true when p or q are false, and is false otherwise.

Nor has the interesting feature that all other logical operators can be expressed by various functions of nor.

"not p" is equivalent to "p NOR p"

"p and q" is equivalent to "(p NOR p) NOR (q NOR q)"

"p or q" is equivalent to "(p NOR q) NOR (p NOR q)"

"p implies q" is equivalent to "((p NOR q) NOR q) NOR ((p NOR q) NOR q)"

This is similar to the logical nand operator.