blob: 66f5d3a2ae8dc491db149682f2496199a37194d3 (
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
|
Given State Table
q | x=0 x=1 | z
--------------------------------
A | B E | 0
B | D A | 1
C | G A | 0
D | F G | 1
E | B C | 0
F | D G | 1
G | D E | 1
The SP partition is also ouput consistent. The smallest equivalent system is given below
q | x=0 x=1 | z
------------------------------------
A | B A | 0
B | D A | 1
D | D B | 1
|
