//Ex19_27 Pg-997
clc

disp("(A+B)(A+C) = AA + AC + AB + BC ")
//by distributive law
disp("           = A + AC + AB +BC")
//by theorem(6)
disp("           = A(1 + C) + AB + BC")
//by distributive law
disp("           = A.1 + AB + BC ")
//by theorem(3)
disp("           = A(B + 1) + BC")
//by distributive law
disp("           = A + BC")
disp("Therefore (A+B)(A+C) = A + BC")