2 files changed, 62 insertions, 0 deletions
diff --git a/3860/CH9/EX9.9/Ex9_9.sce b/3860/CH9/EX9.9/Ex9_9.sce
new file mode 100644
index 000000000..66ae10ed9
--- /dev/null
+++ b/3860/CH9/EX9.9/Ex9_9.sce
@@ -0,0 +1,22 @@
+//Example 9.9: Reduction of state table 
+clc // Clears the console
+disp("Given State Table")
+disp("q |    x=0         x=1   |    z")
+disp('--------------------------------')
+disp("A |     C           D    |    0")
+disp("B |     D           A    |    0")
+disp("C |     E           D    |    0")
+disp("D |     B           A    |    1")
+disp("E |     C           D    |    1")
+disp('Step 1 produces five SP Partitions')
+disp('P1 = (ACE)(BD)')
+disp('P2 = (ADE)(BC)')
+disp('P3 = (AE)(B)(C)(D)')
+disp('P4 = (A)(BD)(C)(E)')
+disp('P5 = (A)(B)(CE)(D)')
+disp('Step 2 requires three sums')
+disp('P1 + P4 = (ACE)(BD)--> P6')
+disp('P3 + P4 = (AE)(BD)(C)--> P7')
+disp('P4 + P5 = (A)(CE)(BD)--> P8')
+disp('P7 + P8 = (ACE)(BD)--> P6')
+disp('There are eight non trivial SP partition, of which two are two block and none are output consistent.')
diff --git a/3860/CH9/EX9.9/Ex9_9.txt b/3860/CH9/EX9.9/Ex9_9.txt
new file mode 100644
index 000000000..a052a3f12
--- /dev/null
+++ b/3860/CH9/EX9.9/Ex9_9.txt
@@ -0,0 +1,40 @@
+ 
+ Given State Table
+
+ q |    x=0         x=1   |    z
+
+ --------------------------------
+
+ A |     C           D    |    0
+
+ B |     D           A    |    0
+
+ C |     E           D    |    0
+
+ D |     B           A    |    1
+
+ E |     C           D    |    1
+
+ Step 1 produces five SP Partitions
+
+ P1 = (ACE)(BD)
+
+ P2 = (ADE)(BC)
+
+ P3 = (AE)(B)(C)(D)
+
+ P4 = (A)(BD)(C)(E)
+
+ P5 = (A)(B)(CE)(D)
+
+ Step 2 requires three sums
+
+ P1 + P4 = (ACE)(BD)--> P6
+
+ P3 + P4 = (AE)(BD)(C)--> P7
+
+ P4 + P5 = (A)(CE)(BD)--> P8
+
+ P7 + P8 = (ACE)(BD)--> P6
+
+ There are eight non trivial SP partition, of which two are two block and none are output consistent
+\ No newline at end of file