() - , .
. , , . .
:
1. , .
2. , , .
3. , , .
, . .
( , ..), , ( , , , .).
3 : (X ˄ Y) ˅ (Z → Y)
(X ˄ Y) ˅ (Z → Y) = (X ˅ Y) ˅ (Z ˅ Y) = (X ˅ Y) ˅ (Z ˄ Y) = = X ˅ Y ˅ Z ˄ Y = X ˅ Y ˅ Z
() , .
, 3 , .
:
1. , .
2. , , .
3. , , .
4 : (X ↔ Y) ˄ (X ˅ Z)
(X ↔ Y) ˄ (X ˅ Z) = ((X ˅ Y) ˄ (X ˅ Y)) ˄ (X ˅ Z) = (X ˅ Y) ˄ (X ˅ Z) ˄ (X ˅ Y) ˄ (X ˅ Z) = (X ˅ Y) ˄ (X ˅ Y) ˄ (X ˅ Z)
, , .
, .
|
|
(qj, aj) . : /, , . : ˻ (), ϻ () ͻ ().
:
) ;
) ;
) : , , , , , .
; : , ; : .
, , .
5 , , .
: , - . .
:
.
2:
2
, .
1) 0 1 2 3 3 2 0
q1
2) a0 a1 a1 a3 a3 a2 a0
q1
3) a0 a3 a1 a3 a3 a2 a0
q1
4) a0 a2 a1 a3 a3 a2 a0
q1
5) a2 a2 a1 a3 a3 a2 a0
q2
: a2a2 a1 a3 a3 a2
1. - : [ 30 .] / . . . . . 3- . .: , 19691978.
2. .. . .: , 1973.
3. .. . 2- .-.: , 1975. 721 .
4. .., .., .. : .. 2- . .: , 2003.