Example image of eyePlorer eyePlorer map for 'Functional completeness': Boolean expression Boolean function Logic Logical connective Truth table Logical conjunction Logical disjunction Negation Binary operation Sheffer stroke Propositional calculus Digital electronics Logic gate NAND gate Logical biconditional Material conditional Subset Emil Leon Post Monotonic function Affine transformation De Morgan's laws Majority function Truth value Clone (algebra) Lattice (order) Post's lattice Logical NOR Unary operation Charles Sanders Peirce Henry M. Sheffer NOR gate Arity Reversible computing Fredkin gate Functional completeness Toffoli gate Completeness Intuitionistic logic LC-3 Logic alphabet Predicate functor logic Quantum gate Von Neumann–Bernays–Gödel set theory Laws of Form