summaryrefslogtreecommitdiff
path: root/2825/CH19/EX19.31/Ex19_31.sce
blob: dd37109eac795d867253306785f55ebbe89c2fb7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//Ex19_31 Pg-999
clc

disp("LHS : (A+ C)(A'' + B) ")
disp("         = AA'' + AB + CA'' + BC") //using distributive law
disp("         = 0 + AB + CA'' + BC") //using law 8
disp("         = AB + (A + A'')BC + CA''") //using law 7
disp("         = AB + ABC + A''BC + CA''") 
//using distributive law
disp("         = AB + ABC + A''C(B + 1)") 
//taking common A'C from A'BC + CA'
disp("         = AB + ABC + A''C") //using law 3
disp("         = AB(C + 1)+ A''C") 
//taking common AB from AB + ABC
disp("         = AB + A''C") //using law 3
disp("Therefore (A+ C)(A'' + B) = AB + A''C")