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*)"

See also: