UNIT4 - Applications of Boolean Algebra Minterm and Maxterm Expansions PDF
UNIT4 - Applications of Boolean Algebra Minterm and Maxterm Expansions PDF
1. Find a switching function which specifies the desired behavior of the circuit
2. Find a simplified algebraic expression for the function
3. Realize the simplified function using logic elements available
Example)
Mary watches TV if it is Monday night and she has finished her homework.
F A B
F is ‘true’ if A and B are both ‘true’ à F=AB
4.1 Conversion of English Sentences to Boolean Equations
The alarm will ring iff the alarm switch is on and the door is not closed
Z A B’
C D’
Circuit realization:
4.2 Combinational Logic Design Using a Truth Table
f = A' BC + AB' C '+ AB' C + ABC '+ ABC à If one of the five terms is 1,
then f =1.
(we call this procedure à “ORing”)
Note that when (A,B,C) = (0,0,0), (0,0,1), or (0,1,0), the above equation becomes zero.
à Automatically, these three combinations of A,B, and C follow the given truth table by
defining the above equation.
4.2 Combinational Logic Design Using a Truth Table
If we find an expression for f ’=1, f ' = A' B' C '+ A' B' C + A' BC '
then we can take the complement
of f ‘ to get f. f = ( A + B + C )( A + B + C ' )( A + B'+C )
(by DeMorgan’s law)
4.3 Minterm and Maxterm Expansions
f = ( A + B + C )( A + B + C ' )( A + B'+C )
Note: mi = Mi’
4.3 Minterm and Maxterm Expansions
A sum of minterms
à Minterm expansion (= a standard sum of products)
A product of maxterms
à Maxterm expansion (= a standard product of sums)
f = ( A + B + C )( A + B + C ' )( A + B'+C )
f ( A, B, C ) = M 0 M1M 2
f ( A, B, C ) = m3 + m4 + m5 + m6 + m7
f ' = m0 + m1 + m2 = å m(0,1,2)
f ( A, B, C ) = M 0 M1M 2
f ' = Õ M (3,4,5,6,7) = M 3 M 4 M 5 M 6 M 7
Example: Minterm expansion à Each variable in each term should appear exactly once
in either true or complemented form, but not both.
Intentional expansion
using 4 variables
to perform minterm
expansion
repeated terms
(à decimal notation)
4.3 Minterm and Maxterm Expansions
Intentional expansion
using 4 variables
to perform maxterm
expansion
4.4 General Minterm and Maxterm Expansions
Minterm expansion
7
F = a0 m0 + a1m1 + a2 m2 + ... + a7 m7 = å ai mi
i =0
Maxterm expansion
7
F = (a0 + M 0 )(a1 + M 1 )(a2 + M 2 )...(a7 + M 7 ) = Õ (ai + M i )
i =0
• Truth table for general
3-variable function ai =1, ai + Mi =1 , Maxterm Mi is not present
• ai is a weighting factor ai =0, Maxterm is present
with either 0 or 1
4.4 General Minterm and Maxterm Expansions
7 7 7
F ' = [Õ ( ai + M i )]' =
i =0
åa 'M
i =0
i i '= å a 'm
i =0
i i Note: mi = Mi’
7 7 7
a0 = a1 = a2 =0
F ' = [å ai mi ]' = Õ ( ai '+ mi ' ) = Õ ( ai '+ M i ) àa0’ = a1’ = a2’ =1
i =0 i =0 i =0
Example F = m3 + m 4 + m5 + m6 + m7 F ' = m0 + m1 + m2
à All minterms, which are not present in F, are present in F’
a3 = a4 = a5 = a6 = a7 = 1
Example F = M 0M 1M 2 F ' = M 3M 4M 5M 6M 7 à a3 = a4 = a5 = a6 = a7 = 0
à All maxterms, which are not present in F, are present in F’
4.4 General Minterm and Maxterm Expansions
2 n -1 2 n -1
F = åa m
i =0
i i = Õ (ai + M i )
i =0
2 n -1 2 n -1
F'= å a'
i =0
i mi = Õ (a'i + M i )
i =0
Let’s consider two functions (f1 and f2) that perform different logic operations
(but using the same pool of minterms)
2 n -1 2 n -1
f1 = åa m
i =0
i i f2 = åb m
j =0
j j
2 n -1 2 n -1 2 n -1 2 n -1 2 n -1
f1 f 2 = ( å a m )( å b m
i =0
i i
j =0
j j) = å åa b m m = åa b m
i =0 j =0
i j i j
i =0
i i i
Example: Example: X Y f1 f2 f 1f 2
0 0 0 1 0
f1 = å m(0,2,3,5,9,11) and f 2 = å m(0,3,9,11,13,14 ) 0 1 1 1 1
f1 f 2 = å m(0,3,9,11) 1
1
0
1
1
1
1
0
1
0
Conversion between minterm and maxterm expansions of F and F’
f f’
4.5 Incompletely Specified Functions
Case 2: assign ‘1’ to the first X and ‘0’ to the second ‘X’
F = A' B ' C '+ A' B ' C + A' BC + ABC = A' B '+ BC Note:
Arbitrary values (0 or 1)
can be assigned for ‘X’
Case 3: assign ‘1’ on X’s
F = A' B' C '+ A' B' C + A' BC + ABC '+ ABC = A' B'+ BC+ AB
à Compare all possible cases, and then determine the simplest function (case 2, here)
4.5 Incompletely Specified Functions
F = Õ M (2,4,5)·Õ D(1,6)
The terms in d or D can be chosen in our discretion (but smartly) to simplify the function F.
4.6 Examples of Truth Table Construction
a b Sum
A B X Y
0 0 00 0+0=0 0 0 0 0
0 1 01 0+1=1 0 1 0 1
1 0 01 1+0=1
1 0 0 1
1 1 10 1+1=2
1 1 1 0
Logic design
N 3 = N1 + N 2
X (A,B ,C ,D ) =å m(7,10,11,13,14,15)
Y (A,B ,C ,D ) = å m (2,3,5,6,8,9,12,15)
Z (A,B ,C ,D ) = å m (1,3,4,6,9,11,12,14)
4.7 Design of Binary Adders and Subtracters
Parallel Adder for 4 bit Binary Numbers
e.g.)
(=A)
(=B)
= YCin + XCin + XY
4.7 Design of Binary Adders and Subtracters
Sum = X ÅY Å Cin
For the addition of signed binary numbers (i.e. 1’s or 2’s complement),
the overflow makes an incorrect result in the sign bit of the sum.
2’s +5 0101
complement +6 0110
Incorrect answer because of overflow
1011 (à the sign bit is changed to negative)
-5 1011
-6 1010
Incorrect answer because of overflow
(1)0101
(à the sign bit is changed to positive)
Binary Subtracter using Full Adders (Method 1) (Here, let’s assume 2’s complement number
system)
B4B3B2B1 à B4’B3’B2’B1’ +1
The 2’s complement of B can be obtained by: (1) finding the 1’s complement and then (2) adding 1.
4.7 Design of Binary Adders and Subtracters
Parallel Subtracter Direct subtraction in each digit using a “borrow” signal (bi+1) (Method 2)