summaryrefslogtreecommitdiff
path: root/3860/CH2/EX2.24/Ex2_24.txt
blob: e2970480475cd065105fa9e87385a704e7d05663 (plain)
1
2
3
4
5
6
7
8
9
10
 
 w'xy + wz + xz + w'y'z + w'xy' + wx'z

 = wz + w'x + xz +w'y'z

 = wz + w'x + w'y'z  since wz $ w'x = xz

 But  wz +w'y'z = z(w + w'y') = z(w + y')

 = wz + w'x + y'z