Binary logic is a Boolean algebra
Substitute
- {0, 1} for B
- OR for +, AND for •
- NOT for '
All the axioms hold for binary logic
Definitions
- Boolean function: Maps inputs from the set {0,1} to the set {0,1}
- Boolean expression: An algebraic statement of Boolean variables and operators