Boolean Algebra

See BooleanLogic.