diff options
Diffstat (limited to '3860/CH9/EX9.2/Ex9_2.txt')
| -rw-r--r-- | 3860/CH9/EX9.2/Ex9_2.txt | 34 |
1 files changed, 34 insertions, 0 deletions
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
|