8 files changed, 127 insertions, 0 deletions
diff --git a/3827/CH3/EX3.1/Ex3_1.sce b/3827/CH3/EX3.1/Ex3_1.sce
new file mode 100644
index 000000000..a4c113160
--- /dev/null
+++ b/3827/CH3/EX3.1/Ex3_1.sce
@@ -0,0 +1,14 @@
+//EX3_1:Convert to SOP
+//(A + B + C')(A + B +D)(A + B + E)(A + D' + E)(A' + C)
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+disp('(A + B + C'')(A + B + D)(A + B + E)(A + D'' + E)(A'' + C)')
+disp('= (A + B + C''D)(A + B + E)(A + D'' + E)(A'' + C)')
+disp('= (A + B + C''DE)[AC + A''(D'' + E)]')
+disp('= AC + ABC  + A''BD'' +A''BE + A''C''DE')
+disp('= AC + A''BD'' + A''BE + A''C''DE')
diff --git a/3827/CH3/EX3.2/Ex3_2.sce b/3827/CH3/EX3.2/Ex3_2.sce
new file mode 100644
index 000000000..9d533fc16
--- /dev/null
+++ b/3827/CH3/EX3.2/Ex3_2.sce
@@ -0,0 +1,15 @@
+//EX3_2:Convert to POS
+//AC + A'BD' A'BE + A'C'DE
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+disp('AC + A''BD'' + A''BE'' + A''C''DE')
+disp('= AC + A''(BD'' + BE + C''DE)')
+disp('= (A + BD'' + BE + C''DE)(A'' + C)')
+disp('= [A + C''DE + B(D'' + E))](A'' + C)')
+disp('(A + B + C''DE)(A + C''DE + D'' + E)(A'' + C)')
+disp('(A + B + C'')(A + B + D)(A + B + E)(A + D'' + E)(A'' + C)')
diff --git a/3827/CH3/EX3.4/Ex3_4.sce b/3827/CH3/EX3.4/Ex3_4.sce
new file mode 100644
index 000000000..ebd1a45d0
--- /dev/null
+++ b/3827/CH3/EX3.4/Ex3_4.sce
@@ -0,0 +1,14 @@
+//EX3_4: Simplify A'B + A'B'C'D' + ABCD'
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+disp('A''B + A''B''C''D'' + ABCD''')
+disp('= A''(B + B''C''D'') + ABCD''')
+disp('= A''(B + C''D'') + ABCD''')
+disp('= B(A'' + ACD'') + A''C''D''')
+disp('= B(A'' + CD'') + A''C''D''')
+disp('= A''B + BCD'' + A''C''D''')
diff --git a/3827/CH3/EX3.5/Ex3_5.sce b/3827/CH3/EX3.5/Ex3_5.sce
new file mode 100644
index 000000000..54cfee788
--- /dev/null
+++ b/3827/CH3/EX3.5/Ex3_5.sce
@@ -0,0 +1,13 @@
+//EX3_5: Simplify WX + XY + X'Z' + WY'Z'
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+disp('WX + XY + X''Z'' + WY''Z''')
+//add WZ' by consensus theorem
+disp('= WX + XY + X''Z'' + WY''Z'' + WZ''')//eliminate WY'Z'
+disp('= WX + XY + X''Z'' + WZ''')      //eliminate WZ'
+disp('= WX + XY + X''Z''')
diff --git a/3827/CH3/EX3.6/Ex3_6.sce b/3827/CH3/EX3.6/Ex3_6.sce
new file mode 100644
index 000000000..96751ee71
--- /dev/null
+++ b/3827/CH3/EX3.6/Ex3_6.sce
@@ -0,0 +1,14 @@
+//EX3_6: Simplify A′B′C′D′ + A′BC′D′ + A′BD + A′BC′D + ABCD + ACD′ + B′CD′
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+disp('A′B′C′D′ + A′BC′D′ + A′BD + A′BC′D + ABCD + ACD′ + B′CD′')
+// Eliminating Repeated terms and applying the rule AB + AB' = A
+disp('= A′C′D′ + BD(A′ + AC) + ACD′ + B′CD′')
+disp('= A′C′D′ + A′BD + BCD + ACD′ + B′CD′')
+disp('= A′C′D′ + A′BD + BCD + ACD′ + B′CD′ + ABC') //consensus ACD′ and BCD
+disp('= A′C′D′ + A′BD + B′CD′ + ABC')
diff --git a/3827/CH3/EX3.7/Ex3_7.sce b/3827/CH3/EX3.7/Ex3_7.sce
new file mode 100644
index 000000000..d33266de0
--- /dev/null
+++ b/3827/CH3/EX3.7/Ex3_7.sce
@@ -0,0 +1,12 @@
+//EX3_7: Simplify (A′ + B′ + C′)(A′ + B′ + C)(B′ + C)(A + C)(A + B + C)
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+disp('(A′ + B′ + C′)(A′ + B′ + C)(B′ + C)(A + C)(A + B + C)')
+disp('= (A′ + B′)(B′ + C)(A + C)(A + B + C)')
+disp('= (A′ + B′)(B′ + C)(A + C)')
+disp('= (A′ + B′)(A + C)')
diff --git a/3827/CH3/EX3.8/Ex3_8.sce b/3827/CH3/EX3.8/Ex3_8.sce
new file mode 100644
index 000000000..d4ea1bb5b
--- /dev/null
+++ b/3827/CH3/EX3.8/Ex3_8.sce
@@ -0,0 +1,20 @@
+//EX3_8: Show that
+//          A'BD' + BCD + ABC' + AB'D = BC'D' + AD + A'BC
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+//Starting with the left side, we first add consensus terms, then combine   terms and finally eliminate terms by the consensus theorem
+disp('A''BD'' + BCD + ABC'' + AB''D')
+//add consensus of A'BD' and ABC'
+//add consensus of A'BD' and BCD
+//add consensus of BCD and ABC'
+disp('= A''BD'' + BCD + ABC'' + AB''D + BC''D + A''BC + ABD')
+disp('= AD + A''BD'' + BCD + ABC'' + BC''D'' + A''BC')
+//eliminate consensus of BC'D' and AD
+//eliminate consensus of AD and A'BC
+//eliminate consensus of BC'D' and A'BC
+disp('= BC''D'' + AD + A''BC')
diff --git a/3827/CH3/EX3.9/Ex3_9.sce b/3827/CH3/EX3.9/Ex3_9.sce
new file mode 100644
index 000000000..1282ce08d
--- /dev/null
+++ b/3827/CH3/EX3.9/Ex3_9.sce
@@ -0,0 +1,25 @@
+//EX3_9: Show that
+//A'BC'D + (A' + BC)(A + C'D') + BC'D + A'BC' 
+//                  = ABCD + A'C'D' + ABD + ABCD' + BC'D
+
+//clears the screen
+clc
+
+//clears already existing variables
+clear
+
+//First, we will reduce the left side
+disp('LHS = A''BC''D + (A'' + BC)(A + C''D'') + BC''D + A''BC''')
+//Eliminate A''BC''D'' using absorption law
+disp('= (A'' + BC)(A + C''D'') + BC''D + A''BC''')
+//multiply out using (3-3)
+disp('= ABC + A''C''D'' + BC''D + A''BC''')
+//eliminate A''BC'' by consensus
+disp('= ABC + A''C''D'' + BC''D')
+//Now, we will reduce right side
+disp('RHS = ABCD + A''C''D'' + ABD + ABCD'' + BC''D')
+//Combining ABCD and ABCD'
+disp('= ABC + A''C''D'' + ABD + BC''D')
+//eliminate ABD by consensus
+disp('= ABC + A''C''D'' + BC''D')
+//Because both sides of the original equation were independently reduced to the same expression, the original equation is valid.