Lecture 6
Lecture 6
INTRODUCTION
• Because binary logic is used in all of today’s digital computers and devices, the
cost of the circuits that implement it is an important factor addressed by
designers—be they computer engineers, electrical engineers, or computer
scientists.
• Finding simpler and cheaper, but equivalent, realizations of a circuit can reap
huge payoffs in reducing the overall cost of the design.
distributive over .
x * (y . z) =(x * y) . (x * z)
Basic Definitions
The operators and postulates have the following
meanings:
8
Axiomatic Definition of Boolean Algebra
Boolean algebra is defined by a set of elements, B, provided
following postulates with two binary operators, + and ., are
satisfied:
1. (a) The structure is closed with respect to the operator +.
(b) The structure is closed with respect to the operator . .
1 or 0 and 1, 0 B.
9
2. (a) The element 0 is an identity element with respect to +;
that is, x + 0 = 0 + x = x.
(b) The element 1 is an identity element with respect to . ;
that is, x . 1 = 1 . x = x.
(b) x . x’ = 0.
since 0 . 0’ = 0 . 1 = 0 and 1 . 1’ = 1 . 0 = 0.
1
Basic Theorems
Theorem 1(a): x + x = x
.1 by postulate 2(b)
= (x + x) . (x + x’)
= (x + x) 5(a)
= x + xx’ 4(b)
Dual = x+0 Dual 5(b)
= x 2(a)
back
Theorem 1(b): x . x = x
by postulate 2(a)
=x.x+0
= xx + xx’ 5(b)
= x (x + x’) 4(a)
=x.1 5(a)
=x 2(b)
15
THEOREM 2(a): x + 1 = 1.
Statement Justification
x + 1 = 1 . (x + 1) postulate 2(b)
= (x + x’)(x + 1) 5(a)
= x + x’ . 1 4(b)
= x + x’ 2(b)
=1 5(a)
THEOREM 2(b): x . 0 = 0
by applying duality property.
THEOREM 6(a): x + x y = x.
(Method-1)
Statement Justification
x + x y = x . 1 + x y postulate 2(b)
= x(1 + y) 4(a)
= x(y + 1) 3(a)
=x.1 2(a)
=x 2(b)
(Method-2)
THEOREM 6(b): x (x + y) = x
by applying duality property.
DeMorgan’s theorem
Operator Precedence
• The operator precedence for evaluating Boolean
expressions is
(1) parentheses
(2) NOT
(3) AND
(4) OR
In other words, expressions inside parentheses must be
evaluated before all other operations. The next
operation that holds precedence is the complement,
and then follows the AND and, finally, the OR.