summaryrefslogtreecommitdiff
path: root/3860/CH9/EX9.8/Ex9_8.txt
diff options
context:
space:
mode:
Diffstat (limited to '3860/CH9/EX9.8/Ex9_8.txt')
-rw-r--r--3860/CH9/EX9.8/Ex9_8.txt36
1 files changed, 36 insertions, 0 deletions
diff --git a/3860/CH9/EX9.8/Ex9_8.txt b/3860/CH9/EX9.8/Ex9_8.txt
new file mode 100644
index 000000000..4c124ab75
--- /dev/null
+++ b/3860/CH9/EX9.8/Ex9_8.txt
@@ -0,0 +1,36 @@
+
+ Given State Table
+
+ q | x=0 x=1 | z
+
+ --------------------------------
+
+ A | C D | 1
+
+ B | C D | 0
+
+ C | B D | 1
+
+ D | C A | 1
+
+ Step 1 produces five SP Partitions
+
+ P1 = (AB)(C)(D)
+
+ P2 = (ABC)(D)
+
+ P3 = (AD)(B)(C)
+
+ P4 = (A)(BC)(D)
+
+ P5 = (ABD)(C)
+
+ Step 2 requires three sums
+
+ P1 + P3 = (ABD)(C)--> P5
+
+ P1 + P4 = (ABC)(D)--> P2
+
+ P3 + P4 = (AD)(BC)--> P6
+
+ only one new partition is found by step 2. \ No newline at end of file