<<
Functional Completeness • A set of logical connectives is called functionally complete if every boolean expression is equivalent to one involving only these connectives. • The set {¬, ∨, ∧} is functionally complete. – Every boolean expression can be turned into a CNF, which involves only ¬, ∨,and∧. • The sets {¬, ∨} and {¬, ∧} are functionally complete. – By the above result and de Morgan’s laws. •{nand } and { nor } are functionally complete.a
aPeirce (c. 1880) and Sheffer (1913).