How Boolean algebra went from an abstract mathematical idea to the basis of the modern computer.

The manipulations of the propositional calculus (and the analogous Boolean algebra) have recently become of fundamental importance in fields other than set theoretical proofs of pure mathematics. For ...

Formal Methods in System Design (2024). [3] Efficient Formal Verification of Galois-Field Arithmetic Circuits Using ZDD Representation of Boolean Polynomials.