Lecture CH 2 DLD
Lecture CH 2 DLD
1
Boolean Algebra (continued)
Postulate
– A basic assumption that is accepted without proof
– Accepted as true in order to provide a basis for logical
reasoning
Theorem
– A statement which has been proved or can be proved to be
true using logical (deductive) reasoning
– A proposition deducible from basic postulates 3
Two Valued Boolean Algebra
4
Two Valued Boolean Algebra
5
Postulates & Theorems of Boolean Algebra
▪ Postulate 2 - Identity a) X + 0 = X b) X . 1 = X
▪ Postulate 3 – Commutative a) X + Y = Y + X b) X . Y = Y.X
▪ Postulate 4- Distributive
a) X . (Y + Z) = (X .Y) + (X . Z)
b) X + (Y . Z) = (X+Y) . (X+Z)
▪ Postulate 5 – Associative
a) (x + y) + z = x + (y + z) = x + y + z
b) (xy)z = x(yz) = xyz
▪ Postulate 6 – Complement a) X + X’ = 1 b) X . X’ = 0
For every x, y in B:
▪ Closure with respect to +
x + y is in B
(1,0)
(1,0) (1,0)
▪ Closure with respect to .
x . y is in B
(1,0)
(1,0) (1,0)
8
Laws of Boolean Algebra (continued)
2. 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
x x
F=x+y F = x.y
y y
y y F = y.x
F=y+x
x x
10
Laws of Boolean Algebra (continued)
11
Laws of Boolean Algebra (continued)
x
F = xyz
y
z
z
F = xyz
y
x
12
Laws of Boolean Algebra (continued)
6. Complement
For each x in B, there exists an element x’ in B (the
complement of x) such that:
• x + x’ = 1
• x . x’ = 0
13
Laws of Boolean Algebra (continued)
14
Implementation of Boolean Functions
a
b
F
15
Implementation of Boolean Functions
F1 = x + y ' z
Boolean Function expresses logical relationship between binary variables
F1 is 1 if X=1 or if Y=0 and Z=1
Boolean Function can be represented by Truth Table (2n rows)
x F1
y 16
z
Implementation of Boolean Functions
F2
z
17
Implementation of Boolean Functions
▪ Try another implementation using a simplified F2:
F2 = x' y ' z + x ' yz + xy'
= x' z ( y '+ y ) + xy' Distributive Pos
= x ' z + xy'
x
y
F2
x
y
F3
z 19
20
Complement of a Function
▪Theorem 5 (X+Y)’ = X’Y’ (XY)’=X’+Y’
(A+B+C+D+…+F)’= A’B’C’D’…. F’
(ABCD…F)’ = A’+B’+C’+D’+… + F’
21
More on complements (DeMorgan)
Theorem 5, DeMorgan (X+Y)’ = X’Y’ and (XY)’=X’+Y’
22
23