Boolean Algebra Fundamentals Guide
Boolean Algebra Fundamentals Guide
com/c/EDULINEFORCSE
STUDENTS
MODULE 2
BOOLEAN ALGEBRA
POSTULATES
A set B of elements (a, b, c, …..) with an equivalence relation (=),
two binary operations(+ and . ) and unary operation (complement)
is a Boolean algebra if and only if the following postulates are
satisfied.
1) Associativity
• The + and . operations are associative
(a + b) + c = a + (b + c)
(a . b) . c = a . (b . c)
2) Commutativity
• The + and . Operations are commutative
a+b=b+a
a.b=b.a
3) Distributivity
• The two operations are distributive over each other
a + bc = (a + b)(a + c)
a(b + c) = ab + ac
4) Identity Elements
An identity element denoted by 0, called zero for the + operation
and another denoted by 1 called one for the . Operation
a+0=a
a.1=a
5) Complement
a + a’ =1
a . a’ = 0
FUNDAMENTAL THEOREMS
1. Closure of identity elements - For all a Є B,
a+1=1 a.0=0
Proof Proof
2. Law of Idempotence
For all a Є B,
a + a = a and
a.a=a
3. Law of Absorption
For all a, b Є B
a + ab = a
a(a + b) = a
Proof
DEMORGAN’S THEOREM
(a + b)’ = a’ . b’
(a . b)’ = a’ + b’
Proof
BOOLEAN FUNCTIONS
Literal – A Boolean variable in the true form or in the complemented
form is called a literal.
Eg: a, a’, b, b’ are literals
• The Boolean product of two or more literals is called a product term.
• The Boolean sum of two or more literals is called a sum term.
Normal Form
There are 2 types of normal forms
1. Sum of Product (SOP)
2. Product of Sum (POS)
CANONICAL FORM
• When each of the terms of a Boolean function expressed either in
SOP or POS form has all the variables in it, it is said to be expressed
in canonical form.
• Canonical form cannot have the same term more than once.
• Canonical SOP is called Disjunctive Canonical Form (DCF)
• Canonical POS is called Conjunctive Canonical Form (CCF)
Eg 1: Express the function f1= ab’c + bc’+ ac in canonical form?
f1 = ab’c + bc’.1 + ac.1
= ab’c + bc’(a + a’) + ac(b + b’)
= ab’c + bc’a + bc’a’ + acb
Prepared By [Link] PM, AP, IESCE EDULINE 18
(a + b)(b + c’)
= (a + b + c.c’) (b + c’+ a.a’)
=(a + b + c)(a + b +c’) (b + c’+ a)(b + c’+ a’)
=(a + b + c)(a + b + c’)(b + c’ + a’)
Examples
1. Reduce x(x’+yz) 3. prove that ab’(c + bd) + a’b’= b’c + a’b’
x(x’ + yz) ab’(c + bd) + a’b’
= xx’ + xyz = ab’c + ab’bd + a’b’
= xyz = ab’c + a’b’
2. Reduce x(x’y + x’z) = b’(ac + a’)
x(x’y + x’z) = b’(a’ + c)(a’ + a)
= xx’y + xx’z = a’b’ + b’c
=0
COMPLEMENT
To obtain the complement of an expression
1. Change the ANDs to ORs , ORs to ANDs
2. Change the 0s to 1s , 1s to 0s
3. Complement each variable
IMPORTANT QUESTIONS
1. Find the SOP form of (A+C) (AB’+AC) (A’C’+B’) ?
f = A’B’C’+A’B’C+A’BC’+AB’C’+ABC’+ABC
= ∑(0, 1, 2, 4, 6, 7)
= ∏(3, 5)
= (A+B’+C’) (A’+B+C’)
= 0 1 1 1 0 1
3 5
4 variable K-map
a’ 1
0 1 3 2
a 1 1 1
4 5 7 6
Ans: ac + bc’
a’ 1
0 1 3 2
a 1 1 1 1
4 5 7 6
minterms = ∑(0, 4, 5, 6, 7)
= A’B’C’ + AB’C’ + AB’C + ABC’ + ABC
A’B’ 1 1
0 1 3 2 Ans: A+C
A’B 1 1
4 5 7 6
AB 1 1 1 1
12 13 15 14
AB’ 1 1 1 1
8 9 11 10
Eg: Reduce ∑(5, 6, 7, 9, 10, 11, 13, 14, 15) using K-map?
CD
AB C’D’ C’D CD CD’
A’B’
0 1 3 2 Ans: BD+DA+CB+CA
A’B 1 1 1
4 5 7 6
AB 1 1 1
12 13 15 14
AB’ 1 1 1
8 9 11 10
A’B’ 1 1
0 1 3 2 Ans: C + BC’
A’B 1 1 1 1
4 5 7 6
AB 1 1 1 1
12 13 15 14
AB’ 1 1
8 9 11 10
a 0 0 0 0
0 1 3 2
a’
4 5 7 6
Ans: a
A+B 0 0 0 0
0 1 3 2 Ans: A(A’+B)
A+B’ 0 0 0 0
4 5 7 6
A’+B’
12 13 15 14
A’+B 0 0 0 0
8 9 11 10
A’B’ 1 1
0 1 3 2
Ans: A’C’+A’B+BC+AC+AB’D
A’B 1 1 1 1
4 5 7 6
AB 1 X
12 13 15 14
AB’ 1 1 X
8 9 11 10
A+B X 0
0 1 3 2
Ans: (A+D’). (B’+C’+D) .
A+B’ X X 0 (A’+B+C’).(B’+C+D’).
4 5 7 6
0 (A’+B+D)
A’+B’ 0
12 13 15 14
A’+B 0 0 X
8 9 11 10
A’=0 A =1
DE DE
BC D’E’ D’E DE DE’ BC D’E’ D’E DE DE’
B’C’ 1 1 1 B’C’
1 1 1 1
0 1 3 2 16 17 19 18
B’C B’C 1 1
4 5 7 6 20 21 23 22
BC 1 1 BC
12 13 15 14 28 29 31 30
BC’ 1 1 BC’ 1 1
8 9 11 10 24 25 27 26
Ans: C’D+AB’C’D’E’+AB’C’D’+A’BCD’+AB’CD’
Prepared By [Link] PM, AP, IESCE EDULINE 45
LOGIC GATES
• Logic Gates are the basic building blocks of any digital system.
• It is an electronic circuit having one or more than one input and only
one out put.
• The relationship between the input and the output is based on a
certain logic.
• Based on this, logic gates are named as
AND gate
OR gate
NOT gate
NAND GATE
• NAND means Not AND. Ie, AND gate is NOTed
• NAND gate is equivalent to bubbled OR gate
• Bubbled OR gate is also called negative OR gate
• Bubbled NAND gate is equivalent to OR gate
NOR GATE
• NOR means Not OR. Ie, OR output is NOTed
• NOR gate is equivalent to bubbled AND gate
• Bubbled AND gate is also called negative AND gate
• Bubbled NOR gate is equivalent to AND gate
X-OR GATE
• It is called anti-coincidence gate or inequality detector
• It is an odd function
• Fan –in of XOR is 2
• A + B = A’B + AB’
Logic Symbol
XOR as an inverter
Prepared By [Link] PM, AP, IESCE EDULINE 50
X-NOR GATE
• Combination of X-OR and NOT gate
• It is also called Coincidence gate
• It can be used as an equality detector
• Its output is 1 only when its input are equal
• A . B = AB + A’B’
Logic Symbol
X-NOR as an inverter
Prepared By [Link] PM, AP, IESCE EDULINE 51
NAND REALIZATION
Implementation of Basic Gates using NAND only
NOR REALIZATION
Implementation of Basic Gates using NOR only
BINARY NUMBERS
Simple way to write Binary numbers:
Decimal Binary Number 7 0111
Number 8 1000
0 0000 9 1001
1 0001 10 1010
2 0010 11 1011
3 0011 12 1100
4 0100 13 1101
5 0101 14 1110
6 0110 15 1111
Prepared By [Link] PM, AP, IESCE EDULINE 55
T₀ ∑m(0,1,2,3,4,6,8,9,10,11)
x1 x2 x3 x4
0 0 0 0 0 Weight =0
1 0 0 0 1
2 0 0 1 0
Weight =1
4 0 1 0 0
8 1 0 0 0
3 0 0 1 1
6 0 1 1 0 Weight =2
9 1 0 0 1
10 1 0 1 0
Weight =3
11 1 0 1 1
T₁
x1 x2 x3 x4 (8,10) 1 0 2 0
(0,1) 0 0 0 2
(3,11) 2 0 1 1
(0,2) 0 0 2 0
(9,11) 1 0 2 1
(0,4) 0 2 0 0
(10,11) 1 0 1 2
(0,8) 2 0 0 0
(1,3) 0 0 2 1
(1,9) 2 0 0 1
(2,3) 0 0 1 2
(2,6) 0 2 1 0
(2,10) 2 0 1 0
(4,6) 0 1 2 0
(8,9) 1 0 0 2
Prepared By [Link] PM, AP, IESCE EDULINE 58
T₂ T₃
x1 x2 x3 x4 x1 x2 x3 x4
(0,1,2,3) 0 0 2 2
(0,1,8,9) 0 0 2 (0,1,2,3,8 0 2 2 B
2 2
,9,10,11)
(0,2,4,6) 0 2 2 0 A
(0,2,8,10) 2 0 2 0
(1,3,9,11) 2 0 2 1
(2,3,10,11) 2 0 1 2
Prime cubes = A , B
(8,10,9,11) 1 0 2 2
A(0,2,4,6) X X X X
B(0,1,2,3,8,9,10,11) X X X X X X X X
T₀
x1 x2 x3 x4
8 1 0 0 0 Weight =1
Eg 2: f=∑(6,7,8,9)+d(10,11,12,
6 0 1 1 0
13,14,15)
9 1 0 0 1
Weight =2
10 1 0 1 0
12 1 1 0 0
7 0 1 1 1
11 1 0 1 1 Weight =3
13 1 1 0 1
14 1 1 1 0
Weight =4
15 1 1 1 1
T₁
x1 x2 x3 x4 (7,15) 2 1 1 1
(8,9) 1 0 0 2
(11,15) 1 2 1 1
(8,10) 1 0 2 0
(13,15) 1 1 2 1
(8,12) 1 2 0 0
(14,15) 1 1 1 2
(6,7) 0 1 1 2
(6,14) 2 1 1 0
(9,11) 1 0 2 1
(9,13) 1 2 0 1
(10,11) 1 0 1 2
(10,14) 1 2 1 0
(12,13) 1 1 0 2
(12,14) 1 1 2 0
Prepared By [Link] PM, AP, IESCE EDULINE 62
T₂ T₃
x1 x2 x3 x4 x1 x2 x3 x4
(8,9,10,11) 1 0 2 2
(8,9,12,13) 2 0 2 (8,9,10,11,12 2 2 2 B
1 1
,13,14,15)
(8,10,12,14) 1 2 2 0
(6,7,14,15) 2 1 1 2 A
(9,11,13,15) 1 2 2 1
Prime cubes = A , B
(10,11,14,15) 1 2 1 2
(12,13,14,15) 1 1 2 2
A(6,7,14,15) X X
B(8,9,10,11,12,13,14,15) X X
• For creating prime cube table, we will not consider Don’t care
terms
Essential Prime cubes = A, B
= 2112 + 1222
= BC + A
T₀ Eg 3: f=∑(2,6,13,14,15,18,26,30)
x1 x2 x3 x4 x5
2 0 0 0 1 0 Weight =1
6 0 0 1 1 0
Weight =2
18 1 0 0 1 0
13 0 1 1 0 1
Weight =3
14 0 1 1 1 0
26 1 1 0 1 0
15 0 1 1 1 1
30 1 1 1 1 0 Weight =4
T₁
x1 x2 x3 x4 x5
(2,6) 0 0 2 1 0 A
(2,18) 2 0 0 1 0 B
(6,14) 0 2 1 1 0 C
(18,26) 1 2 0 1 0 D
(13,15) 0 1 1 2 1 E
(14,15) 0 1 1 1 2 F
(14,30) 2 1 1 1 0 G
(26,30) 1 1 2 1 0 H
Prime Cube 2 6 13 14 15 18 26 30
A(2,6) X X
B(2,18) X X
C(6,14) X X
D(18,26) X X
E(13,15) X X
F(14,15) X X
G(14,30) X X
H(26,30) X X
T₀ Eg 4: f=∑(0,1,3,5,7-10,13,14,15,17,21,25,29)
x1 x2 x3 x4 x5
7 0 0 1 1 1
0 0 0 0 1 0 Weight =0 0
13 1 1 0 1
Weight =3
1 0 0 0 0 1 14 0 1 1 1 0
Weight =1
8 0 1 0 0 0
21 1 0 1 0 1
3 0 0 0 1 1 1 1 0 0 1
25
5 0 0 1 0 1
15 0 1 1 1 1
9 0 1 0 0 1 Weight =4
Weight =2
29 1 1 1 0 1
10 0 1 0 1 0
17 1 0 0 0 1
T₁ x1 x2 x3 x4 x5 (9,25) 2 1 0 0 1
(10,14) 0 1 2 1 0 B
(0,1) 0 0 0 0 2 (17,21) 1 0 2 0 1
(0,8) 0 2 0 0 0 (17,25) 1 2 0 0 1
(1,3) 0 0 0 2 1 (7,15) 0 2 1 1 1
(1,5) 0 0 2 0 1
(13,15) 0 1 1 2 1
(1,9) 0 2 0 0 1
(13,29) 2 1 1 0 1
(1,17) 2 0 0 0 1
(14,15) 0 1 1 1 2 C
(8,9) 0 1 0 0 2
(8,10) 0 1 0 2 0 A (21,29) 1 2 1 0 1
(3,7) 0 0 2 1 1 (25,29) 1 1 2 0 1
(5,7) 0 0 1 2 1
(5,13) 0 2 1 0 1
(5,21) 2 0 1 0 1
(9,13) 0 1 2 0 1
Prepared By [Link] PM, AP, IESCE EDULINE 72
T₂ x1 x2 x3 x4 x5
(0,1,8,9) 0 2 0 0 2 D
(1,3,5,7) 0 0 2 2 1 E
(1,5,9,13) 0 2 2 0 1
(1,5,17,21) 2 0 2 0 1
(1,9,17,25) 2 2 0 0 1
(5,7,13,15) 0 2 1 2 1 F
(5,13,21,29) 2 2 1 0 1
(9,13,25,29) 2 1 2 0 1
(17,21,25,29) 1 2 2 0 1
T₃
x1 x2 x3 x4 x5
(1,5,9,13,17,21,25,29) 2 2 2 0 1 G
Prime cubes = A, B, C, D, E, F, G
• Next we create prime cube table.