Huntington's theorem (Boole's Boolean) — The Logic Path
Node
Huntington's theorem (Boole's Boolean) (Theorem) in The Logic Path. Era: 1904. Formula: x ∧ y, x ∨ y, ¬x. Origin axiom of path: Huntington's theorem (Boole's Boolean). Modern reach: SAT · NP-completeness · Complexity theory.