Experiment 2
Experiment 2
EXPERIMENT NO. – 02
1.0 Aim: -
To verify the DeMorgan’s Theorem.
2.0 Objectives: -
2.1 Study of Boolean Algebra and implementing them by using logic gates.
2.2 Implementing and verify DeMorgan’s theorem by using logic gates.
5.0 Theory: -
The digital circuit can be made up of several logic gates. To perform the logical operation
with minimum logic gates, a set of rules were invented, known as the Laws of Boolean Algebra.
These rules are used to reduce the number of logic gates for performing logic operations.
Boolean algebra was introduced by a famous mathematician “George Boole”.
Boolean algebra is the category of algebra in which the variable’s values are the truth
values, true and false, ordinarily denoted 1 and 0 respectively. It is used to analyze and simplify
digital circuits or digital gates. It is also called Binary Algebra or logical Algebra. It has been
fundamental in the development of digital electronics and is provided for in all modern
programming languages. It is also used in set theory and statistics.
=A
Commutative Law
This law states that no matter in which order we use the variables. It means that the order
of variables doesn't matter in this law.
A.B=B.A
A+B=B+A
Associative Law
This law states that the operation can be performed in any order when the variables
priority is of same as '*' and '/'.
(A . B) . C = A . (B . C)
(A + B) + C = A + (B + C)
Distributive Law
This law allows us to open up of brackets. Simply, we can open the brackets in the
Boolean expressions.
Shri VaishnavSM Institute of Technology & Science, Indore
Discipline Department of Electrical & Electronics Engineering Pages: 3/4
Subject Name: Digital Logic and Circuit Design Sub. Code: BTEC104 Experiment No.: 02
A + (B . C) = (A + B) . (A + C)
A . (B + C) = (A . B) + (A . C)
Absorption Law
This law allows us for absorbing the similar variables.
A + (A . B) = A
A . (A + B) = A
While George Boole’s set of laws and rules allows us to analyses and simplify a digital
circuit, there are two laws within his set that are attributed to Augustus DeMorgan (a nineteenth
century English mathematician) which views the logical NAND and NOR operations as
separate NOT AND and NOT OR functions respectively.
DeMorgan’s Theorem:
DeMorgan’s Theorems are basically two sets of rules or laws developed from the
Boolean expressions for AND, OR and NOT using two input variables, A and B. These two rules
or theorems allow the input variables to be negated and converted from one form of a Boolean
function into an opposite form.
DeMorgan’s first theorem states that two (or more) variables NOR´ed together is the
same as the two variables inverted (Complement) and AND´ed, while the second theorem states
that two (or more) variables NAND´ed together is the same as the two terms inverted
(Complement) and OR´ed.
DeMorgan’s First Theorem:
DeMorgan’s First theorem proves that when two (or more) input variables
are AND’ed and negated, they are equivalent to the OR of the complements of the individual
variables. Thus the equivalent of the NAND function will be a negative-OR function, proving that
.
DeMorgan’s Second Theorem
DeMorgan’s Second theorem proves that when two (or more) input variables
are OR’ed and negated, they are equivalent to the AND of the complements of the individual
variables. Thus the equivalent of the NOR function is a negative-AND function proving that
A B A.B
0 0 0 1 1 1 1
0 1 0 1 1 0 1
1 0 0 1 0 1 1
1 1 1 0 0 0 0
Shri VaishnavSM Institute of Technology & Science, Indore
Discipline Department of Electrical & Electronics Engineering Pages: 4/4
Subject Name: Digital Logic and Circuit Design Sub. Code: BTEC104 Experiment No.: 02
A B A+B
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0
References: -
Moris Mano; "Digital Logic & Computer Design"; PHI.