Система переходов s1
Система переходов представлена на рисунке 10.
A
A 1 -P4¬r1r2A5 v P4¬r1r2A6 v (¬r1/1) ¬r2A8 v r1(r2/1)Ak
A 2 r1(r2/1)A3 v (¬r1/1) ¬r2A6 v ¬r1r2A7
A 3 ¬r1r2A2 v - P2P3 r1(r2/1)A4 v -P3(¬r1/1) ¬r2A7 v -P2-P3 r1(r2/1) A7 v P2- P6 r1(r2/1)A8 v P3(¬r1/1) ¬r2A9 v P2P6 r1(r2/1)Ak
A 4 -P4(¬r1/1) ¬r2A1 v ¬r1r2A6 v P4(¬r1/1) ¬r2A8 v r1(r2/1)A10
A 5 P3r1(r2/1)A4 v (¬r1/1) ¬r2A7 v -P3 r1(r2/1) A7 v ¬r1r2Ak
A 6 r1(r2/1)A2 v (¬r1/1) ¬r2A4 v ¬r1r2A10
A 7 P7¬r1r2A1 v r1(r2/1)A1 v -P7-P4¬r1r2A5 v -P7P4¬r1r2A6 v (¬r1/1) ¬r2Ak
A 8 (¬r1/1) ¬r2A3 v r1(r2/1)A5 v -P5P6¬r1r2A9 v -P5-P6-P5P6¬r1r2A9 v P5¬r1r2A10 v - P5 -P6 P5¬r1r2 A10
A 9 -P3r1(r2/1)A1 v P3P1-P2r1(r2/1)A3 v -P4-P5¬r1r2A4 v P3P1P2r1(r2/1)A4 v P6 P1(¬r1/1) ¬r2A5 v –P6P1(¬r1/1) ¬r2 A5 v P6 –P1 –P3(¬r1/1) ¬r2 A7 v - P6 –P1 –P3(¬r1/1) ¬r2 A7 v P4¬r1r2A8 v P6 –P1P3(¬r1/1) ¬r2A9 v -P6–P1 P3(¬r1/1) ¬r2 A9 v -P4P5¬r1r2A10 v P3-P1 r1(r2/1) A10
A 10 P7-P1¬r1r2A1 v P7-P5P2(¬r1/1) ¬r2A2 v –P7(¬r1/1) ¬r2A2 v r1(r2/1)A3 v P7-P5-P2(¬r1/1) ¬r2A4 v -P7-P4-P5¬r1r2A4 v P7P1¬r1r2A6 v P7P5-P3(¬r1/1) ¬r2A7 v -P7P4¬r1r2A8 v P7P5P3(¬r1/1) ¬r2A9 v -P7-P4 P5¬r1r2A10
|
0
¬r1r2A8
v
r1(r2/1)A9Рисунок 10
Система переходов s2
Система переходов представлена на рисунке 11.
A 0 r2 (¬r1A8 v r1A9)
A 1 ¬r1 ( r2{ -P4A5 v P4A6 } v ¬r2A8) v r1r2Ak
A 2 r1r2A3 v ¬r1(¬r2A6 v r2A7)
A 3 r2 (¬r1A2 v r1[- P2{P3 A4 v -P3A7} v P2{-P6A8 v P6Ak}]) v ¬r1¬r2( P3A9 v -P3A7)
A 4 ¬r1(¬r2[-P4A1 v P4A8] v r2A6 ) v r1r2A10
A 5 r2(r1[P3A4 v -P3A7] v ¬r1Ak) v ¬r1¬r2A7
A 6 r1r2A2 v ¬r1( ¬r2A4 v r2A10)
A 7 ¬r1( r2 [-P7{-P4A5 v P4A6} v P7A1] v ¬r2Ak) v r1r2A1
A 8 ¬r1(r2[-P5{-P6 | -P5P6A9 v P5A10 | v P6A9 } v P5A10 ] v ¬r2A3 ) v r1r2A5
A 9 ¬r1(r2[-P4 {-P5A4 v P5A10} v P4A8 ] v ¬r2[P6{–P1 | –P3 A7 v P3A9 | v P1A5 } v -P6{–P1 | –P3A7 v P3A9 | v P1 A5 } ] ) v r1( r2[ P3{ P1 | -P2A3 v P2A4 | v -P1A10 } v -P3A1)
A 10 ¬r1(r2[P7{-P1A1 v P1A6} v -P7{ -P4-P5A4 v P4A8 } ] v ¬r2[P7{-P5 | P2A2 v -P2 A4 | v P5 | -P3A7 v P3A9 | } v –P7A2 ] v -P7-P4 P5r2A10 ) v r1r2A3
|
Рисунок 11