Discrete Mathematics - MGNet

using the logic predicate notation from the class notes (circa pages 5-6). Definition: A Boolean algebra is a set B with binary operators ( and (, the unitary operator ¬, elements 0 and 1, and the following laws holding for all elements of B: identity, complement, associative, commutative, and distributive. ................
................