diff options
| author | prashantsinalkar | 2017-10-10 12:27:19 +0530 |
|---|---|---|
| committer | prashantsinalkar | 2017-10-10 12:27:19 +0530 |
| commit | 7f60ea012dd2524dae921a2a35adbf7ef21f2bb6 (patch) | |
| tree | dbb9e3ddb5fc829e7c5c7e6be99b2c4ba356132c /3827/CH3/EX3.9/Ex3_9.sce | |
| parent | b1f5c3f8d6671b4331cef1dcebdf63b7a43a3a2b (diff) | |
| download | Scilab-TBC-Uploads-7f60ea012dd2524dae921a2a35adbf7ef21f2bb6.tar.gz Scilab-TBC-Uploads-7f60ea012dd2524dae921a2a35adbf7ef21f2bb6.tar.bz2 Scilab-TBC-Uploads-7f60ea012dd2524dae921a2a35adbf7ef21f2bb6.zip | |
initial commit / add all books
Diffstat (limited to '3827/CH3/EX3.9/Ex3_9.sce')
| -rw-r--r-- | 3827/CH3/EX3.9/Ex3_9.sce | 25 |
1 files changed, 25 insertions, 0 deletions
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.
|