Boolean Algebra

Boolean algebra is a significant tool for the analysis and design of electronic computers. It has wide applications to switching theory and logical design of electronic circuits.


Definition 7.1

A non-empty set B with two binary operations ∨ and ∧, a unary operation ′, and two distinct elements 0 and I is called a Boolean Algebra if the following axioms holds for any elements a, b, cB:

[B1]: Commutative Laws


ab = ba    and    ab = ba.

[B2]: Distributive Laws


a ∧ (bc) = (ab) ∨ (ac)    and    a ∨ (bc) = (ab) ∧ (ac).

[B3]: Identity Laws:


a ∨ 0 = a    and    aI = a.

[B4]: Complement Laws:


aa′ = I    and    aa′ = 0.

We shall call 0 as zero element, ...

Get Discrete Mathematics now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.