Professional Documents
Culture Documents
CH 3 BOOLEAN ALGEBRA Continued
CH 3 BOOLEAN ALGEBRA Continued
EE & IT AU
Hasan Zidan
1
Exclusive-OR function
Note that:
F =A B
= A’B + AB’
= (A+B) (AB)’
2
Equivalence Function
Equivalence is the complement of XOR.
A
F = (A B)’= A B
AB Y
B
0 0 1
0 1 0 A AB
1 0 0 -- alternate symbol
1 1 1 B
3
CONSENSUS THEOREM
Consensus theorem states:
XY + X’Z + YZ = XY + X’Z
4
Prove the CONSENSUS THEOREM
5
Dual of the CONSENSUS THEOREM
(X + Y) (X’ + Z) (Y + Z) = (X + Y) (X’ + Z)
6
THE CONSENSUS THEOREM
EX.:
8
ABSORPTION
X + XY = X X (X+Y) = X
Look for two terms that are the same except for an extra variable
Example:
9
SIMPLIFICATION
X + X’Y = X + Y X (X’+Y) = XY
Ex:
A’B +A’B’C’D’+ ABCD’= A’(B+B’C’D’)+ABCD’ (factored)
= A’(B+C’D’) + ABCD’ (simplification)
= A’B+A’C’D’ + ABCD’ (distributed A’)
= B(A’ + ACD’) + A’C’D’ (factored out B)
= B(A’ + CD’) + A’C’D’ (simplification)
10
Proving validity of an equation
11
Valid Operations
12
Proving validity of an equation
Ex.1 Show that:
13
Proving validity of an equation
Ex. 2 Show that:
A’BC’D+(A’+BC)(A+C’D’)+BC’D+A’BC’
= ABCD+A’C’D’+ABD+ABCD’+BC’D
L.S. = A’BC’D+(A’+BC)(A+C’D’)+BC’D+A’BC’
= (A’+BC)(A+C’D’)+ BC’D+A’BC’
(eliminated A’BC’D by absorption with A’BC’)
= AA’+ABC+A’C’D’+BCC’D’ +BC’D+A’BC’
(by distributive law)
= ABC+A’C’D’ +BC’D+A’BC’= ABC+A’C’D+BC’D
(eliminated A’BC’ by consensus, A’C’D’+BC’D A’BC’)
R.S. = ABCD+A’C’D’+ABD+ABCD’+BC’D
= ABC+A’C’D’+ABD+BC’D (ABCD and ABCD’ adjacent)
= ABC + A’C’D’ + BC’D
(eliminated ABD by consensus, ABC+BC’D ABD)
Since L.S. = R.S. the original eqn. is valid
14
What do you need to know?
• Basic Boolean Theorems
• Algebraic Simplification
• Consensus Theorem
15