K→M) Ú (L Ù K) Ú N
. : K, L, M N ( ). , , 1101 , K=1, L=1, M=0, N=1.
14) K, L, M, N,
(K → M) Ù(K → M) Ù (K → (M Ù L Ù N))
. : K, L, M N ( ). , , 1101 , K=1, L=1, M=0, N=1.
15) A, B C , :
(C<A Ú C<B) Ù (C+1 < A) Ù (C+1 < B)
C, A=45 B=18?
16)
J Ù K Ù L Ù M Ù (N Ú N) = 0
J, K, L, M, N ? J, K, L, M N, . .
17) A, B ,
( = B) Ù ((B < A) → (2C > A)) Ù ((A < B) → (A > 2C))
A, C = 8 B = 18?.
18)
(K Ù L) Ú (M Ù N) = 1
K, L, M, N ? K, L, M N, . .
19) X, :
(XX - 1 > 100) → (X(X-1)< 100)
20) X, :
(8X - 6 < 75) → (X(X-1)> 65)
21) X, :
(X(X+1) > 55) → (XX > 50)
22) X, :
(X(X+1) > XX + 7) → (X(X+1) ≤ XX + 7)
23)
(K Ú L Ú M) Ù (L Ù M Ù N) = 1
K, L, M, N ? K, L, M N, . .
24)
(K Ù L Ù M) → (M Ù N) = 1
K, L, M, N ? K, L, M N, . .
25)
(K Ú L)Ù(M Ú N) = 1
K, L, M, N ? K, L, M N, . .
|
|
26)
((A → B)Ù C) Ú (D Ù D)= 1,
A, B, C, D ? A, B, C, D, . .
27) X, :
(X(X + 1)> 55) → (XX > 50)
28) X, :
(X(X + 1) > XX + 7) → (X(X + 1) ≤ XX + 7)
29) X, :
(XX - 7 > 15) → (XX + 8 < 35)
30) X, :
(9X + 5 > 60) → (XX > 80)
31)
M Ù K Ù N Ù J Ù(L Ú L) = 0
J, K, L, M, N ? J, K, L, M N, . .
32) X, :
(XX - 1 > 100) → (X(X 1) < 100)
33) K, L, M, N,
K→M) Ú (L Ù M Ù K) Ú N
. : K, L, M N ( ). , , 1101 , K=1, L=1, M=0, N=1.
34)
(K Ú L Ú M) Ù (L Ú M Ú N) = 0
K, L, M, N ? K, L, M N, . .
35)
((J → K) → (M Ù N)) Ù ((J Ù K) → (M Ú N)) Ù (M Ú N Ú K Ú L)=1
J, K, L, M, N ? J, K, L, M N, . .
36)
((J Ú K Ú L) → (M → N)) Ù ((J Ù K Ù L) → (M Ú N)) Ù (M Ú N Ú K)=1
J, K, L, M, N ? J, K, L, M N, . .
37)
((J → K) → (L Ù M Ù N)) Ú ((L Ù M Ù N) → (J + K)) Ú (M Ù J)=0
J, K, L, M, N ? J, K, L, M N, . .
|
|
38) K, L, M, N,
((M Ú L) Ù K) → ((K Ù M) Ú N)
. : K, L, M N ( ). , , 1101 , K=1, L=1, M=0, N=1.
39)
(((K Ù L Ù N) → (L → M)) Ú ((K Ú L Ú N) → (L Ù M))) Ù (K Ú N) = 1
K, L, M, N ? K, L, M N, . .
40)
(((K → M) → (M Ù L Ù N)) Ú ((K Ù M) → (M Ú L Ú N))) Ù (L Ù M) = 1
K, L, M, N ? K, L, M N, . .
41) A, B ,
( = B) Ù ((A > B) → (C = B)) Ù ((B > A) → (C = A))
B, A = 45 C = 18?.
42)
(X Ú Y Ú Z) → (X Ù P) = 1
X, Y, Z, P ? , . .
43) X, :
(82 < XX) → (81 > (X-1)(X-1))
44)
(X Ù Y Ú Z) → (Z Ú P) = 0
X, Y, Z, P ? , . .
45) X, :
(X(X+1) < 50) → (XX > 35)
46) X, :
(X(X + 1) > 99) → (XX < 65)
47) X, :
(|X| ≥ 5) Ú (|X| < 1)
48) X, :
((|X| < 5) Ù (|X| < 1) Ù (|X| < 10))
49) X, :
((X-4)(X-6) ≥ 0) → (XX - 12X + 35 > 0)
50)
((K → L) Ù (M → N) → K) Ù (L → M) = 1
K, L, M, N ? K, L, M N, . .
51)
(J → L) Ù (K → L) Ù (M → N) Ù (L → M) Ù (M → K) = 1
J, K, L, M, N ? J, K, L, M N, . .
52)
((X1 º X2) Ù (X3 º X4)) Ú ((X1 º X2) Ù (X3 º X4)) = 0
((X3 º X4) Ù (X5 º X6)) Ú ((X3 º X4) Ù (X5 º X6)) = 0
((X5 º X6) Ù (X7 º X8)) Ú ((X5 º X6) Ù (X7 º X8)) = 0
((X7 º X8) Ù (X9 º X10)) Ú ((X7 º X8) Ù (X9 º X10)) = 0
|
|
x1, x2, , x10 ? , . .
53)
(X1 Ù X2) Ú (X1 Ù X2) Ú (X1 º X3) = 1
(X2 Ù X3) Ú (X2 Ù X3) Ú (X2 º X4) = 1
...
(X7 Ù X8) Ú (X7 Ù X8) Ú (X7 º X9) = 1
(X8 Ù X9) Ú (X8 Ù X9) Ú (X8 º X10) = 0
x1, x2, , x10 ? , . .
54)
(X1 Ù X2) Ú (X1 Ù X2) Ú (X2 Ù X3) Ú (X2 Ù X3) = 1
(X2 Ù X3) Ú (X2 Ù X3) Ú (X3 Ù X4) Ú (X3 Ù X4) = 1
...
(X8 Ù X9) Ú (X8 Ù X9) Ú (X9 Ù X10) Ú (X9 Ù X10) = 0
x1, x2, , x10 ? , . .
55)
(X1 º X2) Ú (X1 Ù X10) Ú (X1 Ù X10)= 1
(X2 º X3) Ú (X2 Ù X10) Ú (X2 Ù X10)= 1
...
(X9 º X10) Ú (X9 Ù X10) Ú (X9 Ù X10)= 1
(X1 º X10) = 0
x1, x2, , x10 ? , . .
56)
((X1 º X2) Ú (X3 º X4)) Ù ((X1 º X2) Ú (X3 º X4)) = 1
((X3 º X4) Ú (X5 º X6)) Ù ((X3 º X4) Ú (X5 º X6)) = 1
((X5 º X6) Ú (X7 º X8)) Ù ((X5 º X6) Ú (X7 º X8)) = 1
((X7 º X8) Ú (X9 º X10)) Ù ((X7 º X8) Ú (X9 º X10)) = 1
x1, x2, , x10 ? , . .
57)
(X1 º X2) Ù (X2 º X3) = 1
(X2 º X3) Ù (X3 º X4) = 1
...
(X8 º X9) Ù (X9 º X10) = 1
x1, x2, , x10 ? , . .
58)
(X1 Ú X2) Ù(X2 Ú X3) Ù(X3 Ú X4) Ù(X4 Ú X5) Ù(X5 Ú X6)= 1
x1, x2, , x6 ? , . .