pres state in=0 in=1 A B,1 H,0 B J,0 C F,1 I,0 D I,1 E G,0 L,0 F D,0 G M,1 E,1 H K,0 I J L,1 K M,0 L A,0 M C,0
pres state in=0 in=1 A B,1 H,0 C F,1 I,0 K M,0 B J,0 E G,0 L,0 F D,0 H K,0 I L A,0 M C,0 D I,1 G M,1 E,1 J L,1
pres state in=0 in=1 A B,1 H,0 C F,1 I,0 K M,0 B J,0 E G,0 L,0 F D,0 H K,0 I L A,0 M C,0 D I,1 G M,1 E,1 J L,1
C K B E F H I L M D G J A C K B E F H I L M D G
Δεν είναι ισοδύναμες καταστάσεις με διαφορετικές εξόδους C B-F H-I B-F H-M I-M G-J H-L D-J H-I D-G I-L J-K G-H G-K G-L D-K G-I D-H D-L D-I A-J H-J A-G J-L A-D I-J A-K C-J C-G C-D C-K A-C E-F M-L B-E Δεν είναι ισοδύναμες καταστάσεις με διαφορετικές εξόδους K B E F H I L M D G J A C K B E F H I L M D G
Πρέπει το B να είναι ισοδύναμο με το F και το Η με το Ι Ισχύουν και τα δύο C B-F H-I B-F H-M I-M G-J H-L D-J H-I D-G I-L J-K G-H G-K G-L D-K G-I D-H D-L D-I A-J H-J A-G J-L A-D I-J A-K C-J C-G C-D C-K A-C E-F M-L B-E K B E F H I L M D G J A C K B E F H I L M D G
Πρέπει το G να είναι ισοδύναμο με το J και το Η με το L Ισχύουν και τα δύο C B-F H-I B-F H-M I-M G-J H-L D-J H-I D-G I-L J-K G-H G-K G-L D-K G-I D-H D-L D-I A-J H-J A-G J-L A-D I-J A-K C-J C-G C-D C-K A-C E-F M-L B-E K B E F H I L M D G J A C K B E F H I L M D G
Πρέπει το J να είναι ισοδύναμο με το K και το G με το H Δεν ισχύει, άρα… C B-F H-I B-F H-M I-M G-J H-L D-J H-I D-G I-L J-K G-H G-K G-L D-K G-I D-H D-L D-I A-J H-J A-G J-L A-D I-J A-K C-J C-G C-D C-K A-C E-F M-L B-E K B E F H I L M D G J A C K B E F H I L M D G
Πρέπει το J να είναι ισοδύναμο με το K και το G με το H Δεν ισχύει, άρα… C B-F H-I B-F H-M I-M G-J H-L D-J H-I D-G I-L J-K G-H G-K G-L D-K G-I D-H D-L D-I A-J H-J A-G J-L A-D I-J A-K C-J C-G C-D C-K A-C E-F M-L B-E K B E F H I L M D G J A C K B E F H I L M D G
Και συνεχίζουμε… C K B E F H I L M D G J A C K B E F H I L M D G B-F H-I B-F H-M I-M G-J H-L D-J H-I D-G I-L J-K G-H G-K G-L D-K G-I D-H D-L D-I A-J H-J A-G J-L A-D I-J A-K C-J C-G C-D C-K A-C E-F M-L B-E K B E F H I L M D G J A C K B E F H I L M D G
Ελέγχουμε τις στήλες και έχουμε: J (J) G (G,J) D (D,G,J) M (D,G,J) (M) L (D,G,J) (L,M) I (D,G,J) (I,L,M) H (D,G,J) (H,I,L,M) F (D,G,J) (H,I,L,M) (F) E (D,G,J) (H,I,L,M) (E,F) B (D,G,J) (H,I,L,M) (B,E,F) K (D,G,J) (H,I,L,M) (B,E,F) (K) C (D,G,J) (H,I,L,M) (B,E,F) (C,K) A (D,G,J) (H,I,L,M) (B,E,F) (A,C,K)
pres state in=0 in=1 A B,1 H,0 B D,0 H A,0 D H,1