summaryrefslogtreecommitdiff
path: root/2459/CH28/EX28.13/Ex28_13.sce
diff options
context:
space:
mode:
Diffstat (limited to '2459/CH28/EX28.13/Ex28_13.sce')
-rw-r--r--2459/CH28/EX28.13/Ex28_13.sce19
1 files changed, 19 insertions, 0 deletions
diff --git a/2459/CH28/EX28.13/Ex28_13.sce b/2459/CH28/EX28.13/Ex28_13.sce
new file mode 100644
index 000000000..1a835d6c6
--- /dev/null
+++ b/2459/CH28/EX28.13/Ex28_13.sce
@@ -0,0 +1,19 @@
+//chapter28
+//example28.13
+//page609
+
+printf(" Y = ( A` + B ) . ( A + B ) \n")
+printf(" By theorem 15 \n")
+printf(" Y = A` . A + A` . B + B . A + B . B \n")
+printf(" By theorem 4 and 6 \n")
+printf(" Y = 0 + A` . B + B . A + B \n")
+printf(" Y = A` . B + B . A + B \n")
+
+printf(" By theorem 14 \n")
+printf(" Y = B . ( A` + A + 1 ) \n")
+printf(" By theorem 7 \n")
+printf(" Y = B . ( A` + 1 ) \n")
+printf(" By theorem 7 \n")
+printf(" Y = B . 1 ) \n")
+printf(" By theorem 2 \n")
+printf(" Y = B \n")