blob: aaebea29a1a209b8710c957550844fecf430cf42 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
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
|
