Boolean Algebra: Compiled By: Afaq Alam Khan
Boolean Algebra: Compiled By: Afaq Alam Khan
OR Not
AND
A B A.B A B A+B A A’
0 0 0 0 0 0 0 1
0 1 0 0 1 1 1 0
1 0 0 1 0 1
1 1 1 1 1 1
Laws in Boolean Algebra
Commutative Law AND Law
A.B = B.A DeMorgan’s
A.0 = 0
A+B = B+A Theorm
A.1 =A
Associative Law (x.y)’ = x’ + y’
(A.B).C = A.(B.C) A.A = A (x+y)’ = x’ . y’
(A+B) + C = A+ (B+C) A.A’ =0
Distributive Law OR law
A.(B+C)=A.B+A.C Idempotent Law
A+0 = A
A+(B.C)=(A+B).(A+C)
A+1=1
Absorption
A+ (A.B)=A A+A=A
A.(A+B)=A A+A’ = 1
Complement Law
Inversion
A+AB = A Law(Involution)
A+A’B =A+B
(A+B)(A+C) = A+BC
A’’ = A
Operator Presedence
The operator Precedence for evaluating Boolean
expression is:
1. Parentheses
2. NOT
3. AND
4. OR
Example
Using the Theorems and Laws of Boolean algebra,
Prove the following.
(A+B) .(A+A’B’).C + (A’.(B+C’))’ + A’.B + A.B.C = A+B+C
Boolean Algebric Function
A Boolean function can be expressed algebraically with binary variables, the logic
operation symbols, parentheses and equal sign.
For a given combination of values of the variables, the Boolean function can be
either 1 or 0.
The relationship between a function and its binary variables can be represented in
a truth table. To represent a function in a truth table we need a list of
the 2n combinations of the n binary variables.
y Non Canonical
Form
z
x F1
Realization of Boolean Function using Gates
The purpose of Boolean algebra is to facilitate the analysis
and design of digital circuits. It provides a convenient tool
to:
Express in algebraic form a truth table relationship between
binary variables.
Express in algebraic form the input-output relationship of logic
diagrams.
Find simpler circuits for the same function.
Figure shows the standard product terms that are represented by each cell
in the 4-variable Karnaugh map.
K-Map
The 3-Variable Karnaugh Map
A 3-variable Karnaugh map showing product terms
K-Map Simplification
Procedure
After forming the K-Map, enter 1s for the min terms that
correspond to 1 in the truth table (or enter 1s for the min terms of
the given function to be simplified). Enter 0s for the remaining
minterms.
Encircle octets, quads and pairs taking in use adjecency,
overlapping and rolling. Try to form the groups of maximum
number of 1s
If any such 1s occur which are not used in any of the encircled
groups, then these isolated 1s are encircled separately.
Review all the encircled groups and remove the redundant
groups, if any.
Write the terms for each encircled group.
The final minimal Boolean expression corresponding to the K-Map
will be obtained by ORing all the terms obtained above
K-Map Simplification – Example 1
Simplify
F=A’B’C’D’ + A’B’C’D + A’BC’D’ + A’BC’D + A’BCD’ + A’BCD + AB’C’D
+ AB’CD
Solution:
Step 1: Draw the K-Map and label Properly
Step 2: Fill up the cells by 1s as per the given function which you want to
simplify
Step 3: Encircle adjacent 1s making groups of 16, 8, 4 ,2 and single 1’s
starting from big to small
Step 4: write the terms representing the groups
Step 5: The final minimal Boolean expression corresponding to the K-
Map will be obtained bu Oring all the terms obtained above
Simplify
F=A’B’C’D’ + A’B’C’D + A’BC’D’ + A’BC’D + A’BCD’ + A’BCD + AB’C’D
+ AB’CD
Step 4
Step 5:
Step 5
F= ∑(0,1,2,3,4,5,6)
F = A’ + B’ + C’
K-Map Simplification - Exercise
Minimize the following function using K-Map
i) P(A,B,C,D) = ∑(0,1,2,5,8,10,11,14,15)
ii) F(x,y,z)=x’y’z’ + x’y’z + xyz’ + xyz
iii) S(a,b,c,d) = a’b’c’ + b’cd’ + a’bc’d +ab’c’d’ + ab’cd + acbd’ + abcd
Quine- McCluskey Method
K-Map Method is a useful tool for the simplification of
Boolean function up to four variables. Although this
method can be used for 5 or 6 variables but it is not
simple to use.
Another method developed by Quine and improved by
McCluskey was found to be good for simplification of
Boolean functions of any number of variables.
Self Study
Thankyou