From 7f60ea012dd2524dae921a2a35adbf7ef21f2bb6 Mon Sep 17 00:00:00 2001
From: prashantsinalkar
Date: Tue, 10 Oct 2017 12:27:19 +0530
Subject: initial commit / add all books

---
 3860/CH9/EX9.2/Ex9_2.txt | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 3860/CH9/EX9.2/Ex9_2.txt

(limited to '3860/CH9/EX9.2/Ex9_2.txt')

diff --git a/3860/CH9/EX9.2/Ex9_2.txt b/3860/CH9/EX9.2/Ex9_2.txt
new file mode 100644
index 000000000..aaebea29a
--- /dev/null
+++ b/3860/CH9/EX9.2/Ex9_2.txt
@@ -0,0 +1,34 @@
+ 
+ Given State Table
+
+ q |    x=0         x=1   |    z
+
+ --------------------------------
+
+ A |     B           D    |    1
+
+ B |     D           F    |    1
+
+ C |     D           A    |    0
+
+ D |     D           E    |    0
+
+ E |     B           C    |    1
+
+ F |     C           D    |    0
+
+ States A-E imply C-D and State C-D imply A-E
+
+ AE and CD are equivalent
+
+  q  |     x=0          x=1    |    z
+
+ ------------------------------------
+
+ A-E |      B           C-D    |    1
+
+  B  |     C-D           F     |    1
+
+ C-D |     C-D          A-E    |    0
+
+  F  |     C-D          C-D    |    0
-- 
cgit