:
1. .
2.
1- :
2 :
1. (), Xi.
2. , .
5.
1) .
:
1. : X2vX1=X1vX2, X2X1=X1X2
2. : X1 v X1X2=X1(1 v X2)=X1
v 
= X2 ( 
X1) = X2
3. :
-- - (AND-NOT):
- (OR-NOT):
= 
.
;
3,5,6,7 .
:
Y=(X2X1) v (X3X1 ) v (X3X2)
:
ND-NOT. :
Y=(X2X1) v (X3X1 ) v (X3X2)
: 2AND-NOT. 2AND-NOT.
, 2AND-NOT 3AND-NOT ( ).
2 ( ).
2 Y=1, Xi Y=0, Xi .
2 .
2:
| . | X2 | X1 | Y |
: 
V 
- ( ):
: , 2AND-NOT 2AND-NOT.
4
.
, . ().
, 2 Y0 X2 , X1 1.
.
: .
3
