Boolean Algebra (The Laws of Thought)

Editorial record

Plain-language summary

Boole treated statements as variables taking values that behave like 0 and 1, with operations for 'and', 'or', and 'not' following consistent algebraic rules. This turned deductive reasoning into symbol manipulation that could be checked mechanically rather than by intuition. The system later became the mathematical basis for digital logic circuits and for how computers represent and evaluate logical conditions.