Boolean Algebra and Logic Gates
Boolean Algebra and Logic Gates
• Truth table:
Represents relationship between a Boolean
function and its binary variables.
It enumerates all possible combinations of
arguments and the corresponding function values.
Boolean function and logic
diagram
• Boolean algebra: Deals with binary
variables and logic operations operating
on those variables.
(1) x + 0 = x
(2) x · 0 = 0
(3) x + 1 = 1
(4) x · 1 = 1
(Table 1-1)
Basic Identities of Boolean Algebra
(Existence of complement)
(5) x + x = x
(6) x · x = x
(7) x + x’ = 1
(8) x · x’ = 0
Basic Identities of Boolean
Algebra (Commutativity):
(9) x + y = y + x
(10) xy = yx
Basic Identities of Boolean
Algebra (Associativity):
(11) x + ( y + z ) = ( x + y ) + z
(12) x (yz) = (xy) z
Basic Identities of Boolean
Algebra (Distributivity):
(13) x ( y + z ) = xy + xz
(14) x + yz = ( x + y )( x + z)
Basic Identities of Boolean
Algebra (DeMorgan’s Theorem)
(15) ( x + y )’ = x’ y’
(16) ( xy )’ = x’ + y’
Basic Identities of Boolean
Algebra (Involution)
(17) (x’)’ = x
Function Minimization using Boolean
Algebra
Examples:
(a) a + ab = a(1+b)=a
F = ab + c’d’ + b’d
F’ = ??
DeMorgan's Theorem
Show that: (a + b.c)' = a'.b' + a'.c'
More DeMorgan's example
Show that: (a(b + z(x + a')))' =a' + b' (z' + x')
4 11 4
6
5
5 10
9
6 9 10
8
Gnd 7 8 12
11
7400 13
7400 Series Implementation
cc
V
7404
7408 7432
1
x2
x3
x
f
• PLDs
– Programmable chips – functionality determined by the
designer
• Can even be reprogrammed
– Custom chips
• Logic designer builds a custom chip
• Manufactured by a special fabrication facility ($$$!)