Definition:Sheffer Operator

From ProofWiki
Jump to navigation Jump to search

Definition

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.

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Sheffer_Operator&oldid=175222"