Lec 6 Boolean Algebra
Lec 6 Boolean Algebra
Lec 6 Boolean Algebra
A.B.C
Boolean Addition
• Sum of literals
•Associative Law
for addition and multiplication
•Distributive Law
•Rules of Boolean Algebra
•Demorgan’s Theorems
Commutative Law
•Commutative Law for Addition
A+B=B+A
A B
A+B A+B
B A
B A
Associative Law
• Associative Law for Addition
A + (B + C) = (A + B) + C
A A
A+(B+C)
A+B
B
B
(A+B)+C
B+C C
C
Associative Law
•Associative Law for Multiplication
A.(B.C) = (A.B).C
A A
A.(B.C)
A.B
B
B
(A.B).C
B.C C
C
Distributive Law
A A
A.(B+C)
A.B
B
B
A A.B+A.C
B+C
C A.C
C
Rules of Boolean Algebra
1. A+0=A 7. A.A = A
2. A+1=1 8. A.A = 0
3. A.0 = 0 9. A = A
4. A.1 = A 10. A + A.B = A
5. A+A=A 11. A + A.B = A + B
6. A+ A =1 12. (A+B).(A+C)
A = A+B.C
Rules of Boolean Algebra
A
Rules of Boolean Algebra
A
Rules of Boolean Algebra
• Truth Table For Rule 11: A + A.B = A + B
A
Rules of Boolean Algebra
• Circuit Diagram For Rule 11: A + A.B = A +
B
A
Rules of Boolean Algebra
A
Rules of Boolean Algebra
• Truth Table For Rule 12: (A+B).(A+C) = A + B.C
A
Rules of Boolean Algebra
• Truth Table For Rule 12: (A+B).(A+C) = A + B.C
A
Demorgan’s Theorems
• First Theorem
A.B A B A A
A.B A B
• Second Theorem B B
A B A .B
A A
A B A.B
B B
Demorgan’s Theorems
• Any number of variables
X.Y.Z X Y Z
X Y Z X .Y .Z
• Combination of variables
(A B.C).(A.C B) (A B.C) (A.C B)
A .(B.C) (A.C).B A .( B C ) ( A C ).B
A .B A .C A .B B.C
A .B A .C B.C
Boolean Analysis of Logic
Circuits
•Boolean Algebra provides concise way to
represent operation of a logic circuit
•Complete function of a logic circuit can be
determined by evaluating the Boolean
expression using different input combinations
Boolean Analysis of Logic Circuits
A
AB
B
AB C
C C
( AB C)D
D
= AB + AB + AC + BB +BC
= AB + AC + B + BC
= AB + AC + B
= B + AC
Simplified Circuit
A
AB+A(B+C)+B(B+C)
B
C
B B+AC
A
C
Standard forms of Boolean
Expressions
•Sum-of-Products form
•Product-of-Sums form
Standard forms of Boolean
Expressions
• Sum-of-Products form
AB + ABC
ABC + CDE + BC D
A B A B C AC
• Product-of-Sums form
( A B)(A B C )
( A B C )(C D E)( B C D)
(A B)(A B C )( A C )
Implementation of SOP
expression
A
D
B+AC+AD
B
A
C
Implementation of POS
expression
A
B (A+B)(B+C+D)(A+C)
B
C
AD
C
Conversion of general expression
to SOP form
AB B(C D EF) AB BC D BEF
(A B)(B C D) AB AC AD B BC BD
AC AD B BC BD AB
AC AD B(1 C D A)
AC AD B
( A B ) C ( A B ) C (A B) C A C B C