( . , 1989) , [72]:
q ;
q .
( ). , , :
= (d1,d2,d3.....dn),
di i - .
() ( ) ( ).
i-e ,
di = (true,false).
j - , :
dj= (>,<,=).
, c ( ) , c.
, d1, d2, d3,..., dn.
, , . . , , :
b&(>)&.
, .
(true, true, true),
(true, >, true).
, . , b , , , , .
, . , .
1. :
& = & , or = or b,
b .
& =(d 1, d 2), or=(d 1, d 2),
d1 = d2 = (true, false).
(. 6.1).
6.1.
b | a & b | a or b | ||
false | false | false | false | |
false | true | false | true | |
true | false | false | true | |
true | true | true | true |
|
|
, ( , ). ? ?
, . , . .
, . , - , ( ). :
q ( & b) 2 3 1. :
& = {(false, true), (true, false), (true, true)};
q ( or b) 2 3 4. :
or = {(false, false), (false, true), (true, false)}.
.
:
1) ;
2) ;
3) . & OMOR ;
4) .
2. 1:
1 &(E1,E2),
1 , E1, 2 .
=(d 1, d 2),
d1 = (true, false), d2 = (=, <, >).
1 & ( , 1 ), 1
& = {(false, true), (true, false), (true, true)}.
, true (E1 = E2) =, a false (E1 = E2) <, >. (true, true) (false, true), (true, =) (false, =) , a (true, false) (true, <) (true, >), 1:
= {(false,=),(true,<),(true,>),(true,=)}.
1.
3. 2
(E3 >E4)&(E1=E2),
E1, 2, 3, 4 .
=(d 1, d 2),
d 1=(=,<,>), d 2 =(=,<,>).
2 1 ( , 2 ), 2 :
= {(=, =), (<, =), (>, <),(>, >),(>, =)}.
2.