A complemented distributive lattice on a two-element set {0, 1} with meet (∧), join (∨), and complement (¬). Equivalent (as an algebraic structure) to propositional logic under the identification 0↔F, 1↔T, ∧↔AND, ∨↔OR, ¬↔NOT. The…
A complemented distributive lattice on a two-element set {0, 1} with meet (∧), join (∨), and complement (¬). Equivalent (as an algebraic structure) to propositional logic under the identification 0↔F, 1↔T, ∧↔AND, ∨↔OR, ¬↔NOT. The…