hamburger

Boolean Algebra Laws

By BYJU'S Exam Prep

Updated on: September 25th, 2023

Before discussing various Boolean algebra laws, we will discuss a brief history, importance, and evaluation as the most effective tool in modern digital electronics. In his book, “The Mathematical Analysis of Logic (1847),” George Boole laid the foundation for studying Boolean Algebra as a branch of mathematics. In modern-day electronic automation, efficient representation of Boolean functions following Boolean algebra laws plays a vital role in logic synthesis and formal verification.

Certain axioms and Boolean algebra laws can help simplify the complex Boolean expressions to reduce the number of logic gates required for implementing a particular logic design. In this article, we focus on the Boolean algebra laws, some axioms, and theorems that can be helpful in reduction.

Download Formulas for GATE Electrical Engineering – Signals and Systems

What are the Boolean Algebra Laws?

The Boolean Algebra laws are a series of rules or expressions that have been developed to assist minimize the number of logic gates required to complete a given logic operation, resulting in a list of functions or theorems usually referred to as the Laws of Boolean Algebra. Further, let us discuss these in detail in the upcoming sections.

Download Formulas for GATE Electrical Engineering – Electromagnetic Theory

Axioms of Boolean Algebra

There is a set of axioms or postulates in Boolean algebra that we accept without any proof. We can build a bunch of useful theorems using these axioms. In the following table, we have listed some useful axioms that can be helpful in our further requirements. 

S.No. 

Axiom 

1 

0.0=0

>0.0=0

2 

0.1=0

>0.1=0

3 

1.0=0

>1.0=0

4 

1.1=1

>1.1=1

5 

0+0=0

>0+0=0

6 

0+1=1

>0+1=1

7 

1+0=1

>1+0=1

8 

1+1=1

>1+1=1

9 

1=0

>x̄=0 (if x=1)

10 

x̄=1 (if x=0)

Law of Complementation

The term complement means ‘to invert’, every variable attains its inverse form after the implementation of the complement operation. The following statements can be made from the law of complementation. 

Statement 1: Whenever we apply the AND operation on a Boolean variable and its complement, it results in logic 0. 

Statement 2: Whenever we apply the OR operation on a Boolean variable and its complement, it results in logic 1. 

S.No. 

Law 

1 

X.X=0

>X.X̅=0

2 

X+X=1

>X+X̅=1

Download Formulas for GATE Electrical Engineering – Electrical Machines

Law of Annulment

This Boolean algebra law states that whenever we apply the AND operation on a Boolean variable and 0, it will result in logic 0. After the AND operation with 0, irrespective of the value of the Boolean variable it’s got annulled and results in logic 0. 

Similarly, applying the OR operation on a Boolean variable and 1 will result in logic 1. After the OR operation with 1, irrespective of the value of the Boolean variable it’s got annulled and results in logic 1. 

S.No. 

Law 

1 

X.0=0

>X.0=0

2 

X+1=1

>X+1=1

Law of Identity

The application of OR operation on a Boolean variable and 0 results in the same Boolean variable. Similarly, the application AND operation on a Boolean variable and 1 result in the Boolean variable. In both cases, the result is identical to the Boolean variable. 

S.No.

Law 

1

X+0=X

2

X.1=X

Idempotent Law

Idempotent denotes an element of a set that is unchanged in value when multiplied or otherwise operated on by itself. This Boolean algebra law states that applying AND operation with itself results in the same variable for any Boolean variable. Similarly, if we apply OR operation on a Boolean variable, it results in the same variable.  

S.No. 

Law 

1 

X+X=X

>X+X=X

2 

X.X=X

>X.X=X

Commutative Law

Commutative means the condition that a group of quantities connected by operators gives the same result whatever the order of the quantities involved. If we apply AND operation on two Boolean variables, then there is no significance for the order of application. Similarly in the OR operation of Boolean variables, the order of application is insignificant. 

S.No.

Law 

1 

X+Y=Y+X

>X+Y=Y+X

2 

X.Y=Y.X

>X.Y=Y.X

Distributive Law

This Boolean algebra law allows the multiplication or factorization outside the Boolean expression. This law is applicable for AND as well as OR operators in Boolean algebra. 

S.No. 

Law 

1 

XY+Z=X.Y+Y.Z  (OR distributive law)

>X(Y+Z)=X.Y+Y.Z  (OR distributive law)

2 

X+(Y.Z)=X+Y.Y+Z (AND distributive law)

>X+(Y.Z)=(X+Y).(Y+Z) (AND distributive law)

Associative Law

This Boolean algebra law allows the grouping of variables. This law is defined for AND as well as OR operators in Boolean algebra. 

S.No. 

Law 

1 

X+Y+Z=X+Y+Z=X+Y+Z  (OR associatitive law)

>X+(Y+Z)= (X+Y)+Z= X+Y+Z  (OR associative law)

2 

XY.Z=X.YZ=XYZ  (AND associative law)

>X(Y.Z)= (X.Y)Z= XYZ  (AND associative law)

 

Double Negation Law

This law of Boolean algebra states the double application of inversion on any Boolean variable results in the same variable. The following formula denotes it.

X̿ = X

Law of Absorption

This Boolean algebra law helps in the elimination of similar variables; hence it enables the reduction of complex terms into simplified expressions. This law is applicable for both AND as well as OR operators. 

S.No 

Law 

1 

X+X.Y=X.1+X.Y=X1+Y=X (OR absorption law)

>X+(X.Y)= (X.1)+(X.Y)= X(1+Y)=X (OR absorption law)

2 

XX+Y=X+0.X+Y=X+0.Y=X (AND absorption law)

>X(X+Y)= (X+0).(X+Y)= X+(0.Y)= X (AND absorption law)

De Morgan’s Theorem

De Morgan’s theorem is a powerful tool of reduction in Boolean algebra. There are two separate statements for theorem. 

Statement 1: The complement of the sum of the variables is equal to the product of their individual compliments. 

width=20%

We can prove the above statement using a two-variable truth table as shown below. 

width=100%

Statement 2: 

The complement of the product of the variables is equal to the sum of their individual complements. 

width=20%

The above statement can be proved by using the two-variable truth table as shown below.

width=100%

Important GATE Topics

Transistor Configuration Types Of Keys In Dbms
Difference Between Dbms And Rdbms Difference Between Malloc And Calloc
Structural Hazard Electric Circuit
Stability Of Structures Dijkstra Algorithm
Support Reaction Difference Between Printer And Plotter
Our Apps Playstore
POPULAR EXAMS
SSC and Bank
Other Exams
GradeStack Learning Pvt. Ltd.Windsor IT Park, Tower - A, 2nd Floor, Sector 125, Noida, Uttar Pradesh 201303 help@byjusexamprep.com
Home Practice Test Series Premium