Definition:Sheffer Operator
From ProofWiki
Definition
A Sheffer operator is a logical connective which forms a singleton set which is functionally complete.
From Functionally Complete Logical Connectives, the only binary Sheffer operators are NAND and NOR.
Otherwise known as a sole sufficient operator.
Source of Name
This entry was named for Henry Maurice Sheffer.
