ΠΠΎΠ³ΠΈΠΊΠ°, Π²Π°ΡΠΈΠ°Π½Ρ 1 (Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ 12 Π·Π°Π΄Π°Π½ΠΈΠΉ)
ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ ΠΎΠ±ΡΠ΅ΠΌΠ°ΠΌΠΈ ΠΏΠΎΠ½ΡΡΠΈΠΉ ΠΈ ΠΈΠ·ΠΎΠ±ΡΠ°Π·ΠΈΡΠ΅ ΠΈΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΊΡΡΠ³ΠΎΠ²ΡΡ Π΄ΠΈΠ°Π³ΡΠ°ΠΌΠΌ: ΠΡΡΠΈΡΠ»ΠΈΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ ΠΏΠΎ ΡΠ°Π±Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈ ΡΠΊΠ°ΠΆΠΈΡΠ΅ Π²ΠΈΠ΄ ΡΠΎΡΠΌΡΠ»Ρ: ΠΠΎΠ΄Π΅ΠΊΡ, Π³ΡΠ°ΠΆΠ΄Π°Π½ΡΠΊΠΈΠΉ ΠΊΠΎΠ΄Π΅ΠΊΡ Π Π€, Π½Π°Π»ΠΎΠ³ΠΎΠ²ΡΠΉ ΠΊΠΎΠ΄Π΅ΠΊΡ Π Π€, ΡΡ. 12 Π³ΡΠ°ΠΆΠ΄Π°Π½ΡΠΊΠΎΠ³ΠΎ ΠΊΠΎΠ΄Π΅ΠΊΡΠ° Π Π€. Π£ΠΊΠ°ΠΆΠΈΡΠ΅ ΠΊΠ°ΠΊΠΈΠ΅ ΠΎΠ±ΡΠΈΠ΅ ΠΏΡΠ°Π²ΠΈΠ»Π° ΡΠΈΠ»Π»ΠΎΠ³ΠΈΠ·ΠΌΠ° Π½Π°ΡΡΡΠ΅Π½Ρ, Π½Π°ΠΉΠ΄ΠΈΡΠ΅ ΠΎΠΏΡΠΎΠ²Π΅ΡΠ³Π°ΡΡΡΡ ΡΡ Π΅ΠΌΡ: ΠΠ°ΡΡΡΠ΅Π½ΠΈΠ΅ ΠΊΠ°ΠΊΠΈΡ Π·Π°ΠΊΠΎΠ½ΠΎΠ² Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠΎΠΈΠ»Π»ΡΡΡΡΠΈΡΠΎΠ²Π°ΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ… Π§ΠΈΡΠ°ΡΡ Π΅ΡΡ >
ΠΠΎΠ³ΠΈΠΊΠ°, Π²Π°ΡΠΈΠ°Π½Ρ 1 (Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ 12 Π·Π°Π΄Π°Π½ΠΈΠΉ) (ΡΠ΅ΡΠ΅ΡΠ°Ρ, ΠΊΡΡΡΠΎΠ²Π°Ρ, Π΄ΠΈΠΏΠ»ΠΎΠΌ, ΠΊΠΎΠ½ΡΡΠΎΠ»ΡΠ½Π°Ρ)
Π‘ΠΎΠ΄Π΅ΡΠΆΠ°Π½ΠΈΠ΅
- 1. ΠΠ°ΡΡΡΠ΅Π½ΠΈΠ΅ ΠΊΠ°ΠΊΠΈΡ Π·Π°ΠΊΠΎΠ½ΠΎΠ² Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠΎΠΈΠ»Π»ΡΡΡΡΠΈΡΠΎΠ²Π°ΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΏΡΠΈΠΌΠ΅ΡΠΎΠΌ
«…ΠΠ½Π°Π΅ΡΠ΅, ΠΠΎΡΠΎΠ±ΡΡΠ½ΠΈΠ½ΠΎΠ², ΡΡΠΎΡ ΡΡΡΠ» Π½Π°ΠΏΠΎΠΌΠΈΠ½Π°Π΅Ρ ΠΌΠ½Π΅ Π½Π°ΡΡ ΠΆΠΈΠ·Π½Ρ. ΠΡ ΡΠΎΠΆΠ΅ ΠΏΠ»Π°Π²Π°Π΅ΠΌ ΠΏΠΎ ΡΠ΅ΡΠ΅Π½ΠΈΡ. ΠΠ°Ρ ΡΠΎΠΏΡΡ, ΠΌΡ Π²ΡΠΏΠ»ΡΠ²Π°Π΅ΠΌ, Ρ ΠΎΡΡ, ΠΊΠ°ΠΆΠ΅ΡΡΡ, Π½ΠΈΠΊΠΎΠ³ΠΎ ΡΡΠΈΠΌ Π½Π΅ ΡΠ°Π΄ΡΠ΅ΠΌ. ΠΠ°Ρ Π½ΠΈΠΊΡΠΎ Π½Π΅ Π»ΡΠ±ΠΈΡ, Π΅ΡΠ»ΠΈ Π½Π΅ ΡΡΠΈΡΠ°ΡΡ Π£Π³ΠΎΠ»ΠΎΠ²Π½ΠΎΠ³ΠΎ ΡΠΎΠ·ΡΡΠΊΠ°, ΠΊΠΎΡΠΎΡΡΠΉ ΡΠΎΠΆΠ΅ Π½Π°Ρ Π½Π΅ Π»ΡΠ±ΠΈΡ. ΠΠΈΠΊΠΎΠΌΡ Π΄ΠΎ Π½Π°Ρ Π½Π΅Ρ Π΄Π΅Π»Π°».
Π°) Π·Π°ΠΊΠΎΠ½ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π° Π±) Π·Π°ΠΊΠΎΠ½ ΠΏΡΠΎΡΠΈΠ²ΠΎΡΠ΅ΡΠΈΡ Π²) Π·Π°ΠΊΠΎΠ½ ΠΈΡΠΊΠ»ΡΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΡΠ΅ΡΡΠ΅Π³ΠΎ Π³) Π·Π°ΠΊΠΎΠ½ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎΠ³ΠΎ ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΡ Π΄) Π½ΠΈΡΠ΅Π³ΠΎ Π½Π΅ Π½Π°ΡΡΡΠ΅Π½ΠΎ
2. ΠΠ°ΠΉΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΡΡ Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠΈΡΡΠΈΠΊΡ ΡΠ»Π΅Π΄ΡΡΡΠ΅Π³ΠΎ ΠΏΠΎΠ½ΡΡΠΈΡ: Π§Π΅Π»ΠΎΠ²Π΅ΠΊ.
3. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅, Π² ΠΊΠ°ΠΊΠΎΠΌ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠΈ Π½Π°Ρ ΠΎΠ΄ΡΡΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΠΏΠΎΠ½ΡΡΠΈΡ:
ΠΡΠ΅ΡΡΡΠΏΠ»Π΅Π½ΠΈΠ΅, ΡΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠ΅ ΠΏΡΠ°Π²ΠΎΠ½Π°ΡΡΡΠ΅Π½ΠΈΠ΅ Π°) ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ Π±) ΠΏΠΎΠ΄ΡΠΈΠ½Π΅Π½ΠΈΠ΅ Π²) ΡΠ°Π²Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΡΡΡ Π³) ΡΠΎΠΏΠΎΠ΄ΡΠΈΠ½Π΅Π½ΠΈΠ΅
4. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ ΠΎΠ±ΡΠ΅ΠΌΠ°ΠΌΠΈ ΠΏΠΎΠ½ΡΡΠΈΠΉ ΠΈ ΠΈΠ·ΠΎΠ±ΡΠ°Π·ΠΈΡΠ΅ ΠΈΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΊΡΡΠ³ΠΎΠ²ΡΡ Π΄ΠΈΠ°Π³ΡΠ°ΠΌΠΌ: ΠΊΠΎΠ΄Π΅ΠΊΡ, Π³ΡΠ°ΠΆΠ΄Π°Π½ΡΠΊΠΈΠΉ ΠΊΠΎΠ΄Π΅ΠΊΡ Π Π€, Π½Π°Π»ΠΎΠ³ΠΎΠ²ΡΠΉ ΠΊΠΎΠ΄Π΅ΠΊΡ Π Π€, ΡΡ. 12 Π³ΡΠ°ΠΆΠ΄Π°Π½ΡΠΊΠΎΠ³ΠΎ ΠΊΠΎΠ΄Π΅ΠΊΡΠ° Π Π€
5. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ Π²ΠΈΠ΄ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ, ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΠΎΡΡΡ ΡΠ΅ΡΠΌΠΈΠ½ΠΎΠ², Π³ΡΠ°ΡΠΈΡΠ΅ΡΠΊΠΈ ΠΏΡΠΎΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠΈΡΠΎΠ²Π°ΡΡ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΅ΡΠΌΠΈΠ½Π°ΠΌΠΈ:
ΠΠ΅ΠΊΠΎΡΠΎΡΡΠ΅ Π»ΡΠ΄ΠΈ ΡΡΠΈΡΡΡ.
6. ΠΠ»Ρ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ ΠΈΠ· ΠΏΡΠ΅Π΄ΡΠ΄ΡΡΠ΅Π³ΠΎ Π·Π°Π΄Π°Π½ΠΈΡ ΠΏΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΌΡ ΠΊΠ²Π°Π΄ΡΠ°ΡΡ ΠΏΠΎΡΡΡΠΎΠΉΡΠ΅ ΠΎΡΡΠ°Π²ΡΠΈΠ΅ΡΡ Π²ΠΈΠ΄Ρ ΡΡΠΆΠ΄Π΅Π½ΠΈΠΉ ΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ: Π°) ΠΏΡΠΈ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈ Π±) Π»ΠΎΠΆΠ½ΠΎΡΡΠΈ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ.
7. ΠΠ±ΡΠ°ΡΠΈΡΠ΅, ΠΏΡΠ΅Π²ΡΠ°ΡΠΈΡΠ΅ ΠΈ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΡΡΠ°Π²ΡΡΠ΅ ΠΏΡΠ΅Π΄ΠΈΠΊΠ°ΡΡ ΡΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΈΠ· 5 Π·Π°Π΄Π°Π½ΠΈΡ.
8. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ Π΄Π΅ΠΎΠ½ΡΠΈΡΠ΅ΡΠΊΡΡ ΠΌΠΎΠ΄Π°Π»ΡΠ½ΠΎΡΡΡ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ, Π·Π°ΠΏΠΈΡΠΈΡΠ΅ Π΅Π³ΠΎ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΌΠΎΠ΄Π°Π»ΡΠ½ΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ² «ΠΎΠ±ΡΠ·Π°ΡΠ΅Π»ΡΠ½ΠΎ» (Π), «Π·Π°ΠΏΡΠ΅ΡΠ΅Π½ΠΎ» (F), «ΡΠ°Π·ΡΠ΅ΡΠ΅Π½ΠΎ» (P):
ΠΠ°ΠΆΠ΄ΡΠΉ ΠΈΠΌΠ΅Π΅Ρ ΠΏΡΠ°Π²ΠΎ Π½Π° ΡΠ²ΠΎΠ±ΠΎΠ΄Ρ ΠΈ Π»ΠΈΡΠ½ΡΡ Π½Π΅ΠΏΡΠΈΠΊΠΎΡΠ½ΠΎΠ²Π΅Π½Π½ΠΎΡΡΡ.
9. ΠΡΡΠΈΡΠ»ΠΈΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ ΠΏΠΎ ΡΠ°Π±Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈ ΡΠΊΠ°ΠΆΠΈΡΠ΅ Π²ΠΈΠ΄ ΡΠΎΡΠΌΡΠ»Ρ:
(((A→B) & A)→B)→((A &A)→B)
10. Π€ΠΎΡΠΌΠ°Π»ΠΈΠ·ΡΠΉΡΠ΅ ΠΈ ΠΈΡΡΠΈΡΠ»ΠΈΡΠ΅ Π½Π° ΡΠΎΠ²ΠΌΠ΅ΡΡΠΈΠΌΠΎΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΠ»ΠΎΠΆΠ½ΡΠ΅ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΊΡΠΎ Π²ΠΈΠ½ΠΎΠ²Π΅Π½, Π° ΠΊΡΠΎ Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½:
Π Π³ΠΎΠ²ΠΎΡΠΈΡ: Π΅ΡΠ»ΠΈ Ρ — Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½, ΡΠΎ Π»ΠΈΠ±ΠΎ Π — Π²ΠΈΠ½ΠΎΠ²Π΅Π½, Π»ΠΈΠ±ΠΎ Π‘ — Π²ΠΈΠ½ΠΎΠ²Π΅Π½. Π Π³ΠΎΠ²ΠΎΡΠΈΡ: Π΅ΡΠ»ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· Π½Π°Ρ, Π»ΠΈΠ±ΠΎ Ρ, Π»ΠΈΠ±ΠΎ Π‘ — Π²ΠΈΠ½ΠΎΠ²Π΅Π½, ΡΠΎ Ρ — Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½. Π‘ Π³ΠΎΠ²ΠΎΡΠΈΡ: Π — Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½.
11. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ Π±ΠΎΠ»ΡΡΡΡ ΠΈ ΠΌΠ΅Π½ΡΡΡΡ ΠΏΠΎΡΡΠ»ΠΊΠΈ, Π·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅, ΡΠΈΠ³ΡΡΡ ΠΈ ΠΌΠΎΠ΄ΡΡ ΡΠΈΠ»Π»ΠΎΠ³ΠΈΠ·ΠΌΠ°: ΠΠ²Π°Π½ΠΎΠ² ΠΏΠΎΠ΄Π»Π΅ΠΆΠΈΡ ΡΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠΉ ΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ, ΡΠ°ΠΊ ΠΊΠ°ΠΊ ΠΠ²Π°Π½ΠΎΠ² Π·Π°Ρ Π²Π°ΡΠΈΠ» Π·Π°Π»ΠΎΠΆΠ½ΠΈΠΊΠΎΠ², Π° Π»ΡΠ±ΠΎΠ΅ Π»ΠΈΡΠΎ, Π·Π°Ρ Π²Π°ΡΠΈΠ²ΡΠ΅Π΅ Π·Π°Π»ΠΎΠΆΠ½ΠΈΠΊΠΎΠ², ΠΏΠΎΠ΄Π»Π΅ΠΆΠΈΡ ΡΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠΉ ΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ.
12. Π£ΠΊΠ°ΠΆΠΈΡΠ΅ ΠΊΠ°ΠΊΠΈΠ΅ ΠΎΠ±ΡΠΈΠ΅ ΠΏΡΠ°Π²ΠΈΠ»Π° ΡΠΈΠ»Π»ΠΎΠ³ΠΈΠ·ΠΌΠ° Π½Π°ΡΡΡΠ΅Π½Ρ, Π½Π°ΠΉΠ΄ΠΈΡΠ΅ ΠΎΠΏΡΠΎΠ²Π΅ΡΠ³Π°ΡΡΡΡ ΡΡ Π΅ΠΌΡ:
PoΠ
SoM
SoP
1. ΠΠ°ΡΡΡΠ΅Π½ΠΈΠ΅ ΠΊΠ°ΠΊΠΈΡ Π·Π°ΠΊΠΎΠ½ΠΎΠ² Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠΎΠΈΠ»Π»ΡΡΡΡΠΈΡΠΎΠ²Π°ΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΏΡΠΈΠΌΠ΅ΡΠΎΠΌ:
«…ΠΠ½Π°Π΅ΡΠ΅, ΠΠΎΡΠΎΠ±ΡΡΠ½ΠΈΠ½ΠΎΠ², ΡΡΠΎΡ ΡΡΡΠ» Π½Π°ΠΏΠΎΠΌΠΈΠ½Π°Π΅Ρ ΠΌΠ½Π΅ Π½Π°ΡΡ ΠΆΠΈΠ·Π½Ρ. ΠΡ ΡΠΎΠΆΠ΅ ΠΏΠ»Π°Π²Π°Π΅ΠΌ ΠΏΠΎ ΡΠ΅ΡΠ΅Π½ΠΈΡ. ΠΠ°Ρ ΡΠΎΠΏΡΡ, ΠΌΡ Π²ΡΠΏΠ»ΡΠ²Π°Π΅ΠΌ, Ρ ΠΎΡΡ, ΠΊΠ°ΠΆΠ΅ΡΡΡ, Π½ΠΈΠΊΠΎΠ³ΠΎ ΡΡΠΈΠΌ Π½Π΅ ΡΠ°Π΄ΡΠ΅ΠΌ. ΠΠ°Ρ Π½ΠΈΠΊΡΠΎ Π½Π΅ Π»ΡΠ±ΠΈΡ, Π΅ΡΠ»ΠΈ Π½Π΅ ΡΡΠΈΡΠ°ΡΡ Π£Π³ΠΎΠ»ΠΎΠ²Π½ΠΎΠ³ΠΎ ΡΠΎΠ·ΡΡΠΊΠ°, ΠΊΠΎΡΠΎΡΡΠΉ ΡΠΎΠΆΠ΅ Π½Π°Ρ Π½Π΅ Π»ΡΠ±ΠΈΡ. ΠΠΈΠΊΠΎΠΌΡ Π΄ΠΎ Π½Π°Ρ Π½Π΅Ρ Π΄Π΅Π»Π°».
Π°) Π·Π°ΠΊΠΎΠ½ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π° Π±) Π·Π°ΠΊΠΎΠ½ ΠΏΡΠΎΡΠΈΠ²ΠΎΡΠ΅ΡΠΈΡ Π²) Π·Π°ΠΊΠΎΠ½ ΠΈΡΠΊΠ»ΡΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΡΠ΅ΡΡΠ΅Π³ΠΎ Π³) Π·Π°ΠΊΠΎΠ½ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎΠ³ΠΎ ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΡ Π΄) Π½ΠΈΡΠ΅Π³ΠΎ Π½Π΅ Π½Π°ΡΡΡΠ΅Π½ΠΎ
2. ΠΠ°ΠΉΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΡΡ Ρ Π°ΡΠ°ΠΊΡΠ΅ΡΠΈΡΡΠΈΠΊΡ ΡΠ»Π΅Π΄ΡΡΡΠ΅Π³ΠΎ ΠΏΠΎΠ½ΡΡΠΈΡ: Π§Π΅Π»ΠΎΠ²Π΅ΠΊ.
3. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅, Π² ΠΊΠ°ΠΊΠΎΠΌ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠΈ Π½Π°Ρ ΠΎΠ΄ΡΡΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΠΏΠΎΠ½ΡΡΠΈΡ:
ΠΡΠ΅ΡΡΡΠΏΠ»Π΅Π½ΠΈΠ΅, ΡΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠ΅ ΠΏΡΠ°Π²ΠΎΠ½Π°ΡΡΡΠ΅Π½ΠΈΠ΅ Π°) ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ Π±) ΠΏΠΎΠ΄ΡΠΈΠ½Π΅Π½ΠΈΠ΅ Π²) ΡΠ°Π²Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΡΡΡ Π³) ΡΠΎΠΏΠΎΠ΄ΡΠΈΠ½Π΅Π½ΠΈΠ΅
4. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠ΅ ΠΌΠ΅ΠΆΠ΄Ρ ΠΎΠ±ΡΠ΅ΠΌΠ°ΠΌΠΈ ΠΏΠΎΠ½ΡΡΠΈΠΉ ΠΈ ΠΈΠ·ΠΎΠ±ΡΠ°Π·ΠΈΡΠ΅ ΠΈΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΊΡΡΠ³ΠΎΠ²ΡΡ Π΄ΠΈΠ°Π³ΡΠ°ΠΌΠΌ:
ΠΊΠΎΠ΄Π΅ΠΊΡ, Π³ΡΠ°ΠΆΠ΄Π°Π½ΡΠΊΠΈΠΉ ΠΊΠΎΠ΄Π΅ΠΊΡ Π Π€, Π½Π°Π»ΠΎΠ³ΠΎΠ²ΡΠΉ ΠΊΠΎΠ΄Π΅ΠΊΡ Π Π€, ΡΡ. 12 Π³ΡΠ°ΠΆΠ΄Π°Π½ΡΠΊΠΎΠ³ΠΎ ΠΊΠΎΠ΄Π΅ΠΊΡΠ° Π Π€
5. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ Π²ΠΈΠ΄ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ, ΡΠ°ΡΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΠΎΡΡΡ ΡΠ΅ΡΠΌΠΈΠ½ΠΎΠ², Π³ΡΠ°ΡΠΈΡΠ΅ΡΠΊΠΈ ΠΏΡΠΎΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠΈΡΠΎΠ²Π°ΡΡ ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ ΡΠ΅ΡΠΌΠΈΠ½Π°ΠΌΠΈ:
ΠΠ΅ΠΊΠΎΡΠΎΡΡΠ΅ Π»ΡΠ΄ΠΈ ΡΡΠΈΡΡΡ.
6. ΠΠ»Ρ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ ΠΈΠ· ΠΏΡΠ΅Π΄ΡΠ΄ΡΡΠ΅Π³ΠΎ Π·Π°Π΄Π°Π½ΠΈΡ ΠΏΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΌΡ ΠΊΠ²Π°Π΄ΡΠ°ΡΡ ΠΏΠΎΡΡΡΠΎΠΉΡΠ΅ ΠΎΡΡΠ°Π²ΡΠΈΠ΅ΡΡ Π²ΠΈΠ΄Ρ ΡΡΠΆΠ΄Π΅Π½ΠΈΠΉ ΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ: Π°) ΠΏΡΠΈ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈ Π±) Π»ΠΎΠΆΠ½ΠΎΡΡΠΈ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ.
7. ΠΠ±ΡΠ°ΡΠΈΡΠ΅, ΠΏΡΠ΅Π²ΡΠ°ΡΠΈΡΠ΅ ΠΈ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΡΡΠ°Π²ΡΡΠ΅ ΠΏΡΠ΅Π΄ΠΈΠΊΠ°ΡΡ ΡΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΈΠ· 5 Π·Π°Π΄Π°Π½ΠΈΡ.
8. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ Π΄Π΅ΠΎΠ½ΡΠΈΡΠ΅ΡΠΊΡΡ ΠΌΠΎΠ΄Π°Π»ΡΠ½ΠΎΡΡΡ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ, Π·Π°ΠΏΠΈΡΠΈΡΠ΅ Π΅Π³ΠΎ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΌΠΎΠ΄Π°Π»ΡΠ½ΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ² «ΠΎΠ±ΡΠ·Π°ΡΠ΅Π»ΡΠ½ΠΎ» (Π), «Π·Π°ΠΏΡΠ΅ΡΠ΅Π½ΠΎ» (F), «ΡΠ°Π·ΡΠ΅ΡΠ΅Π½ΠΎ» (P):
ΠΠ°ΠΆΠ΄ΡΠΉ ΠΈΠΌΠ΅Π΅Ρ ΠΏΡΠ°Π²ΠΎ Π½Π° ΡΠ²ΠΎΠ±ΠΎΠ΄Ρ ΠΈ Π»ΠΈΡΠ½ΡΡ Π½Π΅ΠΏΡΠΈΠΊΠΎΡΠ½ΠΎΠ²Π΅Π½Π½ΠΎΡΡΡ.
9. ΠΡΡΠΈΡΠ»ΠΈΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ ΠΏΠΎ ΡΠ°Π±Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈ ΡΠΊΠ°ΠΆΠΈΡΠ΅ Π²ΠΈΠ΄ ΡΠΎΡΠΌΡΠ»Ρ:
(((A→B) & A)→B)→((A &A)→B)
10. Π€ΠΎΡΠΌΠ°Π»ΠΈΠ·ΡΠΉΡΠ΅ ΠΈ ΠΈΡΡΠΈΡΠ»ΠΈΡΠ΅ Π½Π° ΡΠΎΠ²ΠΌΠ΅ΡΡΠΈΠΌΠΎΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΠ»ΠΎΠΆΠ½ΡΠ΅ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΊΡΠΎ Π²ΠΈΠ½ΠΎΠ²Π΅Π½, Π° ΠΊΡΠΎ Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½:
Π Π³ΠΎΠ²ΠΎΡΠΈΡ: Π΅ΡΠ»ΠΈ Ρ — Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½, ΡΠΎ Π»ΠΈΠ±ΠΎ Π — Π²ΠΈΠ½ΠΎΠ²Π΅Π½, Π»ΠΈΠ±ΠΎ Π‘ — Π²ΠΈΠ½ΠΎΠ²Π΅Π½. Π Π³ΠΎΠ²ΠΎΡΠΈΡ: Π΅ΡΠ»ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΠΎΠ΄ΠΈΠ½ ΠΈΠ· Π½Π°Ρ, Π»ΠΈΠ±ΠΎ Ρ, Π»ΠΈΠ±ΠΎ Π‘ — Π²ΠΈΠ½ΠΎΠ²Π΅Π½, ΡΠΎ Ρ — Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½. Π‘ Π³ΠΎΠ²ΠΎΡΠΈΡ: Π — Π½Π΅Π²ΠΈΠ½ΠΎΠ²Π΅Π½.
11. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ Π±ΠΎΠ»ΡΡΡΡ ΠΈ ΠΌΠ΅Π½ΡΡΡΡ ΠΏΠΎΡΡΠ»ΠΊΠΈ, Π·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅, ΡΠΈΠ³ΡΡΡ ΠΈ ΠΌΠΎΠ΄ΡΡ ΡΠΈΠ»Π»ΠΎΠ³ΠΈΠ·ΠΌΠ°: ΠΠ²Π°Π½ΠΎΠ² ΠΏΠΎΠ΄Π»Π΅ΠΆΠΈΡ ΡΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠΉ ΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ, ΡΠ°ΠΊ ΠΊΠ°ΠΊ ΠΠ²Π°Π½ΠΎΠ² Π·Π°Ρ Π²Π°ΡΠΈΠ» Π·Π°Π»ΠΎΠΆΠ½ΠΈΠΊΠΎΠ², Π° Π»ΡΠ±ΠΎΠ΅ Π»ΠΈΡΠΎ, Π·Π°Ρ Π²Π°ΡΠΈΠ²ΡΠ΅Π΅ Π·Π°Π»ΠΎΠΆΠ½ΠΈΠΊΠΎΠ², ΠΏΠΎΠ΄Π»Π΅ΠΆΠΈΡ ΡΠ³ΠΎΠ»ΠΎΠ²Π½ΠΎΠΉ ΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎΡΡΠΈ.
12. Π£ΠΊΠ°ΠΆΠΈΡΠ΅ ΠΊΠ°ΠΊΠΈΠ΅ ΠΎΠ±ΡΠΈΠ΅ ΠΏΡΠ°Π²ΠΈΠ»Π° ΡΠΈΠ»Π»ΠΎΠ³ΠΈΠ·ΠΌΠ° Π½Π°ΡΡΡΠ΅Π½Ρ, Π½Π°ΠΉΠ΄ΠΈΡΠ΅ ΠΎΠΏΡΠΎΠ²Π΅ΡΠ³Π°ΡΡΡΡ ΡΡ Π΅ΠΌΡ:
PoΠ
SoM
SoP