Lecture 4 DLD Boolean Functions Switching Algebra and Logic Gates
Lecture 4 DLD Boolean Functions Switching Algebra and Logic Gates
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 + AB = A
5. A + A = A 11. A + AB = A + B
6. A + A = 1 12. (A + B)(A + C) = A + BC
1
Proof
• Rule 10. A + AB = A
A + AB
= A(1+B)
=A 1
=A
• Rule 11. A + ĀB = A + B
A+ĀB
= (A+AB)+ĀB
= (AA+AB)+ĀB
= AA+ AB+AĀ+ĀB
= (A+Ā)(A+B)
= 1 (A+B)
= A+B
2
Rules of Boolean Algebra
Rule 12, which states that (A + B)(A + C) = A + BC, can
be proven by applying earlier rules as follows:
(A + B)(A + C) = AA + AC + AB + BC
= A + AC + AB + BC
= A(1 + C + B) + BC
= A . 1 + BC
= A + BC
3
DeMorgan’s Theorem
4
DeMorgan’s Theorem
5
DeMorgan’s Theorem
6
Boolean Analysis of Logic Circuits
( AB C )( A BC )
( AB C ) ( A BC )
( AB )C A( BC )
( A B)C A( B C )
AC BC A B
8
Boolean Expression for a Logic Circuit
B + CD = I + 0 = I
B + CD = 0 + I I
B + CD = 1 + I I
9
Applying DeMorgan’s Theorems
A BC D ( E F )
( A BC )(D ( E F ))
( A BC )(D ( E F ))
( A BC )(D ( E F ))
( A BC )(D ( E F ))
A D AE A F BC D BC E BC F
10
Simplification Using Boolean Algebra
AB+A(B+C)+B(B+C)
= AB+AB+AC+BB+BC
= AB+AC+B(1+C)
= AB+AC+B
= AC+B(A+1)
= AC+B
11
12
.
Example
[ A B (C BD ) A B ]C
( A BC A BBD A B )C
( A BC A B )C
A BC A BC
BC
13
Example
ABC A BC ABC ABC ABC
BC ( A A) AB (C C ) ABC
BC AB ABC
BC B( A AC )
BC B( A C )
BC B A BC
14
Example
AB AC ABC
( AB )( AC ) ABC
( A B)( A C ) ABC
A AC B A BC ABC
A(1 C ) AB(1 C ) BC
A A B BC
A BC
15
Standard Forms of Boolean
Expressions
SOP and POS forms
16
Implementation of the SOP expression AB + BCD + AC.
17
.
SOP Standard form
In SOP standard form, every variable in the domain must
appear in each term. This form is useful for constructing
truth tables or for implementing logic in PLDs.
You can expand a nonstandard term to standard form by multiplying the
term by a term consisting of the sum of the missing variable and its
complement.
Convert X = A B + A B C to standard form.
The first term does not include the variable C. Therefore,
multiply it by the (C + C), which = 1:
X = A B (C + C) + A B C
=ABC+ABC+ABC
ABC AB ABC D
ABCD ABC D ABCD ABC D ABC D ABC D ABC D
18
POS Standard form
In POS standard form, every variable in the domain must
appear in each sum term of the expression.
You can expand a nonstandard POS expression to standard form by
adding the product of the missing variable and its complement and
applying rule 12, which states that (A + B)(A + C) = A + BC.
19
Converting SOP–POS
20
Boolean Expressions and Truth Tables—
SOP Form
EX . 1 0 1 0 ( A B C)
( A B C )( A B C )( A B C ) 1 1 0 0 ( A B C)
1 1 1 1
22
Combinational Logic Circuits
A
B ABC
C X = ABC + DE SOP
D
DE
E
23
Combinational Logic Circuits
When the output of a SOP form is inverted, the circuit is called an AND-
OR-Invert circuit. The AOI configuration lends itself to product-of-sums
(POS) implementation.
A
B ABC
C X = ABC + DE X = ABC + DE AOI
D X = (ABC)(DE) DeMorgan
E DE X = (A + B + C)(D + E) POS
24
Exclusive-OR Logic
Inputs Output
The truth table for an exclusive-OR gate is
A B X
Notice that the output is HIGH whenever A and B 0 0 0
disagree. 0 1 1
1 0 1
1 1 0
The Boolean expression is X = AB + AB
X =1
25
Exclusive-NOR Logic
Inputs Output
The truth table for an exclusive-NOR gate is A B X
Notice that the output is HIGH whenever A and B 0 0 1
0 1 0
agree. 1 0 0
1 1 1
The Boolean expression is X = AB + AB
A Symbols:
X
B
=1
26
NAND Logic
A
C X= AC + AB
A
B
27
Universal Gates
A A A AB
B
Inverter AND gate
A A
A+B A+B
B B
28
NAND Logic
A
C X= AC + AB
A
B
The logic is easy to read if you (mentally) cancel the two connected
bubbles on a line.
29
NOR Logic
A
B X = (A + B)(A + C)
A
C
Again, the logic is easy to read if you cancel the two connected
bubbles on a line.
30