summaryrefslogtreecommitdiff
path: root/2825/CH19/EX19.27/Ex19_27.sce
blob: 2612863993d70d4e6771e101c450d487189c17fc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
//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")