3860/CH2/EX2.22/Ex2_22.txt


1
2
3
4
5
6
7
8
9
10

 
 f = c'd'+ ac' + ad + bd' + ab 

 Two terms can be reduced using consensus twice

 c'd' $ ad = ac' and ad $ bd' = ab

 Thus we can remove ac' and ab leaving

 f = c'd'+ ad + bd'