, 1. , .
1-3 , . -, , . , , , - , , - . - (Ø, Ù, Ú, →, Å, ) 1-2.1.
, - -. . , (- ), Ø, Ù, Ú, →, Å, . - , -. . ( ) - , {Ø, Ù, Ú, →, Å, } ( 2 ). - , -. F T 0 1.
, - , , . ( ) 2. , - -. - , -, . 2 . , -, . , - .
|
|
, - (. 1-3), , , , , . -. .
9. 1-3,1-4, 1-5, 1-7, 1-9, 1-10, 1-16 - -:
(p Ù q)(r Ú s), (21)
((p Ù q) r)ÙØ r, (22)
(((p Ù q) r)ÙØ r)(Ø p ÚØ q), (23)
(p ÚØ p) q, (24)
(p q)Ù p, (25)
((p q)Ù p) q, (26)
(p r)Ù(r q))(p q). (27)
- , :
(p Ù q)(r Ú s), (21)
((p Ù q) r)ÙØ r, (22)
(((p Ù q) r)ÙØ r)(Ø p ÚØ q), (23)
(p ÚØ p) q, (24)
(p q)Ù p, (25)
((p q)Ù p) q, (26)
(p r)Ù(r q))(p q). (27)
■
10. 1-4: , . . Ÿ (22) ((p Ù q) r)ÙØ r. . 6 7. - . 8 . - , - , . - .
8. f = ((p Ù q) r)ÙØ r.
p | q | r | 1) p Ù q | 2) 1 r | 3) Ø r | 4) 2Ù3 |
■
11. 1-5: - , . . , . (23) (((p Ù q) r)ÙØ r)(Ø p ÚØ q). - 9 . , 9 8, (22) (23).
|
|
9. f =(((p Ù q) r)ÙØ r)(Ø p ÚØ q)
p | q | r | 1) p Ù q | 2) 1 r | 3) Ø r | 4) 2Ù3 | 5) Ø p | 6) Ø q) | 7) 5Ú6 | 8) 47 |
, .. , ! , (21) (27), (22) (25), 1. - 3.2 ■
12. (27), . 10.
10. f =((p → r)Ù(r → q))→(p → q)
p | q | r | 1) p r | 2) r q | 3) 1Ù2 | 4) p q | 5) 34 |
■
3.1. . Α = Α(P, Q,..., Z) Β = Β(P, Q,..., Z) - , P, Q,..., Z. Α Β , Α º Β, - (. 2.1) , - {Ø, Ù, Ú, →, Å, }. 2.2.1.
- . ; , 1-6. - ( ), , . , , .
( -), 1 (0). . 9 10 .
|
|
3.2. . - , - . . , (, ) ( , , , ..). . , (, ) . , :
(P 1 Ù P 2 Ù ...... Ù P k) C
↑ ↑ ↑ ↑ ↑ ↑ ↑ ↑ ↑ (28)
( 1 2 ....... k)
, , ■
13. (21), (23), (24), (26), (27) , - . -, ó , :
1. 250, -
2. , . . ,
3. ,
4. , . . -
5. . , , -. ■
14. : -- , ( ) . . , - .
P = - ,
Q = .
((p q)Ù q) p. , - : p q q. , - ■
15. 10: , . . Ÿ (22) ((p Ù q) r)ÙØ r. (28), , , ■
. , . .