TM - BLM Bolean Algebra
TM - BLM Bolean Algebra
University of Colombo
X X (means complement of x)
0 1
1 0
Truth Table
0 0 0 0 0 0
1 0 0 1 0 1
2 0 1 0 0 0
3 0 1 1 0 1
4 1 0 0 0 0
5 1 0 1 0 1
6 1 1 0 1 1
7 1 1 1 1 1
Tautology & Fallacy
3. NOT gate
AND gate
AND gate
0 0 0
0 1 0
1 0 0
1 1 1
OR gate
OR gate
The OR gate is an electronic circuit that
gives a high output (1) if one or more of its
inputs are high.
OR gate also takes two or more input
signals and produce only one output signal.
Input Input Output
A B A+B
0 0 0
0 1 1
1 0 1
1 1 1
NOT gate
NOT gate
AND Gate
AND Gate
NAND
X
Z
Y
X Y Z
Z = ~(X & Y) 0 0 1
nand(Z,X,Y) 0 1 1
1 0 1
1 1 0
NAND Gate
X F = (X•X)’ X F = X’
= X’+X’
= X’
X X F
F = ((X•Y)’)’ Y
Y X•Y
= (X’+Y’)’
= X’’•Y’’
= X•Y
X X
F = (X’•Y’)’ F=
Y = X’’+Y’’Y X+Y
= X+Y
NOR Gate
NOR Gate
NOR
X
Z
Y
Z = ~(X | Y) X Y Z
nor(Z,X,Y) 0 0 1
0 1 0
1 0 0
1 1 0
Exclusive-OR Gate
Exclusive-OR Gate
XOR XY Z
X Z
Y 00 0
Z=X^Y 01 1
10 1
xor(Z,X,Y) 11 0
Exclusive-NOR Gate
Exclusive-NOR Gate
XNOR XY Z
X Z
Y 00 1
01 0
Z = ~(X ^ Y) 10 0
Z = X ~^ Y 11 1
xnor(Z,X,Y)
POWER CONSUMPTION OF SYSTEM
Basic Theorem of Boolean Algebra
T1 : Properties of 0
(a) 0 + A = A
(b) 0 A = 0
T2 : Properties of 1
(a) 1 + A = 1
(b) 1 A = A
Basic Theorem of Boolean Algebra
T3 : Commutative Law
(a) A + B = B + A
(b) A B = B A
T4 : Associate Law
(a) (A + B) + C = A + (B + C)
(b) (A B) C = A (B C)
T5 : Distributive Law
(a) A (B + C) = A B + A C
(b) A + (B C) = (A + B) (A + C)
(c) A+A’B = A+B
Basic Theorem of Boolean Algebra
T8 : Complementary Law
(a) X+X’=1
(b) X.X’=0
T9 : Involution
(a) x’’ = x
T10 : De Morgan's Theorem
(a) (X+Y)’=X’.Y’
(b) (X.Y)’=X’+Y’
De Morgan's Theorem
De Morgan's Theorem 1
Theorem 1 A . B = A + B
De Morgan's Theorem 1
Theorem 1 A . B = A + B
De Morgan's Theorem 1
Theorem 1 A . B = A + B
De Morgan's Theorem 2
Theorem 1 A + B = A . B
De Morgan's Theorem 2
Theorem 2 A + B = A . B
De Morgan's Theorem 2
Theorem 2 A + B = A . B
De Morgan's Theorem 2
Theorem 2 A + B = A . B
What are the real life examples of logic
gates? – YourQuickInfo
Thank You