) y L, 墢 y L¢¢, å y L
) å , 墢.
, , 1965 .
: L å. å q q.
. , L .
P 0 () 1 (), (,), &, Ú, Ø.
1. P .
2. 0 1 .
3. A B , (A&B), (AÚB), (ØA) .
.
(R1) Ø0 = 1,
(R2) A & B = B & A, A Ú B = BÚA,
(R3) A &1 = A, A Ú 1 = 1, A & 0 = 0, A Ú 0 = A,
(R4) Ø(A & B) = ØA Ú ØB, Ø(A Ú B) = ØA & ØB,
(R5) A & (B Ú C) = (A & B) Ú (A & C), A Ú (B & C) = (A Ú B) & (A Ú C),
(R6) ØØA = A,
. , Î Ø . , .
D1 D2 , , , :
D1 D2. ,
(Con) (Res)
, q1, q2, , qn q. q1 & q2 & & qn & Øq. . , :
D1, D2, , Dk.
, , , , , . 0, . , .
1
a b a Ú c b Ú c. , ABº ØAÚB. : Øa Ú b Ø(a Ú c) Ú b Ú c, . :
Øa Ú b, a Ú c, Øb, Øc.
, b Ú c. . :
|
|
Øa Ú b, a Ú c, Øb, Øc, b Ú c, .
Res (Øc, ) = 0 . , .
. , q å, . (s1, , sm) Q(t1, , tn) h , P = Q, m = n, s1 = t1, s2 = t2, , sn = tn . . . D1 D2 , B1 B2, , .
.
h(D) h D, h(R(t1, , tn)) =
= R(ht1, , htn) , h(ØR) = Øh(R) , h(B1 Ú Ú Bn)=
=h(B1) Ú Ú h(Bn) .
q1, q2, , qm q, , q qi, 1 £ i £ m, , :
1) q1 & & qm & Øq D1&D2&&Dn, , Di Dj i ¹ j;
2) : F = {D1, D2, , Dn}.
3) F , , ;
4) 0 Î F, F , , ;
5) Di Dj F, :
F = F È {Res (Di, Dj)}
( ), 3.
.
2
P(a, b), Q(z) P(xy) & Q(y). :
F = {P(ab), Q(z), ØP(xy) Ú ØQ(y)}.
P(ab) P(xy) : {a = x, b = y}.
F :
Res (P(ab), ØP(xy) Ú ØQ(y)) = ØQ(y).
: F = {P(ab), Q(z), ØP(xy) Ú ØQ(y), ØQ(y)}. Res (Q(z), ØQ(y)) = 0 F. , . , .
.
, R(s1, , sn) Ú R(t1, , tn) Ú B1 Ú Ú Bm h(R(s1, , sn) Ú B1 Ú Ú Bm), ( ØR(s1, , sn) Ú ØR(t1, , tn) Ú B1 Ú Ú Bm
h(ØR(s1,, sn)Ú Ú B1 Ú Ú Bm)), h s1 = t1, , sn = tn.
, , . , : ; , , .
|
|
. , [0, 1]. . .
U . U . . , w
{0, 1, 2, 3, 4, 5}
A = {n Î w: n £ 5}.
, :
, , .
[0, 1] = {r Î R: 0 £ r £ 1} .
. m U m: U [0, 1]. U F(U).
, . , A, . .
m(x) x m. , , m(70) = 1, m(0) = 0, , , . , m(20) = 0. 45 m(45) = 0.5, m [20, 70].