:
a) :
1) ;
2) ( )
:
,
b) . :
1) ;
2) (OR, AND, NOT);
3) .
) , .
.
, TRUE / FALSE. . :
;
;
.
:
a) ;
b) ;
c) , .
1989 . :
a) ;
b) .
, , , . :
,
n .
, , , . , .
() . . & OMOR. :
( & b)
& = {(false, true), (true, false), (true, true)};
( b)
or = {(false, false), (false, true), (true, false)}.