Download as pdf or txt
Download as pdf or txt
You are on page 1of 1

Thomas R.

Turner Problem 2-1


Page 1 of 1

Author: Thomas R. Turner


E-Mail: trturner@ucok.edu
Problem: 2-1

2-1 Demonstrate by means of truth tables the validity of the following identities:
(a) DeMorgan’s theorem for three variables: XYZ = X + Y + Z
X Y Z XYZ XYZ X +Y +Z X Y Z
0 0 0 0 1 1 1 1 1
0 0 1 0 1 1 1 1 0
0 1 0 0 1 1 1 0 1
0 1 1 0 1 1 1 0 0
1 0 0 0 1 1 0 1 1
1 0 1 0 1 1 0 1 0
1 1 0 0 1 1 0 0 1
1 1 1 1 0 0 0 0 0

(b) The second distributive law: X + YZ = ( X + Y )( X + Z )


X Y Z YZ X + YZ ( X + Y )( X + Z ) X + Y X +Z
0 0 0 0 0 0 0 0
0 0 1 0 0 0 0 1
0 1 0 0 0 0 1 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1

(c) XY + Y Z + X Z = X Y + Y Z + X Z
X Y Z XY Y Z X Z XY + Y Z + X Z XY + Y Z + X Z XY YZ XZ
0 0 0 0 0 0 0 0 0 0 0
0 0 1 1 1 0 1 1 0 0 1
0 1 0 0 0 0 0 1 0 1 0
0 1 1 1 0 0 1 1 0 0 1
1 0 0 0 0 1 1 1 1 0 0
1 0 1 0 1 0 1 1 1 0 0
1 1 0 0 0 1 1 1 0 1 0
1 1 1 0 0 0 0 0 0 0 0

You might also like