//example 14.9 PG-14.38
clc
clear
printf("Given=> XY+XYZ+XYZ''+X''YZ = XY(1+Z)+XYZ''+X''YZ ......Distributive property\n\n")
printf("         XY+XYZ+XYZ''+X''YZ = XY+XYZ'' +  X''YZ  ........Since A+1=1\n\n")
printf("         XY+XYZ+XYZ''+X''YZ = XY(1+Z'') + X''YZ  \n\n")
printf("         XY+XYZ+XYZ''+X''YZ = XY + X''YZ    ............Since A+1=1\n\n")
printf("         XY+XYZ+XYZ''+X''YZ = Y(X+X''Z)    \n\n")
printf("         XY+XYZ+XYZ''+X''YZ = Y(X+Z)    ...............Since A+A''B=A+B")