Professional Documents
Culture Documents
Chapter 2
Chapter 2
1
Laws of Boolean Algebra
x x
F=x+y F = x.y
y y
y y F = y.x
F=y+x
x x
2
Laws of Boolean Algebra (continued)
x
F = xyz
y
z
z
F = xyz
y
x
3
Laws of Boolean Algebra (continued)
5. Identity laws:
§ A set B is said to have an identity element with
respect to a binary operation {.} on B if there exists an
element designated by 1 in B with the property: 1 . x
=x Example: AND operation
6. Complement
For each x in B, there exists an element x’ in B (the
complement of x) such that:
• x + x’ = 1
» Similar to Linear Algebra
• x . x’ = 0
4
Laws of Boolean Algebra (Summary)
Commutative Identity
x + y = y +x xy = yx
x + 0 =x x . 1 =x
Associative
Complement
(x + y) + z = x + (y + z)
(xy)z = x(yz) x +x = 1 x .x = 0
Distributive
OR with 1 AND with 0
x + (yz) = (x + y)(x + z)
x(y + z) = (xy) + (xz) x+1=1 x.0=0
Other Theorems
5
Other Theorems (continued)
6
Digital Logic Q’s & A’s
gnd z = ‘low’
z = x .y
7
Digital IC’s (continued)
Vdd Vdd
z z z = (x+y). z
x y
y
x
z=a+b
Example 1: F1 = x + y' z
x F1
y
z
8
Implementation of Boolean Functions
F1
z
z
What are the advantages of this implementation?
9
Simplifying Boolean Functions
§ Simplify the following Boolean function to a minimum
number of terms: F3 = xy + x' z + yz
F3 = xy + x' z + yz
= xy + x' z + yz( x + x ' )
= xy + x ' z + xyz + x ' yz
= xy(1 + z) + x' z (1 + y )
= xy + x ' z
x
y
F3
10
Implementation of Boolean Functions
a
b
F
a
b
F
11
Implementation of Boolean Functions
§ Using only OR and NOT gates, draw a schematic for the
following function: F = xy + x' y '+ y' z
( F ' )' = (( xy + x' y'+ y' z )' )'
= [( xy)'.(x' y' )'.( y ' z )' ]'
= [( x'+ y ' ).( x + y).( y + z ' )]'
= ( x'+ y ' )'+ ( x + y )'+ ( y + z ' )'
x
y
12
Minterms and Maxterms (continued)
Table 2-3:
Minterms and Maxterms for Three Binary Variables
x y z minterms Maxterms
0 0 0 x’y’z’ mo x+y+z Mo
0 0 1 x’y’z m1 x+y+z’ M1
0 1 0 x’yz’ m2 x+y’+z M2
0 1 1 x’yz m3 x+y’+z’ M3
1 0 0 xy’z’ m4 x’+y+z M4
1 0 1 xy’z m5 x’+y+z’ M5
1 1 0 xyz’ m6 x’+y’+z M6
1 1 1 xyz m7 x’+y’+z’ M7
13
Σ minterms and Π maxterms
§ Repeat for product of maxterms.
x y z F1 F2
0 0 0 0 1
0 0 1 1 0
0 1 0 0 1
0 1 1 0 1
1 0 0 1 0
1 0 1 1 0
1 1 0 1 0
1 1 1 1 0
F1 ( x, y, z) = ∏(0, 2,3) = M 0 ⋅ M 2 ⋅ M 3
14
XOR Logic gate
15