1953 .
(.31).
.31. =2,3 4
q=2K , q . , , . . 1. "".
:
) X=A̅B̅vA̅B
) X=A̅B̅C̅vA̅BCvAB̅C̅vAB̅C
) A̅B̅C̅D̅vA̅B̅C̅DvABCDvAB̅CD̅
, . , . , =11 CD=11 , ABCD=1111.
2.22. .
(=2,3,4 5) , .
. : , , , , . , , .
, , , .
:
1. , :
2. , :
3. , , .
4. .
.32.
.
, :
X = A̅BvAB̅vAB
, .
. , .
|
|
.
, , , .
, -. . . - , , . : X=AvB
:
X=AB̅C̅vA̅B̅C̅vA̅B̅CvABC̅
:
:
X = A̅B̅vAC̅
:
X=AB̅C̅D̅vA̅BC̅DvA̅B̅CDvA̅BCDvAB̅C̅D
:
:
X=A̅B̅vAC̅