Boolean Theorems

Boolean theorems and laws are used to simplify the various logical expressions. In a digital designing problem, a unique logical expression is evolved from the truth table. If this logical expression is simplified the designing becomes easier. The boolean algebra is mainly used in digital electronics, set theory and digital electronics. It is also used in all modern programming languages. Thus, Boolean theorems help in this way.

There are few basic laws and theorems of Boolean algebra, some of which are familiar to everyone such as Cumulative Law, Associative Law, Distributive law, DeMorgan’s Theorems, Double Inversion law and Duality Theorems.

The Cumulative Law

The below two equations are based on the fact that the output of an OR or AND gate remains unaffected while the inputs are exchanged themselves. The equation of the cumulative law is given below.

The Associative Law

The equation is given as

These laws illustrate that the order of combining input variables has no effect on the final answer.

The Distributive Law

The equation is given below.

The distributive law can be understood by the corresponding logic equivalence shown in the below.

The four basic identities of OR operations is given below.

The authentication of the above all equations can be checked by substituting the value of A = 0 or A = 1.

The three basic identities of AND operations is given below.

One can check the validity of the above identities by substituting the value of A= 0 or A = 1

Double Inversion Law

The double inversion rule is shown by the equation below.

The law states that the double complement (complement of the complement) of a variable equals the variable itself.

DeMorgan’s Theorems

The DeMorgan’s theorem is discussed in the article DeMorgan’s Theorem in detail.

The equations are given below.

The equation (6) says that a NOR gate is equivalent to a bubbled AND gate, and the equation (7) says that NAND gate is equivalent to a bubbled OR gate.