. (0 1). .
. .
.
, .. .
() - (), () . - ; A̅B; ABC; B̅D, - (AvB), (AvC̅); (AvBvC)
, ( ), () :
X=ABvBCvAC̅
, ( ), (). :
=(DvE)(EvF)(DvF)
.
. . .
() X , "1".
, .
:
1. , X ". 0, .
2. . .
.
.
. 2.9
X = A̅B̅C̅vA̅BCvAB̅CvABC̅
() - X , "" . .
:
1. X "0. "1, .
2. . .
.
(.2.9) :
X=(AvBvC̅)(AvB̅vC)(A̅vBvC)(A̅vB̅vC̅)