Definition:Sheffer Operator

From ProofWiki
Jump to navigation Jump to search


A Sheffer operator is a truth function which forms a functionally complete singleton set.

Also known as

  • Sole sufficient operator

Also see

From Functionally Complete Singleton Sets, the only binary Sheffer operators are NAND and NOR.

Source of Name

This entry was named for Henry Maurice Sheffer.