In order to understand this project you must read the Notes and Credits. Boole's Algebra contains undefined terms, undefined operations and 12 axioms. This project simulates: Axiom 1a. x ⊕ y = y ⊕ x (commutative property) Press the Green Flag and verify that the x, y, inputs generate the columns on the right side of the table.
George Boole (1815 - 1864) English mathematician. In 1854 he published the Laws of Thought. It earned him the title, "father of symbolic logic." The symbolic logic expressed in his book is now known as Boolean algebra. Claude Shannon (1916 - 2001) MIT mathematician. In his electrical engineering master's thesis, 'A Symbolic Analysis of Relay and Switching Circuits', he breathed life into the abstract symbols of Boolean algebra by using Boole's algebra to describe mathematically electrical switching circuits. His thesis provided the theoretical basis for developing digital circuit technology and digital logic. The digital circuits that automate digital logic, are the basic building blocks of the modern digital computer. The Axioms of Boolean Algebra Undefined elements: x, y, z, etc. The elements O and I are special elements whose properties are specified in the axioms. Undefined operations: ⊕, ⊗ Axiom 1a. x ⊕ y = y ⊕ x (commutative property) Axiom 1b. x ⊗ y = y ⊗ x (commutative property)
