path: root/3860/CH2/EX2.24/Ex2_24.txt

 
 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