. .
, , . , .
, .
, , .
. , - .
, .
4.1. : - .
: XIX .
, ( ).
.
, .
, . (, A, B, X, Y ..). ; True (T) False (F); 1 0.
, , . F (A, B,).
.
.
, , .
A | B | ↔ | ||||
( ) , , , . . , :
1) ;
2) , , , , .
4.2. : , , .
1. .
: , , . :
|
|
= ;
= ;
= .
2. , . , :
F = A Λ (B → C).
4.3. :
10
.
. :
A Λ B | A V B | A → B | A ↔ B | ||
(0) | (1) | (0) | (1) | (0) | (0) |
.
4.1. , Z < 0.
:
) ; ) ;
) ; )
4.2. Z min (Z, , Y).
:
) (Z < Y)Λ(Z < X); ) (Z > Y)Λ(Z < X);
) (Z < Y)V(Z < X); ) (Z < Y)Λ(Z > X).
4.3. max (A, B, C).
:
) (A > B) Λ (A < C); ) (A > B) Λ (A > C);
) (A < B) Λ (A > C); ) (A > B) V (A > C).
4.4. X, Y, Z .
:
) (X > 0) Λ (Y > 0) V (Z > 0); ) (X > 0) V (Y > 0) Λ (Z > 0);
) (X > 0) V (Y > 0) V (Z > 0); ) (X > 0) Λ (Y > 0) Λ (Z > 0).
4.5. X, Y, Z .
:
) (X < 0) V (Y < 0) V (Z < 0); ) (X > 0) V (Y < 0) Λ (Z < 0);
) (X < 0) Λ (Y < 0) V (Z < 0); ) (X < 0) Λ (Y < 0) Λ (Z < 0).
4.6. X, Y, Z 12.
:
) (X = 12) V (Y = 12) Λ (Z = 12); ) (X = 12) Λ (Y = 12) V (Z = 12);
) (X = 12) Λ (Y = 12) Λ (Z = 12); ) (X = 12) V (Y = 12) V (Z = 12).
4.7. X, Y .
:
) (X < 0) Λ (Y > 0) Λ (X > 0) Λ (Y < 0); ) (X < 0) V (Y > 0) V (X > 0) Λ (Y < 0);
) (X < 0) Λ (Y < 0) V (X > 0) Λ (Y < 0); ) (X < 0) Λ (Y > 0) V (X > 0) Λ (Y < 0).
4.8. : (, )?
:
) (X < A) (X > B); ) (X > A) (X < B);
) (X < A) (X > B); ) (X > A) (X > B).