[̲] [] []

 

2. Ͳ

 

2.1

 

2.1.

) Ú q º q Ú ;

) ( & q) & r º & (q & r);

) Ú q & r º ( Ú q) & ( Ú r);

) Ø(p Ú q) º Øp & Øq.

 

2.2.

) p É (p Ú q) º ;

) Øp É Øq º q É p;

) (p & q) É r º p É (q É r);

) p É (q Ú r) º (p É q) Ú r.

 

2.3.

) (r É p & q) É (r É p) & (r É q);

) (p É (p É (p É (p É q))));

) (p É q) É p & q.

 

2.4.

) if (, q, r) º q;

) if (, q, r) º r;

) if (, q, q) º q.

 

2.5.

if (Øp, q, r) º if (p, r, q),

if (p1 & p2, q, r) º if (p1, if (p2, q, r), r),

) if (p1 Ú p2, q, r) º if (p1, q, if (p2, q, r));

) if (p1 É p2, q, r) º if (p1, if (p2, q, r), q)

 

2.6.

) x<=y º Ø(x>y) º x<y Ú x=y;

) x>=y º Ø(x<y) º x>y Ú x=y.

 

2.7.

) (x>0 Ú x=0); ).(x>=0 & x=0); ) Ø (x>0 & y>0); ) Ø (x=0);

) (x>0 Ú x>=0); ).(x>0 Ú x<=0); ).(x>0 & x<0);

) x=0 Ú (x=0 & y>0); ).(x>0 Ú x<=0) & y>0;

'. ). ,

(x>0 Ú x<=0) = (x>0) Ú(x<0)Ú(x=0) = (x<>0)Ú(x=0) = .

 

2.8. a,b c.

 

2.9.

) IF (, a, b) º a;

) IF (, a, b) º a;

) IF (, a, b) º b;

) IF (F, a, b) º IF ( ØF, b, a);

) IF (F, a, a) Ì a;

) IF (F1 & F2, a, b) Ì IF (F1, IF (F2, a, b), b);

 

2.10. ) ) ,

) IF (F1 Ú F2, a, b) Ì IF (F1, a, IF (F2, a, b));

) IF (F1 É F2, a, b) Ì IF (F1, IF (F2, a, b), a).

 

2.2

 

2.11. (x,y):

) ; ) ; ) ; ) .

. ). (x<=0 & y>=0).

 

2.12. a,b,c.

. . ", ", - ", ". , - , (a+b>c)&(a+c>b)&(b+c>a).

,,:;

L:;

(,,);

L(A+B>C)&(A+C>B)&(B+C>A);

(L)

.

 

2.6. (x,y) ( . 2.1.)

a) )

 

) )

 

) )

. 2.1.

 

). (y>=x)&(y+x>=0)&(y<=1)

 

2.13. p (x,y). pp

) p (1,2),p p 3 p 4;

) p p (-2,1),p p p , p p 4.

):p p:

 

2.14. p (x,y). p pp p, p . 2.2.

 

 

. 2.2. .

 

[̲] [] []