ΡΡΠΎ Π·Π½Π°ΡΠΈΡ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ Π² ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ΅
ΠΡΠ½ΠΎΠ²Π½ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π² ΡΠΎΠ·Π΄Π°Π½ΠΈΠΈ ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠ½ΡΡ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌ β Π΄Π΅ΠΉΡΡΠ²ΠΈΡ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ΄ΡΡΡΡ Π½Π°Π΄ Π²Ρ ΠΎΠ΄Π½ΡΠΌΠΈ Π΄Π°Π½Π½ΡΠΌΠΈ. Π’Π°ΠΊΠΈΠ΅ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ΄ΡΡΡΡ Π½Π°Π΄ ΡΠΈΠ³Π½Π°Π»Π°ΠΌΠΈ Π±ΡΠ»Π΅Π²ΡΠΊΠΎΠ³ΠΎ ΡΠΈΠΏΠ°, ΡΠΎ Π΅ΡΡΡ Π½Π°Π΄ ΠΏΡΠΈΠΌΠΈΡΠΈΠ²Π½ΡΠΌΠΈ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡΠΌΠΈ, ΠΈΠΌΠ΅ΡΡΠΈΠΌΠΈ ΡΠΎΠ»ΡΠΊΠΎ Π΄Π²Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΡ: ΠΈΡΡΠΈΠ½Π° ΠΈΠ»ΠΈ Π»ΠΎΠΆΡ.
ΠΠΈΠ΄Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ
Π ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠΈ Π²ΡΠ΄Π΅Π»ΡΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ Π²ΠΈΠ΄Ρ ΡΡΠ½ΠΊΡΠΈΠΉ:
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ (ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ)
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ β ΡΡΠΎ Π΄Π΅ΠΉΡΡΠ²ΠΈΠ΅, Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΠΊΠ°ΠΆΠ΄ΡΠΌ Π΄Π²ΡΠΌ Π²Ρ ΠΎΠ΄Π½ΡΠΌ Π΄Π°Π½Π½ΡΠΌ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΠ΅Ρ ΠΎΠ΄Π½ΠΎ Π½ΠΎΠ²ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅. ΠΡΡΠΈΠ½Π½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π½Π° Π²ΡΡ ΠΎΠ΄Π΅ ΠΏΠΎΠ»ΡΡΠ°Π΅ΡΡΡ, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π²Ρ ΠΎΠ΄Π½ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΈΡΡΠΈΠ½Π½Ρ.
ΠΡΡΠΎΡΠΎΠΆΠ½ΠΎ! ΠΡΠ»ΠΈ ΠΏΡΠ΅ΠΏΠΎΠ΄Π°Π²Π°ΡΠ΅Π»Ρ ΠΎΠ±Π½Π°ΡΡΠΆΠΈΡ ΠΏΠ»Π°Π³ΠΈΠ°Ρ Π² ΡΠ°Π±ΠΎΡΠ΅, Π½Π΅ ΠΈΠ·Π±Π΅ΠΆΠ°ΡΡ ΠΊΡΡΠΏΠ½ΡΡ ΠΏΡΠΎΠ±Π»Π΅ΠΌ (Π²ΠΏΠ»ΠΎΡΡ Π΄ΠΎ ΠΎΡΡΠΈΡΠ»Π΅Π½ΠΈΡ). ΠΡΠ»ΠΈ Π½Π΅Ρ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡΠΈ Π½Π°ΠΏΠΈΡΠ°ΡΡ ΡΠ°ΠΌΠΎΠΌΡ, Π·Π°ΠΊΠ°ΠΆΠΈΡΠ΅ ΡΡΡ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ Π²ΡΠ³Π»ΡΠ΄ΠΈΡ ΡΠ°ΠΊ:
A, B β ΠΈΡΡ ΠΎΠ΄Π½ΡΠ΅ Π΄Π°Π½Π½ΡΠ΅;
A ΠΈ B β Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅, ΠΏΡΠΈΠΎΠ±ΡΠ΅ΡΠ°Π΅ΠΌΠΎΠ΅ Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΠΈ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ.
ΠΠ· ΡΠ°Π±Π»ΠΈΡΡ ΡΠ»Π΅Π΄ΡΡΡ ΡΠ²ΠΎΠΉΡΡΠ²Π° Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ:
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ (Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ)
ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ β ΡΡΠΎ Π±ΡΠ»Π΅Π²Π° ΡΡΠ½ΠΊΡΠΈΡ, Π² ΠΈΡΠΎΠ³Π΅ ΠΊΠΎΡΠΎΡΠΎΠΉ Π²ΡΡ ΠΎΠ΄Π½ΡΠ΅ Π΄Π°Π½Π½ΡΠ΅ Π±ΡΠ΄ΡΡ Π»ΠΎΠΆΠ½ΡΠΌΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΠΏΡΠΈ Π»ΠΎΠΆΠ½ΠΎΡΡΠΈ Π²ΡΠ΅Ρ ΠΈΡΡ ΠΎΠ΄Π½ΡΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ:
A, B β Π²Ρ ΠΎΠ΄Π½Π°Ρ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΡ;
A ΠΈΠ»ΠΈ B β Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅, ΠΏΡΠΈΠΎΠ±ΡΠ΅ΡΠ°Π΅ΠΌΠΎΠ΅ Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠΈ.
ΠΠ»Ρ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠΈ ΡΠΏΡΠ°Π²Π΅Π΄Π»ΠΈΠ²Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΡ:
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ (ΠΈΠ½Π²Π΅ΡΡΠΈΡ)
ΠΠ½Π²Π΅ΡΡΠΈΡ β Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅, ΡΡΠ°Π²ΡΡΠ΅Π΅ Π² ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΈΠ΅ ΠΎΠ΄Π½ΠΎΠΌΡ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΎΠ΅.
Π£ΡΠ»ΠΎΠ²Π½ΠΎΠ΅ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ: Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ°ΡΡΠΈΡΡ Β«Π½Π΅Β», ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² Β―, \(\neg.\)
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈΠ½Π²Π΅ΡΡΠΈΠΈ:
A β ΠΈΡΡ ΠΎΠ΄Π½ΡΠ΅ Π΄Π°Π½Π½ΡΠ΅;
Π½Π΅ A β Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅, ΠΏΡΠΈΠΎΠ±ΡΠ΅ΡΠ°Π΅ΠΌΠΎΠ΅ Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΠ΅ (ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ)
ΠΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ β ΡΡΠΎ Π±ΡΠ»Π΅Π²Π° ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, Π»ΠΎΠΆΠ½Π°Ρ Π»ΠΈΡΡ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΏΠ΅ΡΠ²Π°Ρ ΠΈΡΡ ΠΎΠ΄Π½Π°Ρ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½Π°Ρ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΈΡΡΠΈΠ½ΠΎΠΉ, Π° Π²ΡΠΎΡΠ°Ρ β Π»ΠΎΠΆΡΡ.
Π‘Π»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΠ΅ Π·Π°ΠΏΠΈΡΡΠ²Π°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π·Π½Π°ΠΊΠ° \(\rightarrow.\)
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠΈ:
A β Π²Ρ ΠΎΠ΄Π½Π°Ρ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΡ, ΠΎΠ·Π½Π°ΡΠ°ΡΡΠ°Ρ ΡΡΠ»ΠΎΠ²ΠΈΠ΅;
B β Π²Ρ ΠΎΠ΄Π½Π°Ρ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΡ, ΠΎΠ·Π½Π°ΡΠ°ΡΡΠ°Ρ ΡΠ»Π΅Π΄ΡΡΠ²ΠΈΠ΅;
A β B β Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅, ΠΏΡΠΈΠΎΠ±ΡΠ΅ΡΠ°Π΅ΠΌΠΎΠ΅ Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠΈ.
ΠΠΎ ΡΠ²ΠΎΠ΅ΠΌΡ ΡΠΏΠΎΡΡΠ΅Π±Π»Π΅Π½ΠΈΡ Π΄Π°Π½Π½Π°Ρ ΡΠ²ΡΠ·ΠΊΠ° ΡΡ ΠΎΠΆΠ° ΡΠΎ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ΠΌ ΡΠΎΡΠ·ΠΎΠ² Β«Π΅ΡΠ»ΠΈ. ΡΠΎ. Β».
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΡΠ°Π²Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΡΡΡ (ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΡ)
ΠΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΡ β Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅, ΡΠ²Π»ΡΡΡΠ΅Π΅ΡΡ ΠΈΡΡΠΈΠ½Π½ΡΠΌ Π»ΠΈΡΡ Π² ΡΠ»ΡΡΠ°Π΅ ΡΠ°Π²Π΅Π½ΡΡΠ²Π° Π΄Π²ΡΡ Π²Ρ ΠΎΠ΄Π½ΡΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ².
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΡΠ°Π²Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΡΡΠΈ:
Π‘ΡΡΠ΅Π»ΠΊΠ° ΠΠΈΡΡΠ°
Π‘ΡΡΠ΅Π»ΠΊΠ° ΠΠΈΡΡΠ° β Π΄Π²ΡΡ ΠΌΠ΅ΡΡΠ½ΠΎΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π΄Π΅ΠΉΡΡΠ²ΠΈΠ΅ ΡΠΎ ΡΠ»Π΅Π΄ΡΡΡΠ΅ΠΉ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡΡ: ΡΠ½Π°ΡΠ°Π»Π° Π½Π°Π΄ ΠΈΡΡ ΠΎΠ΄Π½ΡΠΌΠΈ ΠΏΠΎΠΊΠ°Π·Π°Π½ΠΈΡΠΌΠΈ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ΄ΠΈΡΡΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ, Π·Π°ΡΠ΅ΠΌ ΠΏΡΠΎΠΈΡΡ ΠΎΠ΄ΠΈΡ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ ΠΏΠΎΠ»ΡΡΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ°.
ΠΠ°Π½Π½Π°Ρ ΠΌΠ°Π½ΠΈΠΏΡΠ»ΡΡΠΈΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ. Π‘Π²ΠΎΠ΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Π΅ΠΌΠ°Ρ ΡΡΠ½ΠΊΡΠΈΡ ΠΏΠΎΠ»ΡΡΠΈΠ»Π° ΠΎΡ ΡΠ²ΠΎΠ΅Π³ΠΎ Π°Π²ΡΠΎΡΠ° β Π°ΠΌΠ΅ΡΠΈΠΊΠ°Π½ΡΠΊΠΎΠ³ΠΎ ΡΡΠ΅Π½ΠΎΠ³ΠΎ Π§Π°ΡΠ»ΡΠ·Π° ΠΠΈΡΡΠ°.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΡΡΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ»Π΅Π΄ΡΡΡΠ°Ρ:
ΠΡΠΎΠ±Π΅Π½Π½ΠΎΡΡΡ ΡΡΡΠ΅Π»ΠΊΠΈ ΠΠΈΡΡΠ° Π·Π°ΠΊΠ»ΡΡΠ°Π΅ΡΡΡ Π² Π΅Π΅ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡΠΈ ΡΡΡΠΎΠΈΡΡ Π΄ΡΡΠ³ΠΈΠ΅ Π±ΡΠ»Π΅Π²Ρ ΡΡΠ½ΠΊΡΠΈΠΈ.
ΠΡΠΈΠΌΠ΅Ρ
Π¨ΡΡΠΈΡ Π¨Π΅ΡΡΠ΅ΡΠ°
Π¨ΡΡΠΈΡ Π¨Π΅ΡΡΠ΅ΡΠ° β ΡΡΠΎ Π΄Π΅ΠΉΡΡΠ²ΠΈΠ΅, ΠΏΡΠΈΠ²ΠΎΠ΄ΡΡΠ΅Π΅ ΠΊ Π»ΠΎΠΆΠ½ΠΎΠΌΡ ΠΈΡΠΎΠ³Ρ Π»ΠΈΡΡ ΠΏΡΠΈ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΎΠ±ΠΎΠΈΡ ΠΈΡΡ ΠΎΠ΄Π½ΡΡ Π΄Π°Π½Π½ΡΡ . ΠΠΎ ΠΏΠΎΡΡΠ΄ΠΊΡ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ ΡΡΠ° ΡΡΠ½ΠΊΡΠΈΡ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½Π° ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ.
Π‘ΠΈΠΌΠ²ΠΎΠ» Π¨Π΅ΡΡΠ΅ΡΠ° Π½Π°Π·Π²Π°Π½ ΠΏΠΎ ΡΠ°ΠΌΠΈΠ»ΠΈΠΈ ΡΠ²ΠΎΠ΅Π³ΠΎ ΡΠΎΠ·Π΄Π°ΡΠ΅Π»Ρ β Π°ΠΌΠ΅ΡΠΈΠΊΠ°Π½ΡΠΊΠΎΠ³ΠΎ Π»ΠΎΠ³ΠΈΠΊΠ° ΠΠ΅Π½ΡΠΈ Π¨Π΅ΡΡΠ΅ΡΠ° β ΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ ΠΏΠΎΡΡΠ΅Π΄ΡΡΠ²ΠΎΠΌ Π·Π½Π°ΠΊΠ° \(\vert.\)
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ Π΄Π°Π½Π½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ:
Π‘ ΠΏΠΎΠΌΠΎΡΡΡ ΡΡΡΠΈΡ Π° Π¨Π΅ΡΡΠ΅ΡΠ° ΠΌΠΎΠΆΠ½ΠΎ Π²ΠΎΡΠΏΡΠΎΠΈΠ·Π²Π΅ΡΡΠΈ Π΄ΡΡΠ³ΠΈΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΌΠ°Π½ΠΈΠΏΡΠ»ΡΡΠΈΠΈ.
ΠΡΠΈΠΌΠ΅Ρ
ΠΠΎΡΡΠ΄ΠΎΠΊ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ
Π ΡΠΎΡΡΠ°Π²Π½ΠΎΠΌ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΈ Π΄Π΅ΠΉΡΡΠ²ΠΈΡ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ Π² ΡΠ°ΠΊΠΎΠΉ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ:
ΠΠ»Ρ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ Π½ΡΠΆΠ½ΠΎΠ³ΠΎ ΠΏΠΎΡΡΠ΄ΠΊΠ°, ΠΊΠ°ΠΊ ΠΈ Π² ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡΡ , ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡ ΡΠΊΠΎΠ±ΠΊΠΈ.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈ ΠΈΡ ΡΠ²ΠΎΠΉΡΡΠ²Π°
ΠΡ Π±ΡΠ΄Π΅ΡΠ΅ ΠΏΠ΅ΡΠ΅Π½Π°ΠΏΡΠ°Π²Π»Π΅Π½Ρ Π½Π° ΠΠ²ΡΠΎΡ24
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ ΠΈΠ»ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ (Π² ΡΠ΅ΠΎΡΠΈΠΈ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² β ΡΡΠΎ ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅)
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠ»ΠΎΠΆΠ½ΡΠΌ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ, ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ Π² ΡΠΎΠΌ ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° ΠΏΡΠΎΡΡΡΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ ΡΠ²Π»ΡΡΡΡΡ ΠΈΡΡΠΈΠ½Π½ΡΠΌΠΈ. Π’Π°ΠΊΠ°Ρ ΡΠΈΡΡΠ°ΡΠΈΡ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ Π»ΠΈΡΡ Π² Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅, Π²ΠΎ Π²ΡΠ΅Ρ ΠΎΡΡΠ°Π»ΡΠ½ΡΡ ΡΠ»ΡΡΠ°ΡΡ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ Π»ΠΎΠΆΠ½Π°.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ
ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ ΠΈΠ»ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ (Π² ΡΠ΅ΠΎΡΠΈΠΈ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΡΡΠΎ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅)
ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠ»ΠΎΠΆΠ½ΡΠΌ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ, ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ ΠΏΡΠ°ΠΊΡΠΈΡΠ΅ΡΠΊΠΈ Π²ΡΠ΅Π³Π΄Π°, Π·Π° ΠΈΡΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ΠΌ, ΠΊΠΎΠ³Π΄Π° Π²ΡΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ Π»ΠΎΠΆΠ½Ρ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠΈ
ΠΠΎΡΠΎΠ²ΡΠ΅ ΡΠ°Π±ΠΎΡΡ Π½Π° Π°Π½Π°Π»ΠΎΠ³ΠΈΡΠ½ΡΡ ΡΠ΅ΠΌΡ
ΠΡΡΠΈΡΠ°Π½ΠΈΠ΅, Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ ΠΈΠ»ΠΈ ΠΈΠ½Π²Π΅ΡΡΠΈΡ (Π² ΡΠ΅ΠΎΡΠΈΠΈ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΡΡΠΎ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅)
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΠΈΠ½Π²Π΅ΡΡΠΈΠΈ
ΠΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ ΠΈΠ»ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΠ΅
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠΈ
ΠΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΡ ΠΈΠ»ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΡΠ°Π²Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΡΡΡ
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΠΈ
Π‘ΡΡΠΎΠ³Π°Ρ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ ΠΈΠ»ΠΈ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ 2 ( Π² ΡΠ΅ΠΎΡΠΈΠΈ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ΡΡΠΎ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ Π΄Π²ΡΡ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² Π±Π΅Π· ΠΈΡ ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΡ)
Π‘ΡΡΠΎΠ³Π°Ρ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ ΠΈΡΡΠΈΠ½Π½Π°, Π΅ΡΠ»ΠΈ Π·Π½Π°ΡΠ΅Π½ΠΈΡ Π°ΡΠ³ΡΠΌΠ΅Π½ΡΠΎΠ² Π½Π΅ ΡΠ°Π²Π½Ρ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ Π΄Π²Π°
Π‘Π²ΠΎΠΉΡΡΠ²Π° ΡΡΡΠΎΠ³ΠΎΠΉ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠΈ:
Π‘ΡΡΠ΅Π»ΠΊΠ° ΠΠΈΡΡΠ°
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΡΡΡΠ΅Π»ΠΊΠΈ ΠΠΈΡΡΠ°
Π‘ΡΡΠ΅Π»ΠΊΠ° ΠΠΈΡΡΠ°, ΠΊΠ°ΠΊ ΠΈ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ, Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ, ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅, ΠΎΠ±ΡΠ°Π·ΡΠ΅Ρ Π±Π°Π·ΠΈΡ Π΄Π»Ρ Π±ΡΠ»Π΅Π²ΡΡ ΡΡΠ½ΠΊΡΠΈΠΉ Π΄Π²ΡΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ . ΠΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΡΡΡΠ΅Π»ΠΊΠΈ ΠΠΈΡΡΠ°, ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΡΡΡΠΎΠΈΡΡ Π²ΡΠ΅ ΠΎΡΡΠ°Π»ΡΠ½ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ:
$X \downarrow X = Β¬X$β ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅
$(X \downarrow Y) \downarrow (X \downarrow Y) \equiv X \vee Y$ β Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ
$(X \downarrow X) \downarrow (Y \downarrow Y) \equiv X \wedge Y$ β ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ
$((X \downarrow X) \downarrow Y) \downarrow ((X \downarrow X) \downarrow Y) = X \to Y$ β ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ
Π ΡΠ»Π΅ΠΊΡΡΠΎΠ½ΠΈΠΊΠ΅ ΡΡΡΠ΅Π»ΠΊΠ° ΠΠΈΡΡΠ° ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½Π° Π² Π²ΠΈΠ΄Π΅ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°, ΠΊΠΎΡΠΎΡΡΠΉ Π½ΠΎΡΠΈΡ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ Β«ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ 2ΠΠΠ-ΠΠΒ» (2-in NΠR).
Π¨ΡΡΠΈΡ Π¨Π΅ΡΡΠ΅ΡΠ°
ΠΡΠ»Π΅Π²Π° ΡΡΠ½ΠΊΡΠΈΡ Π΄Π²ΡΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΠΈΠ»ΠΈ Π±ΠΈΠ½Π°ΡΠ½Π°Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ. ΠΠ²Π΅Π΄Π΅Π½Π° Π² ΡΠ°ΡΡΠΌΠΎΡΡΠ΅Π½ΠΈΠ΅ ΠΠ΅Π½ΡΠΈ Π¨Π΅ΡΡΠ΅ΡΠΎΠΌ Π² 1913 Π³.
Π’Π°Π±Π»ΠΈΡΠ΅ΠΉ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΡΡΠ½ΠΊΡΠΈΠΈ ΡΡΡΠΈΡ Π¨Π΅ΡΡΠ΅ΡΠ°
Π¨ΡΡΠΈΡ Π¨Π΅ΡΡΠ΅ΡΠ° ΠΎΠ±ΡΠ°Π·ΡΠ΅Ρ Π±Π°Π·ΠΈΡ Π΄Π»Ρ Π²ΡΠ΅Ρ Π±ΡΠ»Π΅Π²ΡΡ ΡΡΠ½ΠΊΡΠΈΠΉ Π΄Π²ΡΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ . ΠΡΠΈΠΌΠ΅Π½ΡΡ ΡΡΡΠΈΡ Π¨Π΅ΡΡΠ΅ΡΠ° ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΡΡΡΠΎΠΈΡΡ ΠΎΡΡΠ°Π»ΡΠ½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ,
$X \mid X = Β¬X$ β ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅
$(X \mid Y) \mid (X \mid Y) = (X \wedge Y)$ β ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ
$(X \mid X) \mid (Y \mid Y) = X \vee Y$ β Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ
ΠΠ»Ρ ΡΠ»Π΅ΠΊΡΡΠΎΠ½ΠΈΠΊΠΈ ΡΡΠΎ ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ, ΡΡΠΎ ΡΠ΅Π°Π»ΠΈΠ·Π°ΡΠΈΡ ΡΡ Π΅ΠΌ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Π° Ρ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΡΠΈΠΏΠΎΠ²ΠΎΠ³ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ° (ΠΏΡΠ°Π²Π΄Π° ΡΡΠΎ Π΄ΠΎΡΠΎΠ³ΠΎΡΡΠΎΡΡΠΈΠΉ ΡΠ»Π΅ΠΌΠ΅Π½Ρ).
ΠΠΎΡΡΠ΄ΠΎΠΊ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ Π² ΡΠ»ΠΎΠΆΠ½ΠΎΠΌ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΈ
ΠΠ»Ρ ΡΠΎΠ³ΠΎ ΡΡΠΎΠ±Ρ ΠΈΠ·ΠΌΠ΅Π½ΠΈΡΡ ΡΠΊΠ°Π·Π°Π½Π½ΡΠΉ ΠΏΠΎΡΡΠ΄ΠΎΠΊ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ, Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ ΡΠΊΠΎΠ±ΠΊΠΈ.
ΠΠ±ΡΠΈΠ΅ ΡΠ²ΠΎΠΉΡΡΠ²Π°
ΠΠΎΠ»ΡΡΠΈ Π΄Π΅Π½ΡΠ³ΠΈ Π·Π° ΡΠ²ΠΎΠΈ ΡΡΡΠ΄Π΅Π½ΡΠ΅ΡΠΊΠΈΠ΅ ΡΠ°Π±ΠΎΡΡ
ΠΡΡΡΠΎΠ²ΡΠ΅, ΡΠ΅ΡΠ΅ΡΠ°ΡΡ ΠΈΠ»ΠΈ Π΄ΡΡΠ³ΠΈΠ΅ ΡΠ°Π±ΠΎΡΡ
ΠΠ²ΡΠΎΡ ΡΡΠΎΠΉ ΡΡΠ°ΡΡΠΈ ΠΠ°ΡΠ° Π½Π°ΠΏΠΈΡΠ°Π½ΠΈΡ ΡΡΠ°ΡΡΠΈ: 24 03 2016
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ. β Π§ΡΠΎ ΡΠ°ΠΊΠΎΠ΅ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ, Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ, ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ
Π’ΠΎΡ, ΠΊΡΠΎ Ρ ΠΎΡΠ΅Ρ ΠΏΠΎΠ΄ΡΠΎΠ±Π½ΠΎ ΡΠ°Π·Π±ΠΈΡΠ°ΡΡΡΡ Π² ΡΠΈΡΡΠΎΠ²ΡΡ ΡΠ΅Ρ Π½ΠΎΠ»ΠΎΠ³ΠΈΡΡ Π΄ΠΎΠ»ΠΆΠ΅Π½ ΠΏΠΎΠ½ΠΈΠΌΠ°ΡΡ ΠΎΡΠ½ΠΎΠ²Ρ ΡΠ°ΠΊΠΎΠΉ ΡΠ΅ΠΌΡ, ΠΊΠ°ΠΊ Π°Π»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ. Π ΡΡΠΎΠΉ ΡΡΠ°ΡΡΠ΅ Π±ΡΠ΄ΡΡ ΡΠ°Π·ΠΎΠ±ΡΠ°Π½Ρ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ, Π° ΡΠ°ΠΊΠΆΠ΅ ΠΏΠΎΠΊΠ°Π·Π°Π½Ρ ΡΠ°ΠΌΡΠ΅ Π²Π°ΠΆΠ½ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ, ΡΠ°ΠΊΠΈΠ΅ ΠΊΠ°ΠΊ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ, Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ, ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ ΠΈ Ρ.Π΄.
ΠΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΡ
ΠΠ»Ρ Π½Π°ΡΠ°Π»Π° ΡΠ»Π΅Π΄ΡΠ΅Ρ ΡΠ°Π·ΠΎΠ±ΡΠ°ΡΡΡΡ, Π΄Π»Ρ ΡΠ΅Π³ΠΎ Π½ΡΠΆΠ½Π° Π°Π»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ β Π³Π»Π°Π²Π½ΡΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, ΡΡΠΎΡ ΡΠ°Π·Π΄Π΅Π» ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ ΠΈ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠΈ, Π½ΡΠΆΠ΅Π½ Π΄Π»Ρ ΡΠ°Π±ΠΎΡΡ Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡΠΌΠΈ ΠΈ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ΠΌ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ (ΠΈΠ»ΠΈ Π·Π°ΠΏΠΈΡΡ), ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΌΡ ΠΌΠΎΠΆΠ΅ΠΌ ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎ ΠΊΠ»Π°ΡΡΠΈΡΠΈΡΠΈΡΠΎΠ²Π°ΡΡ, ΠΊΠ°ΠΊ ΠΈΡΡΠΈΠ½Π½ΠΎΠ΅ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎΠ΅ (1 ΠΈΠ»ΠΈ 0 Π² ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ΅).
ΠΡΠΈΠΌΠ΅ΡΠΎΠΌ ΡΠ°ΠΊΠΈΠΌ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ Π±ΡΠ΄ΡΡ ΡΠ²Π»ΡΡΡΡΡ:
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ Π΄Π΅Π»ΡΡΡΡ Π½Π° Π΄Π²Π° ΡΠΈΠΏΠ° β ΠΏΡΠΎΡΡΡΠ΅ ΠΈ ΡΠ»ΠΎΠΆΠ½ΡΠ΅.
Π Π°Π»Π³Π΅Π±ΡΠ΅ Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΊΠ°ΠΊ ΠΏΡΠΎΡΡΡΠ΅, ΡΠ°ΠΊ ΠΈ ΡΠ»ΠΎΠΆΠ½ΡΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ ΠΎΠΏΠΈΡΡΠ²Π°ΡΡΡΡ Π±ΡΠ»Π΅Π²ΡΠΌΠΈ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡΠΌΠΈ.
ΠΡΠ»Π΅Π²ΠΎ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ β ΡΡΠΎ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΎΠ΅ (Π·Π½Π°ΠΊΠΎΠ²ΠΎΠ΅) ΠΎΠΏΠΈΡΠ°Π½ΠΈΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ.
ΠΠΏΠ΅ΡΠ°ΡΠΈΠΈ
ΠΠΈΠΆΠ΅ ΡΠ°ΡΡΠΌΠΎΡΡΠΈΠΌ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΏΡΠΈΠΌΠ΅Π½ΡΡΡΡΡ Π² Π±ΡΠ»Π΅Π²ΠΎΠΉ Π°Π»Π³Π΅Π±ΡΠ΅. ΠΡ Ρ Π²Π°ΡΠΈΡ, ΡΡΠΎΠ±Ρ ΡΠΏΡΠΎΡΡΠΈΡΡ Π»ΡΠ²ΠΈΠ½ΡΡ Π΄ΠΎΠ»Ρ Π²ΡΠ΅Ρ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΠ°ΠΌ Π²ΡΡΡΠ΅ΡΡΡΡΡ.
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ (Π±ΡΠ»Π΅Π²ΠΎ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅) β ΡΡΠ½ΠΊΡΠΈΡ, ΠΏΠΎ ΡΠ²ΠΎΠ΅ΠΌΡ ΡΠΌΡΡΠ»Ρ ΠΏΡΠΈΠ±Π»ΠΈΠΆΠ΅Π½Π½Π°Ρ ΠΊ ΡΠΎΡΠ·Ρ Β«ΠΒ». ΠΡΠΈ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΠΈΡΡΠΈΠ½Π΅Π½ (ΡΠ°Π²Π΅Π½ 1) ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΈΡΡΠΈΠ½Π½Ρ ΠΠ‘Π ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅. ΠΡΠ»ΠΈ Ρ ΠΎΡΡ Π±Ρ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ Π»ΠΎΠΆΠ½ΠΎ, ΡΠΎ Π»ΠΎΠΆΠ½ΠΎ ΠΈ Π²ΡΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ (ΡΠ°Π²Π½ΠΎ 0).
Π€ΡΠ½ΠΊΡΠΈΡ ΠΌΠΎΠΆΠ΅Ρ ΡΠ°Π±ΠΎΡΠ°ΡΡ ΠΊΠ°ΠΊ Ρ Π΄Π²ΡΠΌΡ ΠΎΠΏΠ΅ΡΠ°Π½Π΄Π°ΠΌΠΈ (Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ), ΡΠ°ΠΊ ΠΈ Ρ ΡΡΠ΅ΠΌΡ, ΡΠ΅ΡΡΡΡΠΌΡ ΠΈ Ρ.Π΄. Π ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠ΅ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π·Π½Π°ΠΊΠΎΠ² β\( \wedge \) ΠΈ &. ΠΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π² ΡΠ·ΡΠΊΠ°Ρ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ AND, &&. Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ Π΄Π²ΡΡ ΠΎΠΏΠ΅ΡΠ°Π½Π΄ΠΎΠ²:
ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ
ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΡΠ½ΠΊΡΠΈΡ Π±ΡΠ»Π΅Π²Π° ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ. ΠΠΎ ΡΠΌΡΡΠ»Ρ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ ΠΏΡΠΈΠ±Π»ΠΈΠΆΠ΅Π½Π° ΠΊ ΡΠΎΡΠ·Ρ Β«ΠΠΠΒ». Π ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π΄Π°Π½Π½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ ΡΠ΅Π·ΡΠ»ΡΡΠΈΡΡΡΡΠΈΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΈΡΡΠΈΠ½Π½ΡΠΌ, ΠΊΠΎΠ³Π΄Π° Ρ ΠΎΡΡ Π±Ρ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ Π² ΡΡΠΎΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΈ ΡΠΎΠΆΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ.
ΠΡΠ»Π΅Π²ΠΎ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΡΠ°ΠΊΠΆΠ΅ ΠΊΠ°ΠΊ ΠΈ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΠΌΠΎΠΆΠ΅Ρ ΡΠ°Π±ΠΎΡΠ°ΡΡ Ρ ΠΏΡΠΎΠΈΠ·Π²ΠΎΠ»ΡΠ½ΡΠΌ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎΠΌ ΠΎΠΏΠ΅ΡΠ°Π½Π΄ΠΎΠ². Π ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠ΅ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ ΠΊΠ°ΠΊ V, Π° Π² ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠΈ Ρ ΠΏΠΎΠΌΠΎΡΡΡ OR ΠΈΠ»ΠΈ I.
ΠΠ½Π²Π΅ΡΡΠΈΡ
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ β ΡΡΠ½ΠΊΡΠΈΡ, ΡΠ°Π±ΠΎΡΠ°ΡΡΠ°Ρ Ρ ΠΎΠ΄Π½ΠΈΠΌ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ΠΌ, ΠΈ Π·Π°ΠΌΠ΅Π½ΡΡΡΠ°Ρ ΠΈΡΡΠΈΠ½Ρ Π½Π° Π»ΠΎΠΆΡ, Π° Π»ΠΎΠΆΡ Π½Π° ΠΈΡΡΠΈΠ½Ρ. Π ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠ΅ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ΅ΡΡΡ Π½Π°Π΄ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ΠΌ, Π° Π² ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΠΈ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ΅ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠ»ΠΎΠ²Π° NOT.
ΠΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ
Π’Π°ΠΊΠΆΠ΅ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ Π±ΡΠ»Π΅Π²ΡΠΌ ΡΠ»Π΅Π΄ΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ. Π ΡΡΡΡΠΊΠΎΠΌ ΡΠ·ΡΠΊΠ΅ Π΄Π°Π½Π½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΠ΅Ρ ΠΎΠ±ΠΎΡΠΎΡ Β«ΠΡΠ»ΠΈ β¦, ΡΠΎ β¦Β». ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π΅ΡΠ»ΠΈ Π½Π° ΡΠ»ΠΈΡΠ΅ Π³ΡΠ΅ΠΌΠΈΡ Π³ΡΠΎΠΌ, ΡΠΎ ΡΡΠΎΠΈΡ ΠΏΠ°ΡΠΌΡΡΠ½Π°Ρ ΠΏΠΎΠ³ΠΎΠ΄Π°.
ΠΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΡ
ΠΡΠ»Π΅Π²Π° ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π΅Π½Π½ΠΎΡΡΡ ΠΈΠ»ΠΈ ΡΠ°Π²Π΅Π½ΡΡΠ²ΠΎ. ΠΠ° ΠΏΡΠΎΡΡΠΎΠΌ ΡΠ·ΡΠΊΠ΅ Π±ΡΠ΄Π΅Ρ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΎ ΠΊΠ°ΠΊ Β«β¦ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎ (ΡΠ°Π²Π½ΠΎ) β¦Β». Π Π΅Π·ΡΠ»ΡΡΠ°Ρ Π±ΡΠ΄Π΅Ρ ΠΈΡΡΠΈΠ½Π½ΡΠΌ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° Π²ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ Π² Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΈ Π±ΡΠ΄ΡΡ ΠΈΠΌΠ΅ΡΡ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²ΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΡ.
ΠΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΡΠ΅Ρ ΡΠ΅ΡΡΠΎΡΠ΅ΠΊ ΠΈΠ»ΠΈ βΊ.
ΠΠΎΡΡΠ΄ΠΎΠΊ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ Π² ΡΠ»Π΅Π΄ΡΡΡΠ΅ΠΌ ΠΏΠΎΡΡΠ΄ΠΊΠ΅:
ΠΡΠ»ΠΈ Π² ΡΠΎΡΠΌΡΠ»Π΅ ΡΠΊΠ°Π·Π°Π½Ρ ΡΠΊΠΎΠ±ΠΊΠΈ, ΡΠΎ ΠΏΠΎΡΡΠ΄ΠΎΠΊ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π΄Π΅ΠΉΡΡΠ²ΠΈΠΉ Π² ΡΠΊΠΎΠ±ΠΊΠ°Ρ ΡΠΎΡΠ½ΠΎ ΡΠ°ΠΊΠΎΠΉ ΠΆΠ΅, ΠΊΠ°ΠΊ Π½Π°ΠΏΠΈΡΠ°Π½ΠΎ Π²ΡΡΠ΅.
ΠΡΠΈΠΌΠ΅Ρ
ΠΠ°Π½ΠΎ Π΄Π²Π° ΠΎΡΡΠ΅Π·ΠΊΠ° B = [2,10], C = [6,14]. ΠΠ· ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½Π½ΡΡ Π²Π°ΡΠΈΠ°Π½ΡΠΎΠ² ΠΎΡΠ²Π΅ΡΠ° Π²ΡΠ±Π΅ΡΠΈΡΠ΅ ΡΠ°ΠΊΠΎΠΉ ΠΎΡΡΠ΅Π·ΠΎΠΊ A, ΡΡΠΎ ΡΠΎΡΠΌΡΠ»Π° \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) ΠΈΡΡΠΈΠ½Π½Π° ΠΏΡΠΈ Π»ΡΠ±ΠΎΠΌ Π·Π½Π°ΡΠ΅Π½ΠΈΠΈ z. ΠΠ°ΡΠΈΠ°Π½ΡΡ ΠΎΡΠ²Π΅ΡΠ°:
Π Π΅ΡΠ΅Π½ΠΈΠ΅: ΠΠΎΠ΄ΡΡΠ°Π²ΠΈΠΌ Π² ΡΡΠ°Π²Π½Π΅Π½ΠΈΠ΅ \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) =1 Π·Π½Π°ΡΠ΅Π½ΠΈΡ B ΠΈ C ΠΈ ΡΠΎΡΡΠ°Π²ΠΈΠΌ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ:
ΠΠΎΠ»ΡΡΠΈΠ²ΡΠ°ΡΡΡ ΡΠΎΡΠΌΡΠ»Π° \( ((z \in A) \Longrightarrow (z \in [2,10])) \vee (z \in [6,14])=1 \). ΠΠΎ ΡΡΠ»ΠΎΠ²ΠΈΡ βββ\( z \in A \)=1.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ Π²ΡΠ΅Ρ ΠΎΡΡΠ΅Π·ΠΊΠΎΠ²:
ΠΡΠ²Π΅Ρ: A = [3,11].
ΠΠΈΠ΄Π΅ΠΎ
ΠΠ°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅
ΠΠΎΡ ΠΡ ΠΈ ΠΏΠΎΠ·Π½Π°ΠΊΠΎΠΌΠΈΠ»ΠΈΡΡ Ρ ΠΎΡΠ½ΠΎΠ²Π½ΡΠΌΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΠΌΠΈ ΠΈ ΠΏΠΎΠ½ΡΡΠΈΡΠΌΠΈ ΠΈ Π·Π½Π°Π΅ΡΠ΅, ΡΡΠΎ ΡΠ°ΠΊΠΎΠ΅ Π±ΡΠ»Π΅Π²ΠΎ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΈ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅. ΠΡΠ»ΠΈ Π²Π°Ρ Π·Π°ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠΎΠ²Π°Π»Π° Π΄Π°Π½Π½Π°Ρ ΡΠ΅ΠΌΠ°, ΡΠΎ ΠΌΠΎΠΆΠ΅ΡΠ΅ ΠΈΠ·ΡΡΠΈΡΡ Π±ΡΠ»Π΅Π²Ρ Π·Π°ΠΊΠΎΠ½Ρ. ΠΡΠΈ Π·Π°ΠΊΠΎΠ½Ρ Π½Π΅ ΠΏΡΠΎΡ ΠΎΠ΄ΡΡΡΡ Π² ΡΠ°ΠΌΠΊΠ°Ρ ΡΠΊΠΎΠ»ΡΠ½ΠΎΠΉ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΡ ΠΈ ΡΠ»ΡΠΆΠ°Ρ Π΄Π»Ρ ΡΠΏΡΠΎΡΠ΅Π½ΠΈΡ ΡΠ»ΠΎΠΆΠ½ΡΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ
Π’Π΅ΠΎΡΠΈΡ ΠΊ Π·Π°Π΄Π°Π½ΠΈΡ 23 ΠΈΠ· ΠΠΠ ΠΏΠΎ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ΅
ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ
ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ
ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ (Π°Π½Π³Π». algebra of logic) β ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΠΎΡΠ½ΠΎΠ²Π½ΡΡ ΡΠ°Π·Π΄Π΅Π»ΠΎΠ² ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ, Π² ΠΊΠΎΡΠΎΡΠΎΠΌ ΠΌΠ΅ΡΠΎΠ΄Ρ Π°Π»Π³Π΅Π±ΡΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ Π² Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΡΡ .
ΠΡΠ½ΠΎΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΈΠΊΠΎΠΌ Π°Π»Π³Π΅Π±ΡΡ Π»ΠΎΠ³ΠΈΠΊΠΈ ΡΠ²Π»ΡΠ΅ΡΡΡ Π°Π½Π³Π»ΠΈΠΉΡΠΊΠΈΠΉ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊ ΠΈ Π»ΠΎΠ³ΠΈΠΊ ΠΠΆ. ΠΡΠ»Ρ (1815β1864), ΠΏΠΎΠ»ΠΎΠΆΠΈΠ²ΡΠΈΠΉ Π² ΠΎΡΠ½ΠΎΠ²Ρ ΡΠ²ΠΎΠ΅Π³ΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΡΠ΅Π½ΠΈΡ Π°Π½Π°Π»ΠΎΠ³ΠΈΡ ΠΌΠ΅ΠΆΠ΄Ρ Π°Π»Π³Π΅Π±ΡΠΎΠΉ ΠΈ Π»ΠΎΠ³ΠΈΠΊΠΎΠΉ. ΠΡΠ±ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΎΠ½ Π·Π°ΠΏΠΈΡΡΠ²Π°Π» Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² ΡΠ°Π·ΡΠ°Π±ΠΎΡΠ°Π½Π½ΠΎΠ³ΠΎ ΠΈΠΌ ΡΠ·ΡΠΊΠ° ΠΈ ΠΏΠΎΠ»ΡΡΠ°Π» Β«ΡΡΠ°Π²Π½Π΅Π½ΠΈΡΒ», ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΡ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎΡΡΡ ΠΊΠΎΡΠΎΡΡΡ ΠΌΠΎΠΆΠ½ΠΎ Π±ΡΠ»ΠΎ Π΄ΠΎΠΊΠ°Π·Π°ΡΡ, ΠΈΡΡ ΠΎΠ΄Ρ ΠΈΠ· ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π·Π°ΠΊΠΎΠ½ΠΎΠ², ΡΠ°ΠΊΠΈΡ ΠΊΠ°ΠΊ Π·Π°ΠΊΠΎΠ½Ρ ΠΊΠΎΠΌΠΌΡΡΠ°ΡΠΈΠ²Π½ΠΎΡΡΠΈ, Π΄ΠΈΡΡΡΠΈΠ±ΡΡΠΈΠ²Π½ΠΎΡΡΠΈ, Π°ΡΡΠΎΡΠΈΠ°ΡΠΈΠ²Π½ΠΎΡΡΠΈ ΠΈ Π΄Ρ.
Π‘ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½Π°Ρ Π°Π»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠ°Π·Π΄Π΅Π»ΠΎΠΌ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΈ ΠΈΠ·ΡΡΠ°Π΅Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π½Π°Π΄ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ Ρ ΡΠΎΡΠΊΠΈ Π·ΡΠ΅Π½ΠΈΡ ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΠΎΠ³ΠΎ Π·Π½Π°ΡΠ΅Π½ΠΈΡ (ΠΈΡΡΠΈΠ½Π°, Π»ΠΎΠΆΡ). ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ ΠΌΠΎΠ³ΡΡ Π±ΡΡΡ ΠΈΡΡΠΈΠ½Π½ΡΠΌΠΈ, Π»ΠΎΠΆΠ½ΡΠΌΠΈ ΠΈΠ»ΠΈ ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡ ΠΈΡΡΠΈΠ½Ρ ΠΈ Π»ΠΎΠΆΡ Π² ΡΠ°Π·Π½ΡΡ ΡΠΎΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΡΡ .
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ β ΡΡΠΎ Π»ΡΠ±ΠΎΠ΅ ΠΏΠΎΠ²Π΅ΡΡΠ²ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, Π² ΠΎΡΠ½ΠΎΡΠ΅Π½ΠΈΠΈ ΠΊΠΎΡΠΎΡΠΎΠ³ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎ ΡΡΠ²Π΅ΡΠΆΠ΄Π°ΡΡ, ΡΡΠΎ Π΅Π³ΠΎ ΡΠΎΠ΄Π΅ΡΠΆΠ°Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎ.
ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Β«3 ΡΠΌΠ½ΠΎΠΆΠΈΡΡ Π½Π° 3 ΡΠ°Π²Π½ΠΎ 9Β», Β«ΠΡΡ Π°Π½Π³Π΅Π»ΡΡΠΊ ΡΠ΅Π²Π΅ΡΠ½Π΅Π΅ ΠΠΎΠ»ΠΎΠ³Π΄ΡΒ» β ΠΈΡΡΠΈΠ½Π½ΡΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ, Π° Β«ΠΡΡΡ ΠΌΠ΅Π½ΡΡΠ΅ ΡΡΠ΅Ρ Β», Β«ΠΠ°ΡΡ β Π·Π²Π΅Π·Π΄Π°Β» β Π»ΠΎΠΆΠ½ΡΠ΅.
ΠΡΠ΅Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ Π½Π΅ Π²ΡΡΠΊΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ΠΌ, Ρ. ΠΊ. Π½Π΅ Π²ΡΠ΅Π³Π΄Π° Π΅ΡΡΡ ΡΠΌΡΡΠ» Π³ΠΎΠ²ΠΎΡΠΈΡΡ ΠΎ Π΅Π³ΠΎ Π»ΠΎΠΆΠ½ΠΎΡΡΠΈ ΠΈΠ»ΠΈ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ° β ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠ½ΡΠΉ ΠΏΡΠ΅Π΄ΠΌΠ΅ΡΒ» Π½Π΅ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΠΎ ΠΈ ΡΡΠ΅Π±ΡΠ΅Ρ Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡΠ΅Π»ΡΠ½ΡΡ ΡΠ²Π΅Π΄Π΅Π½ΠΈΠΉ, Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«ΠΠ»Ρ ΡΡΠ΅Π½ΠΈΠΊΠ° 10-Π ΠΊΠ»Π°ΡΡΠ° ΠΠ²Π°Π½ΠΎΠ²Π° Π. Π. ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ° β ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠ½ΡΠΉ ΠΏΡΠ΅Π΄ΠΌΠ΅ΡΒ» Π² Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡΠΈ ΠΎΡ ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠΎΠ² ΠΠ²Π°Π½ΠΎΠ²Π° Π. Π. ΠΌΠΎΠΆΠ΅Ρ ΠΏΡΠΈΠ½ΠΈΠΌΠ°ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Β«ΠΈΡΡΠΈΠ½Π°Β» ΠΈΠ»ΠΈ Β«Π»ΠΎΠΆΡΒ».
ΠΡΠΎΠΌΠ΅ Π΄Π²ΡΠ·Π½Π°ΡΠ½ΠΎΠΉ Π°Π»Π³Π΅Π±ΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ, Π² ΠΊΠΎΡΠΎΡΠΎΠΉ ΠΏΡΠΈΠ½ΠΈΠΌΠ°ΡΡΡΡ ΡΠΎΠ»ΡΠΊΠΎ Π΄Π²Π° Π·Π½Π°ΡΠ΅Π½ΠΈΡ β Β«ΠΈΡΡΠΈΠ½Π½ΠΎΒ» ΠΈ Β«Π»ΠΎΠΆΠ½ΠΎΒ», ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΌΠ½ΠΎΠ³ΠΎΠ·Π½Π°ΡΠ½Π°Ρ Π°Π»Π³Π΅Π±ΡΠ° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ. Π ΡΠ°ΠΊΠΎΠΉ Π°Π»Π³Π΅Π±ΡΠ΅, ΠΊΡΠΎΠΌΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Β«ΠΈΡΡΠΈΠ½Π½ΠΎΒ» ΠΈ Β«Π»ΠΎΠΆΠ½ΠΎΒ», ΡΠΏΠΎΡΡΠ΅Π±Π»ΡΡΡΡΡ ΡΠ°ΠΊΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ, ΠΊΠ°ΠΊ Β«Π²Π΅ΡΠΎΡΡΠ½ΠΎΒ», Β«Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΒ», Β«Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΒ» ΠΈ Ρ. Π΄.
Π Π°Π»Π³Π΅Π±ΡΠ΅ Π»ΠΎΠ³ΠΈΠΊΠΈ ΡΠ°Π·Π»ΠΈΡΠ°ΡΡΡΡ ΠΏΡΠΎΡΡΡΠ΅ (ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΡΠ½ΡΠ΅) Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ, ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΠΌΡΠ΅ Π»Π°ΡΠΈΠ½ΡΠΊΠΈΠΌΠΈ Π±ΡΠΊΠ²Π°ΠΌΠΈ (A, B, C, D, β¦), ΠΈ ΡΠ»ΠΎΠΆΠ½ΡΠ΅ (ΡΠΎΡΡΠ°Π²Π½ΡΠ΅), ΡΠΎΡΡΠ°Π²Π»Π΅Π½Π½ΡΠ΅ ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΈΡ ΠΏΡΠΎΡΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΡΠ²ΡΠ·ΠΎΠΊ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ ΡΠ°ΠΊΠΈΡ , ΠΊΠ°ΠΊ Β«Π½Π΅Β», Β«ΠΈΒ», Β«ΠΈΠ»ΠΈΒ», Β«ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°Β», Β«Π΅ΡΠ»ΠΈ β¦ ΡΠΎΒ». ΠΡΡΠΈΠ½Π½ΠΎΡΡΡ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎΡΡΡ ΠΏΠΎΠ»ΡΡΠ°Π΅ΠΌΡΡ ΡΠ°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ ΡΠ»ΠΎΠΆΠ½ΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΏΡΠΎΡΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ.
ΠΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ ΠΊΠ°ΠΊ Π Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ ΡΡΠΏΠ΅ΡΠ½ΠΎ ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅ΡΡΡ Π² ΡΠ΅ΠΎΡΠΈΠΈ ΡΠ»Π΅ΠΊΡΡΠΈΡΠ΅ΡΠΊΠΈΡ ΡΡ Π΅ΠΌΒ», Π° ΡΠ΅ΡΠ΅Π· Π β Β«ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅ΡΡΡ ΠΏΡΠΈ ΡΠΈΠ½ΡΠ΅Π·Π΅ ΡΠ΅Π»Π΅ΠΉΠ½ΠΎ-ΠΊΠΎΠ½ΡΠ°ΠΊΡΠ½ΡΡ ΡΡ Π΅ΠΌΒ».
Π’ΠΎΠ³Π΄Π° ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ ΡΡΠΏΠ΅ΡΠ½ΠΎ ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅ΡΡΡ Π² ΡΠ΅ΠΎΡΠΈΠΈ ΡΠ»Π΅ΠΊΡΡΠΈΡΠ΅ΡΠΊΠΈΡ ΡΠ΅ΠΏΠ΅ΠΉ ΠΈ ΠΏΡΠΈ ΡΠΈΠ½ΡΠ΅Π·Π΅ ΡΠ΅Π»Π΅ΠΉΠ½ΠΎ-ΠΊΠΎΠ½ΡΠ°ΠΊΡΠ½ΡΡ ΡΡ Π΅ΠΌΒ» ΠΌΠΎΠΆΠ½ΠΎ ΠΊΡΠ°ΡΠΊΠΎ Π·Π°ΠΏΠΈΡΠ°ΡΡ ΠΊΠ°ΠΊ Π ΠΈ Π; Π·Π΄Π΅ΡΡ Β«ΠΈΒ» β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΡΠ²ΡΠ·ΠΊΠ°. ΠΡΠ΅Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΡΠ½ΡΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ Π ΠΈ Π ΠΈΡΡΠΈΠ½Π½Ρ, ΡΠΎ ΠΈΡΡΠΈΠ½Π½ΠΎ ΠΈ ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π ΠΈ Π.
ΠΠ°ΠΆΠ΄Π°Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΡΠ²ΡΠ·ΠΊΠ° ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Π΅ΡΡΡ ΠΊΠ°ΠΊ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ Π½Π°Π΄ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ ΠΈ ΠΈΠΌΠ΅Π΅Ρ ΡΠ²ΠΎΠ΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ ΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠ΅.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π²ΡΠ΅Π³ΠΎ Π΄Π²Π°: ΠΈΡΡΠΈΠ½Π° (TRUE) ΠΈ Π»ΠΎΠΆΡ (FALSE). ΠΡΠΎ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΠ΅Ρ ΡΠΈΡΡΠΎΠ²ΠΎΠΌΡ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ΠΈΡ β 1 ΠΈ 0. Π Π΅Π·ΡΠ»ΡΡΠ°ΡΡ ΠΊΠ°ΠΆΠ΄ΠΎΠΉ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°ΡΡ Π² Π²ΠΈΠ΄Π΅ ΡΠ°Π±Π»ΠΈΡΡ. Π’Π°ΠΊΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡΡ Π½Π°Π·ΡΠ²Π°ΡΡ ΡΠ°Π±Π»ΠΈΡΠ°ΠΌΠΈ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ.
ΠΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π°Π»Π³Π΅Π±ΡΡ Π»ΠΎΠ³ΠΈΠΊΠΈ
1. ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅, ΠΈΠ½Π²Π΅ΡΡΠΈΡ (Π»Π°Ρ. inversion β ΠΏΠ΅ΡΠ΅Π²ΠΎΡΠ°ΡΠΈΠ²Π°Π½ΠΈΠ΅) β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ ΠΊΠΎΡΠΎΡΠΎΠΉ ΠΈΠ· Π΄Π°Π½Π½ΠΎΠ³ΠΎ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ (Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, Π) ΠΏΠΎΠ»ΡΡΠ°Π΅ΡΡΡ Π½ΠΎΠ²ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ (Π½Π΅ Π), ΠΊΠΎΡΠΎΡΠΎΠ΅ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ΠΌ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠ³ΠΎ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ, ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΈ ΡΠ΅ΡΡΠΎΠΉ ΡΠ²Π΅ΡΡ Ρ ($A↖<->$) ΠΈΠ»ΠΈ ΡΠ°ΠΊΠΈΠΌΠΈ ΡΡΠ»ΠΎΠ²Π½ΡΠΌΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡΠΌΠΈ, ΠΊΠ°ΠΊ Β¬, ‘not’, ΠΈ ΡΠΈΡΠ°Π΅ΡΡΡ: Β«Π½Π΅ ΠΒ», Β«Π Π»ΠΎΠΆΠ½ΠΎΒ», Β«Π½Π΅Π²Π΅ΡΠ½ΠΎ, ΡΡΠΎ ΠΒ», Β«ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ ΠΒ». ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Β«ΠΠ°ΡΡ β ΠΏΠ»Π°Π½Π΅ΡΠ° Π‘ΠΎΠ»Π½Π΅ΡΠ½ΠΎΠΉ ΡΠΈΡΡΠ΅ΠΌΡΒ» (Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π); Β«ΠΠ°ΡΡ β Π½Π΅ ΠΏΠ»Π°Π½Π΅ΡΠ° Π‘ΠΎΠ»Π½Π΅ΡΠ½ΠΎΠΉ ΡΠΈΡΡΠ΅ΠΌΡΒ» ($A↖<->$); Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«10 β ΠΏΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎΒ» (Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π) Π»ΠΎΠΆΠ½ΠΎ; Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«10 β Π½Π΅ ΠΏΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎΒ» (Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ B ) ΠΈΡΡΠΈΠ½Π½ΠΎ.
ΠΠΏΠ΅ΡΠ°ΡΠΈΡ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌΠ°Ρ ΠΎΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½ΠΎ ΠΎΠ΄Π½ΠΎΠΉ Π²Π΅Π»ΠΈΡΠΈΠ½Ρ, Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠ½Π°ΡΠ½ΠΎΠΉ. Π’Π°Π±Π»ΠΈΡΠ° Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π΄Π°Π½Π½ΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
A | Β¬A |
ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ |
Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° |
2. ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ (Π»Π°Ρ. conjunctio β ΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅) β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, ΡΡΠ΅Π±ΡΡΡΠ°Ρ ΠΊΠ°ΠΊ ΠΌΠΈΠ½ΠΈΠΌΡΠΌ Π΄Π²ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π²Π΅Π»ΠΈΡΠΈΠ½ (ΠΎΠΏΠ΅ΡΠ°Π½Π΄ΠΎΠ²) ΠΈ ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡΡΠ°Ρ Π΄Π²Π° ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΡΠ²ΡΠ·ΠΊΠΈ Β«ΠΈΒ» (Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, Β«Π ΠΈ ΠΒ»), ΠΊΠΎΡΠΎΡΠ°Ρ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π·Π½Π°ΠΊΠ° β§ (Π β§ Π) ΠΈ ΡΠΈΡΠ°Π΅ΡΡΡ: Β«Π ΠΈ ΠΒ». ΠΠ»Ρ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΡΠΈΠΌΠ΅Π½ΡΡΡΡΡ ΡΠ°ΠΊΠΆΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ Π·Π½Π°ΠΊΠΈ: Π β Π; Π & Π, Π and Π, Π° ΠΈΠ½ΠΎΠ³Π΄Π° ΠΌΠ΅ΠΆΠ΄Ρ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ Π½Π΅ ΡΡΠ°Π²ΠΈΡΡΡ Π½ΠΈΠΊΠ°ΠΊΠΎΠ³ΠΎ Π·Π½Π°ΠΊΠ°: ΠΠ. ΠΡΠΈΠΌΠ΅Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΡ: Β«ΠΡΠΎΡ ΡΡΠ΅ΡΠ³ΠΎΠ»ΡΠ½ΠΈΠΊ ΡΠ°Π²Π½ΠΎΠ±Π΅Π΄ΡΠ΅Π½Π½ΡΠΉ ΠΈ ΠΏΡΡΠΌΠΎΡΠ³ΠΎΠ»ΡΠ½ΡΠΉΒ». ΠΠ°Π½Π½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΠΈΡΡΠΈΠ½Π½ΡΠΌ ΡΠΎΠ»ΡΠΊΠΎ Π² ΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅, Π΅ΡΠ»ΠΈ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ ΠΎΠ±Π° ΡΡΠ»ΠΎΠ²ΠΈΡ, Π² ΠΏΡΠΎΡΠΈΠ²Π½ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
A | B | A β§ B |
ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ |
Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ |
Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ |
ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° |
A | B | A β§ B |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 0 |
1 | 1 | 1 |
ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π β§ Π ΠΈΡΡΠΈΠ½Π½ΠΎ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ β Π ΠΈ Π ΠΈΡΡΠΈΠ½Π½Ρ.
ΠΠ΅ΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΠΈ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠ΅Π΄ΡΡΠ°Π²ΠΈΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ: Π΅ΡΠ»ΠΈ Π, Π β ΡΡΠΎ Π½Π΅ΠΊΠΎΡΠΎΡΡΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΡΠΎΡΠ΅ΠΊ, ΡΠΎ Π β§ Π Π΅ΡΡΡ ΠΏΠ΅ΡΠ΅ΡΠ΅ΡΠ΅Π½ΠΈΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² Π ΠΈ Π.
3. ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ (Π»Π°Ρ. disjunction β ΡΠ°Π·Π΄Π΅Π»Π΅Π½ΠΈΠ΅) β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡΡΠ°Ρ Π΄Π²Π° ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΡΠ²ΡΠ·ΠΊΠΈ Β«ΠΈΠ»ΠΈΒ» (Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, Β«Π ΠΈΠ»ΠΈ ΠΒ»), ΠΊΠΎΡΠΎΡΠ°Ρ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π·Π½Π°ΠΊΠ° β¨ (Π β¨ Π) ΠΈ ΡΠΈΡΠ°Π΅ΡΡΡ: Β«Π ΠΈΠ»ΠΈ ΠΒ». ΠΠ»Ρ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΡΠΈΠΌΠ΅Π½ΡΡΡΡΡ ΡΠ°ΠΊΠΆΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ Π·Π½Π°ΠΊΠΈ: Π + Π; Π or Π; Π | B. ΠΡΠΈΠΌΠ΅Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ: Β«Π§ΠΈΡΠ»ΠΎ x Π΄Π΅Π»ΠΈΡΡΡ Π½Π° 3 ΠΈΠ»ΠΈ Π½Π° 5Β». ΠΡΠΎ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π±ΡΠ΄Π΅Ρ ΠΈΡΡΠΈΠ½Π½ΡΠΌ, Π΅ΡΠ»ΠΈ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ ΠΎΠ±Π° ΡΡΠ»ΠΎΠ²ΠΈΡ ΠΈΠ»ΠΈ Ρ ΠΎΡΡ Π±Ρ ΠΎΠ΄Π½ΠΎ ΠΈΠ· ΡΡΠ»ΠΎΠ²ΠΈΠΉ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
A | B | A β¨ B |
ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° |
Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° |
Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ |
ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° |
A | B | A β¨ B |
1 | 0 | 1 |
0 | 1 | 1 |
0 | 0 | 0 |
1 | 1 | 1 |
ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π β¨ Π Π»ΠΎΠΆΠ½ΠΎ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ β Π ΠΈ Π Π»ΠΎΠΆΠ½Ρ.
ΠΠ΅ΠΎΠΌΠ΅ΡΡΠΈΡΠ΅ΡΠΊΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡΠ΅Π΄ΡΡΠ°Π²ΠΈΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ: Π΅ΡΠ»ΠΈ Π, Π β ΡΡΠΎ Π½Π΅ΠΊΠΎΡΠΎΡΡΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π° ΡΠΎΡΠ΅ΠΊ, ΡΠΎ Π β¨ Π β ΡΡΠΎ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² Π ΠΈ Π, Ρ. Π΅. ΡΠΈΠ³ΡΡΠ°, ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½ΡΡΡΠ°Ρ ΠΈ ΠΊΠ²Π°Π΄ΡΠ°Ρ, ΠΈ ΠΊΡΡΠ³.
4. ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ ΡΡΡΠΎΠ³ΠΎ-ΡΠ°Π·Π΄Π΅Π»ΠΈΡΠ΅Π»ΡΠ½Π°Ρ, ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ Π΄Π²Π° β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡΡΠ°Ρ Π΄Π²Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΡΠ²ΡΠ·ΠΊΠΈ Β«ΠΈΠ»ΠΈΒ», ΡΠΏΠΎΡΡΠ΅Π±Π»Π΅Π½Π½ΠΎΠΉ Π² ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠ΅ΠΌ ΡΠΌΡΡΠ»Π΅, ΠΊΠΎΡΠΎΡΠ°Ρ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π·Π½Π°ΠΊΠΎΠ² β¨ β¨ ΠΈΠ»ΠΈ β (Π β¨ β¨ Π, Π β Π) ΠΈ ΡΠΈΡΠ°Π΅ΡΡΡ: Β«Π»ΠΈΠ±ΠΎ Π, Π»ΠΈΠ±ΠΎ ΠΒ». ΠΡΠΈΠΌΠ΅Ρ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ Π΄Π²Π° β Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«ΠΡΠΎΡ ΡΡΠ΅ΡΠ³ΠΎΠ»ΡΠ½ΠΈΠΊ ΡΡΠΏΠΎΡΠ³ΠΎΠ»ΡΠ½ΡΠΉ ΠΈΠ»ΠΈ ΠΎΡΡΡΠΎΡΠ³ΠΎΠ»ΡΠ½ΡΠΉΒ». ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ, Π΅ΡΠ»ΠΈ Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ ΠΊΠ°ΠΊΠΎΠ΅-ΡΠΎ ΠΎΠ΄Π½ΠΎ ΠΈΠ· ΡΡΠ»ΠΎΠ²ΠΈΠΉ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
Π | Π | Π β B |
ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° |
Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° |
Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ |
ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ |
Π | Π | Π β B |
1 | 0 | 1 |
0 | 1 | 1 |
0 | 0 | 0 |
1 | 1 | 0 |
ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π β Π ΠΈΡΡΠΈΠ½Π½ΠΎ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ Π ΠΈ Π ΠΈΠΌΠ΅ΡΡ ΡΠ°Π·Π»ΠΈΡΠ½ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ.
5. ΠΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ (Π»Π°Ρ. implisito β ΡΠ΅ΡΠ½ΠΎ ΡΠ²ΡΠ·ΡΠ²Π°Ρ) β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡΡΠ°Ρ Π΄Π²Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΡΠ²ΡΠ·ΠΊΠΈ Β«Π΅ΡΠ»ΠΈ. ΡΠΎΒ» Π² ΡΠ»ΠΎΠΆΠ½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅, ΠΊΠΎΡΠΎΡΠΎΠ΅ ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π·Π½Π°ΠΊΠ° β (Π β Π) ΠΈ ΡΠΈΡΠ°Π΅ΡΡΡ: Β«Π΅ΡΠ»ΠΈ Π, ΡΠΎ ΠΒ», Β«Π Π²Π»Π΅ΡΠ΅Ρ ΠΒ», Β«ΠΈΠ· Π ΡΠ»Π΅Π΄ΡΠ΅Ρ ΠΒ», Β«Π ΠΈΠΌΠΏΠ»ΠΈΡΠΈΡΡΠ΅Ρ ΠΒ». ΠΠ»Ρ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠΈ ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅ΡΡΡ ΡΠ°ΠΊΠΆΠ΅ Π·Π½Π°ΠΊ β (A β B). ΠΡΠΈΠΌΠ΅Ρ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠΈ: Β«ΠΡΠ»ΠΈ ΠΏΠΎΠ»ΡΡΠ΅Π½Π½ΡΠΉ ΡΠ΅ΡΡΡΠ΅Ρ ΡΠ³ΠΎΠ»ΡΠ½ΠΈΠΊ ΠΊΠ²Π°Π΄ΡΠ°Ρ, ΡΠΎ ΠΎΠΊΠΎΠ»ΠΎ Π½Π΅Π³ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΠΈΡΠ°ΡΡ ΠΎΠΊΡΡΠΆΠ½ΠΎΡΡΡΒ». ΠΡΠ° ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ ΡΠ²ΡΠ·ΡΠ²Π°Π΅Ρ Π΄Π²Π° ΠΏΡΠΎΡΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ, ΠΈΠ· ΠΊΠΎΡΠΎΡΡΡ ΠΏΠ΅ΡΠ²ΠΎΠ΅ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ΠΌ, Π° Π²ΡΠΎΡΠΎΠ΅ β ΡΠ»Π΅Π΄ΡΡΠ²ΠΈΠ΅ΠΌ. Π Π΅Π·ΡΠ»ΡΡΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π»ΠΎΠΆΠ΅Π½ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΏΡΠ΅Π΄ΠΏΠΎΡΡΠ»ΠΊΠ° Π΅ΡΡΡ ΠΈΡΡΠΈΠ½Π°, Π° ΡΠ»Π΅Π΄ΡΡΠ²ΠΈΠ΅ β Π»ΠΎΠΆΡ. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Β«ΠΡΠ»ΠΈ 3 * 3 = 9 (Π), ΡΠΎ Π‘ΠΎΠ»Π½ΡΠ΅ β ΠΏΠ»Π°Π½Π΅ΡΠ° (Π)Β», ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠΈ Π β Π β Π»ΠΎΠΆΡ.
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
Π | Π | Π β Π |
ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ |
Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° |
Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° |
ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° |
Π | Π | Π β Π |
1 | 0 | 0 |
0 | 1 | 1 |
0 | 0 | 1 |
1 | 1 | 1 |
ΠΠ»Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΠΈ ΡΠΏΡΠ°Π²Π΅Π΄Π»ΠΈΠ²ΠΎ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅, ΡΡΠΎ ΠΈΠ· Π»ΠΆΠΈ ΠΌΠΎΠΆΠ΅Ρ ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΡ Π²ΡΠ΅ ΡΡΠΎ ΡΠ³ΠΎΠ΄Π½ΠΎ, Π° ΠΈΠ· ΠΈΡΡΠΈΠ½Ρ β ΡΠΎΠ»ΡΠΊΠΎ ΠΈΡΡΠΈΠ½Π°.
6. ΠΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΡ, Π΄Π²ΠΎΠΉΠ½Π°Ρ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ, ΡΠ°Π²Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎΡΡΡ (Π»Π°Ρ. aequalis β ΡΠ°Π²Π½ΡΠΉ ΠΈ valentis β ΠΈΠΌΠ΅ΡΡΠΈΠΉ ΡΠΈΠ»Ρ) β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡΡΠ°Ρ ΠΈΠ· Π΄Π²ΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ Π ΠΈ Π ΠΏΠΎΠ»ΡΡΠΈΡΡ Π½ΠΎΠ²ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π β‘ Π, ΠΊΠΎΡΠΎΡΠΎΠ΅ ΡΠΈΡΠ°Π΅ΡΡΡ: Β«Π ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎ BΒ». ΠΠ»Ρ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΠΈ ΠΏΡΠΈΠΌΠ΅Π½ΡΡΡΡΡ ΡΠ°ΠΊΠΆΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ Π·Π½Π°ΠΊΠΈ: β, βΌ. ΠΡΠ° ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ Π²ΡΡΠ°ΠΆΠ΅Π½Π° ΡΠ²ΡΠ·ΠΊΠ°ΠΌΠΈ Β«ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°Β», Β«Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΠΈ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎΒ», Β«ΡΠ°Π²Π½ΠΎΡΠΈΠ»ΡΠ½ΠΎΒ». ΠΡΠΈΠΌΠ΅ΡΠΎΠΌ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΠΈ ΡΠ²Π»ΡΠ΅ΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅: Β«Π’ΡΠ΅ΡΠ³ΠΎΠ»ΡΠ½ΠΈΠΊ Π±ΡΠ΄Π΅Ρ ΠΏΡΡΠΌΠΎΡΠ³ΠΎΠ»ΡΠ½ΡΠΌ ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΡΠ³Π»ΠΎΠ² ΡΠ°Π²Π΅Π½ 90 Π³ΡΠ°Π΄ΡΡΠ°ΠΌΒ».
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
Π | Π | Π βΌ Π |
ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ |
Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° | Π»ΠΎΠΆΡ |
Π»ΠΎΠΆΡ | Π»ΠΎΠΆΡ | ΠΈΡΡΠΈΠ½Π° |
ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° | ΠΈΡΡΠΈΠ½Π° |
Π | Π | Π βΌ Π |
1 | 0 | 0 |
0 | 1 | 0 |
0 | 0 | 1 |
1 | 1 | 1 |
ΠΠΏΠ΅ΡΠ°ΡΠΈΡ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΠΈ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Π° ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ Π΄Π²Π° ΠΈ ΠΈΠΌΠ΅Π΅Ρ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ Β«ΠΈΡΡΠΈΠ½Π°Β» ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡΡ.
ΠΠ½Π°Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΏΡΠΎΡΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ, ΠΌΠΎΠΆΠ½ΠΎ Π½Π° ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΈΠΈ ΡΠ°Π±Π»ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΡΠ»ΠΎΠΆΠ½ΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ. ΠΡΠΈ ΡΡΠΎΠΌ Π²Π°ΠΆΠ½ΠΎ Π·Π½Π°ΡΡ, ΡΡΠΎ Π΄Π»Ρ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ΠΈΡ Π»ΡΠ±ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ Π°Π»Π³Π΅Π±ΡΡ Π»ΠΎΠ³ΠΈΠΊΠΈ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ ΡΡΠ΅Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ: ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ, Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠΈ ΠΈ ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ.
Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ Π΄Π²Π° | Π β Π | $(A↖ <->β§B) β§ (A β§ B↖<->)$ |
ΠΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ | Π β Π | $A↖ <->β¨ B$ |
ΠΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΡΡΡ | Π βΌ Π | $(A↖ <->β§ B↖<->) β¨ (A β§ B)$ |
ΠΡΠΈΠΎΡΠΈΡΠ΅Ρ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΉ: ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ (Β«Π½Π΅Β») ΠΈΠΌΠ΅Π΅Ρ ΡΠ°ΠΌΡΠΉ Π²ΡΡΠΎΠΊΠΈΠΉ ΠΏΡΠΈΠΎΡΠΈΡΠ΅Ρ, Π·Π°ΡΠ΅ΠΌ Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΡΡ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ (Β«ΠΈΒ»), ΠΏΠΎΡΠ»Π΅ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ β Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ (Β«ΠΈΠ»ΠΈΒ»).
Π‘ ΠΏΠΎΠΌΠΎΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ Π»ΡΠ±ΠΎΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΡΠΎΡΠΌΠ°Π»ΠΈΠ·ΠΎΠ²Π°ΡΡ, Ρ. Π΅. Π·Π°ΠΌΠ΅Π½ΠΈΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΠΎΡΠΌΡΠ»ΠΎΠΉ. ΠΡΠΈ ΡΡΠΎΠΌ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΡΠ½ΡΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ, ΠΎΠ±ΡΠ°Π·ΡΡΡΠΈΠ΅ ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅, ΠΌΠΎΠ³ΡΡ Π±ΡΡΡ Π°Π±ΡΠΎΠ»ΡΡΠ½ΠΎ Π½Π΅ ΡΠ²ΡΠ·Π°Π½Ρ ΠΏΠΎ ΡΠΌΡΡΠ»Ρ, Π½ΠΎ ΡΡΠΎ Π½Π΅ ΠΌΠ΅ΡΠ°Π΅Ρ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΡ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎΡΡΡ ΡΠΎΡΡΠ°Π²Π½ΠΎΠ³ΠΎ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«ΠΡΠ»ΠΈ ΠΏΡΡΡ Π±ΠΎΠ»ΡΡΠ΅ Π΄Π²ΡΡ (Π), ΡΠΎ Π²ΡΠΎΡΠ½ΠΈΠΊ Π²ΡΠ΅Π³Π΄Π° Π½Π°ΡΡΡΠΏΠ°Π΅Ρ ΠΏΠΎΡΠ»Π΅ ΠΏΠΎΠ½Π΅Π΄Π΅Π»ΡΠ½ΠΈΠΊΠ° (Π)Β» β ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡ Π β Π, ΠΈ ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π² Π΄Π°Π½Π½ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ β Β«ΠΈΡΡΠΈΠ½Π°Β». Π Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡΡ ΡΠΌΡΡΠ» Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ Π½Π΅ ΡΡΠΈΡΡΠ²Π°Π΅ΡΡΡ, ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Π΅ΡΡΡ ΡΠΎΠ»ΡΠΊΠΎ ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΡ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎΡΡΡ.
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΠ΅ ΡΠΎΡΡΠ°Π²Π½ΠΎΠ³ΠΎ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ ΠΈΠ· Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ Π ΠΈ Π, ΠΊΠΎΡΠΎΡΠΎΠ΅ Π±ΡΠ»ΠΎ Π±Ρ Π»ΠΎΠΆΠ½ΠΎ ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ ΠΈΡΡΠΈΠ½Π½Ρ. Π ΡΠ°Π±Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΏΠΎ ΠΌΠΎΠ΄ΡΠ»Ρ Π΄Π²Π° Π½Π°Ρ ΠΎΠ΄ΠΈΠΌ: 1 β 1 = 0. Π Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ, Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, ΡΠ°ΠΊΠΈΠΌ: Β«ΠΡΠΎΡ ΠΌΡΡ ΠΏΠΎΠ»Π½ΠΎΡΡΡΡ ΠΊΡΠ°ΡΠ½ΡΠΉ ΠΈΠ»ΠΈ ΠΏΠΎΠ»Π½ΠΎΡΡΡΡ ΡΠΈΠ½ΠΈΠΉΒ». Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π΅ΡΠ»ΠΈ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Π Β«ΠΡΠΎΡ ΠΌΡΡ ΠΏΠΎΠ»Π½ΠΎΡΡΡΡ ΠΊΡΠ°ΡΠ½ΡΠΉΒ» β ΠΈΡΡΠΈΠ½Π°, ΠΈ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Π Β«ΠΡΠΎΡ ΠΌΡΡ ΠΏΠΎΠ»Π½ΠΎΡΡΡΡ ΡΠΈΠ½ΠΈΠΉΒ» β ΠΈΡΡΠΈΠ½Π°, ΡΠΎ ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ β Π»ΠΎΠΆΡ, Ρ. ΠΊ. ΠΎΠ΄Π½ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎ ΠΈ ΠΊΡΠ°ΡΠ½ΡΠΌ, ΠΈ ΡΠΈΠ½ΠΈΠΌ ΠΌΡΡ Π±ΡΡΡ Π½Π΅ ΠΌΠΎΠΆΠ΅Ρ.
ΠΡΠΈΠΌΠ΅ΡΡ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ
ΠΡΠΈΠΌΠ΅Ρ 3. ΠΠ»Ρ ΠΊΠ°ΠΊΠΈΡ ΠΈΠ· ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π½ΡΡ ΡΠ»ΠΎΠ² Π»ΠΎΠΆΠ½ΠΎ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β¬(ΠΏΠ΅ΡΠ²Π°Ρ Π±ΡΠΊΠ²Π° Π³Π»Π°ΡΠ½Π°Ρ β§ ΡΡΠ΅ΡΡΡ Π±ΡΠΊΠ²Π° Π³Π»Π°ΡΠ½Π°Ρ) β ΡΡΡΠΎΠΊΠ° ΠΈΠ· 4 ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ²? 1) Π°ΡΡΠ°; 2) ΠΊΡΠΊΡ; 3) ΠΊΡΠΊΡΡΡΠ·Π°; 4) ΠΎΡΠΈΠ±ΠΊΠ°; 5) ΡΠΈΠ»Π°Ρ.
Π Π΅ΡΠ΅Π½ΠΈΠ΅. Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ Π²ΡΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½Π½ΡΠ΅ ΡΠ»ΠΎΠ²Π°:
1) Π΄Π»Ρ ΡΠ»ΠΎΠ²Π° Π°ΡΡΠ° ΠΏΠΎΠ»ΡΡΠΈΠΌ: Β¬(1 β§ 0) β 1, 1 β 1 β Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ;
2) Π΄Π»Ρ ΡΠ»ΠΎΠ²Π° ΠΊΡΠΊΡ ΠΏΠΎΠ»ΡΡΠΈΠΌ: Β¬ (0 β§ 0) β 1, 1 β 1 β Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ;
3) Π΄Π»Ρ ΡΠ»ΠΎΠ²Π° ΠΊΡΠΊΡΡΡΠ·Π° ΠΏΠΎΠ»ΡΡΠΈΠΌ: Β¬ (0 β§ 0) β 0, 1 β 0 β Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ;
4) Π΄Π»Ρ ΡΠ»ΠΎΠ²Π° ΠΎΡΠΈΠ±ΠΊΠ° ΠΏΠΎΠ»ΡΡΠΈΠΌ: Β¬ (1 β§ 1) β 0, 0 β 0 β Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ;
5) Π΄Π»Ρ ΡΠ»ΠΎΠ²Π° ΡΠΈΠ»Π°Ρ ΠΏΠΎΠ»ΡΡΠΈΠΌ: Β¬ (0 β§ 0) β 1, 1 β 0 β Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ ΠΈ ΠΈΡ ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΠ΅
ΠΠΎΠ΄ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΡΠ»Π΅Π΄ΡΠ΅Ρ ΠΏΠΎΠ½ΠΈΠΌΠ°ΡΡ ΡΠ°ΠΊΡΡ Π·Π°ΠΏΠΈΡΡ, ΠΊΠΎΡΠΎΡΠ°Ρ ΠΌΠΎΠΆΠ΅Ρ ΠΏΡΠΈΠ½ΠΈΠΌΠ°ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Β«ΠΈΡΡΠΈΠ½Π°Β» ΠΈΠ»ΠΈ Β«Π»ΠΎΠΆΡΒ». ΠΡΠΈ ΡΠ°ΠΊΠΎΠΌ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠΈ ΡΡΠ΅Π΄ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΡΠ°Π·Π»ΠΈΡΠ°ΡΡ:
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ ΠΌΠΎΠ³ΡΡ Π²ΠΊΠ»ΡΡΠ°ΡΡ Π² ΡΠ΅Π±Ρ ΡΡΠ½ΠΊΡΠΈΠΈ, Π°Π»Π³Π΅Π±ΡΠ°ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ, ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΡΡΠ°Π²Π½Π΅Π½ΠΈΡ ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ. Π ΡΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΠΏΡΠΈΠΎΡΠΈΡΠ΅Ρ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π΄Π΅ΠΉΡΡΠ²ΠΈΠΉ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΉ:
Π Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΌ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΈ ΠΌΠΎΠ³ΡΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡΡΡ ΡΠΊΠΎΠ±ΠΊΠΈ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΈΠ·ΠΌΠ΅Π½ΡΡΡ ΠΏΠΎΡΡΠ΄ΠΎΠΊ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ.
ΠΡΠΈΠΌΠ΅Ρ. ΠΠ°ΠΉΡΠΈ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ:
Π Π΅ΡΠ΅Π½ΠΈΠ΅. ΠΠΎΡΡΠ΄ΠΎΠΊ ΠΏΠΎΠ΄ΡΡΠ΅ΡΠ° Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ:
1) b a + a b > a + b, ΠΏΠΎΡΠ»Π΅ ΠΏΠΎΠ΄ΡΡΠ°Π½ΠΎΠ²ΠΊΠΈ ΠΏΠΎΠ»ΡΡΠΈΠΌ: 3 2 + 2 3 > 2 + 3, Ρ. Π΅. 17 > 2 + 3 = ΠΈΡΡΠΈΠ½Π°;
2) A β§ B = ΠΈΡΡΠΈΠ½Π° β§ Π»ΠΎΠΆΡ = Π»ΠΎΠΆΡ.
Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ Π² ΡΠΊΠΎΠ±ΠΊΠ°Ρ ΡΠ°Π²Π½ΠΎ (b a + a b > a + b β¨ A β§ B) = ΠΈΡΡΠΈΠ½Π° β¨ Π»ΠΎΠΆΡ = ΠΈΡΡΠΈΠ½Π°;
3) 1β€ a = 1 β€ 2 = ΠΈΡΡΠΈΠ½Π°;
ΠΠ· Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² ΡΠΎΡΡΠ°Π²Π»ΡΡΡΡΡ ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΡΡ Π΅ΠΌΡ, Π²ΡΠΏΠΎΠ»Π½ΡΡΡΠΈΠ΅ Π±ΠΎΠ»Π΅Π΅ ΡΠ»ΠΎΠΆΠ½ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ. ΠΠ°Π±ΠΎΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ², ΡΠΎΡΡΠΎΡΡΠΈΠΉ ΠΈΠ· ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ² ΠΠ, ΠΠΠ, Π, Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΠΊΠΎΡΠΎΡΡΡ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠΎΡΡΡΠΎΠΈΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΡΡ ΡΡΡΡΠΊΡΡΡΡ Π»ΡΠ±ΠΎΠΉ ΡΠ»ΠΎΠΆΠ½ΠΎΡΡΠΈ, Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΡΠ½ΠΊΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎ ΠΏΠΎΠ»Π½ΡΠΌ.
ΠΠΎΡΡΡΠΎΠ΅Π½ΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ
ΠΠ»Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΠΎΡΠΌΡΠ»Ρ Π²ΡΠ΅Π³Π΄Π° ΠΌΠΎΠΆΠ½ΠΎ Π·Π°ΠΏΠΈΡΠ°ΡΡ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ, Ρ. Π΅. ΠΏΡΠ΅Π΄ΡΡΠ°Π²ΠΈΡΡ Π·Π°Π΄Π°Π½Π½ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΡΡ ΡΡΠ½ΠΊΡΠΈΡ Π² ΡΠ°Π±Π»ΠΈΡΠ½ΠΎΠΌ Π²ΠΈΠ΄Π΅. Π ΡΡΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΡΠ°Π±Π»ΠΈΡΠ° Π΄ΠΎΠ»ΠΆΠ½Π° ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΡ Π²ΡΠ΅ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΠ΅ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°ΡΠΈΠΈ Π°ΡΠ³ΡΠΌΠ΅Π½ΡΠΎΠ² ΡΡΠ½ΠΊΡΠΈΠΈ (ΡΠΎΡΠΌΡΠ»Ρ) ΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠΈΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΡΡΠ½ΠΊΡΠΈΠΈ (ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΡ ΡΠΎΡΠΌΡΠ»Ρ Π½Π° Π·Π°Π΄Π°Π½Π½ΠΎΠΌ Π½Π°Π±ΠΎΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ).
ΠΡΠ»ΠΈ ΡΡΠ½ΠΊΡΠΈΡ ΠΏΡΠΈΠ½ΠΈΠΌΠ°Π΅Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ 1 ΠΏΡΠΈ Π²ΡΠ΅Ρ Π½Π°Π±ΠΎΡΠ°Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ , ΠΎΠ½Π° ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π΅Π½Π½ΠΎ-ΠΈΡΡΠΈΠ½Π½ΠΎΠΉ; Π΅ΡΠ»ΠΈ ΠΏΡΠΈ Π²ΡΠ΅Ρ Π½Π°Π±ΠΎΡΠ°Ρ Π²Ρ ΠΎΠ΄Π½ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ ΡΡΠ½ΠΊΡΠΈΡ ΠΏΡΠΈΠ½ΠΈΠΌΠ°Π΅Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ 0, ΠΎΠ½Π° ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π΅Π½Π½ΠΎ-Π»ΠΎΠΆΠ½ΠΎΠΉ; Π΅ΡΠ»ΠΈ Π½Π°Π±ΠΎΡ Π²ΡΡ ΠΎΠ΄Π½ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ ΠΊΠ°ΠΊ 0, ΡΠ°ΠΊ ΠΈ 1, ΡΡΠ½ΠΊΡΠΈΡ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ Π²ΡΠΏΠΎΠ»Π½ΠΈΠΌΠΎΠΉ. ΠΡΠΈΠ²Π΅Π΄Π΅Π½Π½ΡΠΉ Π²ΡΡΠ΅ ΠΏΡΠΈΠΌΠ΅Ρ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΠΈΠΌΠ΅ΡΠΎΠΌ ΡΠΎΠΆΠ΄Π΅ΡΡΠ²Π΅Π½Π½ΠΎ-ΠΈΡΡΠΈΠ½Π½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ.
ΠΠ½Π°Ρ Π°Π½Π°Π»ΠΈΡΠΈΡΠ΅ΡΠΊΡΡ ΡΠΎΡΠΌΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ, Π²ΡΠ΅Π³Π΄Π° ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠ΅ΡΠ΅ΠΉΡΠΈ ΠΊ ΡΠ°Π±Π»ΠΈΡΠ½ΠΎΠΉ ΡΠΎΡΠΌΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΡΡΠ½ΠΊΡΠΈΠΉ. Π‘ ΠΏΠΎΠΌΠΎΡΡΡ Π·Π°Π΄Π°Π½Π½ΠΎΠΉ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΡΠ΅ΡΠΈΡΡ ΠΎΠ±ΡΠ°ΡΠ½ΡΡ Π·Π°Π΄Π°ΡΡ, Π° ΠΈΠΌΠ΅Π½Π½ΠΎ: Π΄Π»Ρ Π·Π°Π΄Π°Π½Π½ΠΎΠΉ ΡΠ°Π±Π»ΠΈΡΡ ΠΏΠΎΡΡΡΠΎΠΈΡΡ Π°Π½Π°Π»ΠΈΡΠΈΡΠ΅ΡΠΊΡΡ ΡΠΎΡΠΌΡΠ»Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ. Π Π°Π·Π»ΠΈΡΠ°ΡΡ Π΄Π²Π΅ ΡΠΎΡΠΌΡ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ Π°Π½Π°Π»ΠΈΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΠΎ ΡΠ°Π±Π»ΠΈΡΠ½ΠΎ Π·Π°Π΄Π°Π½Π½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ.
1. ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠ²Π½ΠΎ Π½ΠΎΡΠΌΠ°Π»ΡΠ½Π°Ρ ΡΠΎΡΠΌΠ° (ΠΠΠ€) β ΡΡΠΌΠΌΠ° ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ, ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½Π½ΡΡ ΠΈΠ· ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΠΈ ΠΈΡ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠΉ Π΄Π»Ρ Π»ΠΎΠΆΠ½ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ.
ΠΠ»Π³ΠΎΡΠΈΡΠΌ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΠΠΠ€ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΉ:
ΠΡΠΈΠΌΠ΅Ρ. ΠΠΎΡΡΡΠΎΠΈΡΡ ΡΡΠ½ΠΊΡΠΈΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΡΡ, ΡΡΠΎ ΠΏΠ΅ΡΠ²ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ ΡΠ°Π²Π½ΠΎ Π²ΡΠΎΡΠΎΠΌΡ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ ΠΌΠ΅ΡΠΎΠ΄ ΠΠΠ€. Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
X1 | X2 | F(X1, X2) |
1 | 1 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
0 | 0 | 1 |
Π Π΅ΡΠ΅Π½ΠΈΠ΅. ΠΡΠ±ΠΈΡΠ°Π΅ΠΌ Π½Π°Π±ΠΎΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π°ΡΠ³ΡΠΌΠ΅Π½ΡΠΎΠ², Π² ΠΊΠΎΡΠΎΡΡΡ ΡΡΠ½ΠΊΡΠΈΡ ΡΠ°Π²Π½Π° 1. ΠΡΠΎ ΠΏΠ΅ΡΠ²Π°Ρ ΠΈ ΡΠ΅ΡΠ²Π΅ΡΡΠ°Ρ ΡΡΡΠΎΠΊΠΈ ΡΠ°Π±Π»ΠΈΡΡ (ΡΡΡΠΎΠΊΡ Π·Π°Π³ΠΎΠ»ΠΎΠ²ΠΊΠ° ΠΏΡΠΈ Π½ΡΠΌΠ΅ΡΠ°ΡΠΈΠΈ Π½Π΅ ΡΡΠΈΡΡΠ²Π°Π΅ΠΌ).
2. ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠ²Π½ΠΎ Π½ΠΎΡΠΌΠ°Π»ΡΠ½Π°Ρ ΡΠΎΡΠΌΠ° (ΠΠΠ€) β ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ ΡΡΠΌΠΌ, ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½Π½ΡΡ ΠΈΠ· ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΠΈ ΠΈΡ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠΉ Π΄Π»Ρ ΠΈΡΡΠΈΠ½Π½ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ.
ΠΠ»Π³ΠΎΡΠΈΡΠΌ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΠΠΠ€ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΉ:
ΠΡΠΈΠΌΠ΅ΡΡ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ
ΠΡΠΈΠΌΠ΅Ρ 1. Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΠΏΡΠ΅Π΄ΡΠ΄ΡΡΠΈΠΉ ΠΏΡΠΈΠΌΠ΅Ρ, Ρ. Π΅. ΠΏΠΎΡΡΡΠΎΠΈΠΌ ΡΡΠ½ΠΊΡΠΈΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡΡΡ, ΡΡΠΎ ΠΏΠ΅ΡΠ²ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ ΡΠ°Π²Π½ΠΎ Π²ΡΠΎΡΠΎΠΌΡ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ ΠΌΠ΅ΡΠΎΠ΄ ΠΠΠ€. ΠΠ»Ρ Π·Π°Π΄Π°Π½Π½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ Π΅Π΅ ΡΠ°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄
X1 | X2 | F(X1, X2) |
1 | 1 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
0 | 0 | 1 |
Π Π΅ΡΠ΅Π½ΠΈΠ΅. ΠΡΠ±ΠΈΡΠ°Π΅ΠΌ Π½Π°Π±ΠΎΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π°ΡΠ³ΡΠΌΠ΅Π½ΡΠΎΠ², Π² ΠΊΠΎΡΠΎΡΡΡ ΡΡΠ½ΠΊΡΠΈΡ ΡΠ°Π²Π½Π° 0. ΠΡΠΎ Π²ΡΠΎΡΠ°Ρ ΠΈ ΡΡΠ΅ΡΡΡ ΡΡΡΠΎΠΊΠΈ (ΡΡΡΠΎΠΊΡ Π·Π°Π³ΠΎΠ»ΠΎΠ²ΠΊΠ° ΠΏΡΠΈ Π½ΡΠΌΠ΅ΡΠ°ΡΠΈΠΈ Π½Π΅ ΡΡΠΈΡΡΠ²Π°Π΅ΠΌ).
Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, ΠΏΠΎΠ»ΡΡΠ΅Π½Π° Π·Π°ΠΏΠΈΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ Π² ΠΠΠ€.
ΠΡΠΈΠΌΠ΅Ρ 2. ΠΠΎΡΡΡΠΎΠΈΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΡΡ ΡΡΠ½ΠΊΡΠΈΡ Π΄Π»Ρ Π·Π°Π΄Π°Π½Π½ΠΎΠΉ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ:
X1 | X2 | F(X1, X2) |
1 | 1 | 1 |
1 | 0 | 0 |
0 | 1 | 1 |
0 | 0 | 0 |
Π Π΅ΡΠ΅Π½ΠΈΠ΅. ΠΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌ Π°Π»Π³ΠΎΡΠΈΡΠΌ ΠΠΠ€ Π΄Π»Ρ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΠΈΡΡ ΠΎΠ΄Π½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ:
X1 | X2 | F(X1, X2) | ||
1 | 1 | 1 | β’ | X1 β§ X2 |
1 | 0 | 0 | ||
0 | 1 | 1 | β’ | $ |
0 | 0 | 0 |
ΠΡΠΈΠΌΠ΅Ρ 3. ΠΠ»Ρ ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠΉ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΏΠΎΡΡΡΠΎΠΈΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΡΡ ΡΡΠ½ΠΊΡΠΈΡ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ ΠΌΠ΅ΡΠΎΠ΄ ΠΠΠ€.
Π€ΠΎΡΠΌΡΠ»Π° Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ Π³ΡΠΎΠΌΠΎΠ·Π΄ΠΊΠ°, ΠΈ Π΅Π΅ ΡΠ»Π΅Π΄ΡΠ΅Ρ ΡΠΏΡΠΎΡΡΠΈΡΡ:
Π’Π°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π·Π°Π΄Π°Ρ
Π‘ΠΎΡΡΠ°Π²Π»Π΅Π½ΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ β ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΡΠΏΠΎΡΠΎΠ±ΠΎΠ² ΡΠ΅ΡΠ΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π·Π°Π΄Π°Ρ. ΠΡΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ΠΈΠΈ ΡΠ°ΠΊΠΎΠ³ΠΎ ΡΠΏΠΎΡΠΎΠ±Π° ΡΠ΅ΡΠ΅Π½ΠΈΡ, ΡΡΠ»ΠΎΠ²ΠΈΡ, ΠΊΠΎΡΠΎΡΡΠ΅ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ Π·Π°Π΄Π°ΡΠ°, ΡΠΈΠΊΡΠΈΡΡΡΡΡΡ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠΏΠ΅ΡΠΈΠ°Π»ΡΠ½ΠΎ ΡΠΎΡΡΠ°Π²Π»Π΅Π½Π½ΡΡ ΡΠ°Π±Π»ΠΈΡ.
ΠΡΠΈΠΌΠ΅ΡΡ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ
ΠΡΠΈΠΌΠ΅Ρ 1. Π‘ΠΎΡΡΠ°Π²ΠΈΡΡ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ ΠΎΡ ΡΠ°Π½Π½ΠΎΠ³ΠΎ ΡΡΡΡΠΎΠΉΡΡΠ²Π°, ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅Ρ ΡΡΠΈ Π΄Π°ΡΡΠΈΠΊΠ° ΠΈ ΡΡΠ°Π±Π°ΡΡΠ²Π°Π΅Ρ ΠΏΡΠΈ Π·Π°ΠΌΡΠΊΠ°Π½ΠΈΠΈ ΡΠΎΠ»ΡΠΊΠΎ Π΄Π²ΡΡ ΠΈΠ· Π½ΠΈΡ .
Π Π΅ΡΠ΅Π½ΠΈΠ΅. ΠΡΠ΅Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠΎΠΌ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π±ΡΠ΄Π΅Ρ ΡΠ°Π±Π»ΠΈΡΠ°, Π² ΠΊΠΎΡΠΎΡΠΎΠΉ ΠΈΡΠΊΠΎΠΌΠ°Ρ ΡΡΠ½ΠΊΡΠΈΡ Y(X1, X2, X3) Π±ΡΠ΄Π΅Ρ ΠΈΠΌΠ΅ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Β«ΠΈΡΡΠΈΠ½Π°Β», Π΅ΡΠ»ΠΈ ΠΊΠ°ΠΊΠΈΠ΅-Π»ΠΈΠ±ΠΎ Π΄Π²Π΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅ ΠΈΠΌΠ΅ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Β«ΠΈΡΡΠΈΠ½Π°Β».
X1 | X2 | X3 | Y(X1, X2, X3) |
1 | 1 | 1 | 0 |
1 | 1 | 0 | 1 |
1 | 0 | 1 | 1 |
1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 |
0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 |
ΠΡΠΈΠΌΠ΅Ρ 2. Π‘ΠΎΡΡΠ°Π²ΠΈΡΡ ΡΠ°ΡΠΏΠΈΡΠ°Π½ΠΈΠ΅ ΡΡΠΎΠΊΠΎΠ² Π½Π° Π΄Π΅Π½Ρ, ΡΡΠΈΡΡΠ²Π°Ρ, ΡΡΠΎ ΡΡΠΎΠΊ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠΈ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΡΠΎΠ»ΡΠΊΠΎ ΠΏΠ΅ΡΠ²ΡΠΌ ΠΈΠ»ΠΈ Π²ΡΠΎΡΡΠΌ, ΡΡΠΎΠΊ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ β ΠΏΠ΅ΡΠ²ΡΠΌ ΠΈΠ»ΠΈ ΡΡΠ΅ΡΡΠΈΠΌ, Π° ΡΠΈΠ·ΠΈΠΊΠΈ β Π²ΡΠΎΡΡΠΌ ΠΈΠ»ΠΈ ΡΡΠ΅ΡΡΠΈΠΌ. ΠΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ Π»ΠΈ ΡΠΎΡΡΠ°Π²ΠΈΡΡ ΡΠ°ΡΠΏΠΈΡΠ°Π½ΠΈΠ΅, ΡΠ΄ΠΎΠ²Π»Π΅ΡΠ²ΠΎΡΠΈΠ² Π²ΡΠ΅ΠΌ ΡΡΠ΅Π±ΠΎΠ²Π°Π½ΠΈΡΠΌ? Π‘ΠΊΠΎΠ»ΡΠΊΠΎ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ Π²Π°ΡΠΈΠ°Π½ΡΠΎΠ² ΡΠ°ΡΠΏΠΈΡΠ°Π½ΠΈΡ?
Π Π΅ΡΠ΅Π½ΠΈΠ΅. ΠΠ°Π΄Π°ΡΠ° Π»Π΅Π³ΠΊΠΎ ΡΠ΅ΡΠ°Π΅ΡΡΡ, Π΅ΡΠ»ΠΈ ΡΠΎΡΡΠ°Π²ΠΈΡΡ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΡΡ ΡΠ°Π±Π»ΠΈΡΡ:
1-ΠΉ ΡΡΠΎΠΊ | 2-ΠΉ ΡΡΠΎΠΊ | 3-ΠΉ ΡΡΠΎΠΊ | |
ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΊΠ° | 1 | 1 | 0 |
ΠΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠ° | 1 | 0 | 1 |
Π€ΠΈΠ·ΠΈΠΊΠ° | 0 | 1 | 1 |
ΠΠ· ΡΠ°Π±Π»ΠΈΡΡ Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ ΡΡΡΠ΅ΡΡΠ²ΡΡΡ Π΄Π²Π° Π²Π°ΡΠΈΠ°Π½ΡΠ° ΠΈΡΠΊΠΎΠΌΠΎΠ³ΠΎ ΡΠ°ΡΠΏΠΈΡΠ°Π½ΠΈΡ:
ΠΡΠΈΠΌΠ΅Ρ 3. Π ΡΠΏΠΎΡΡΠΈΠ²Π½ΡΠΉ Π»Π°Π³Π΅ΡΡ ΠΏΡΠΈΠ΅Ρ Π°Π»ΠΈ ΡΡΠΎΠ΅ Π΄ΡΡΠ·Π΅ΠΉ β ΠΠ΅ΡΡ, ΠΠΎΡΠΈΡ ΠΈ ΠΠ»Π΅ΠΊΡΠ΅ΠΉ. ΠΠ°ΠΆΠ΄ΡΠΉ ΠΈΠ· Π½ΠΈΡ ΡΠ²Π»Π΅ΠΊΠ°Π΅ΡΡΡ Π΄Π²ΡΠΌΡ Π²ΠΈΠ΄Π°ΠΌΠΈ ΡΠΏΠΎΡΡΠ°. ΠΠ·Π²Π΅ΡΡΠ½ΠΎ, ΡΡΠΎ ΡΠ°ΠΊΠΈΡ Π²ΠΈΠ΄ΠΎΠ² ΡΠΏΠΎΡΡΠ° ΡΠ΅ΡΡΡ: ΡΡΡΠ±ΠΎΠ», Ρ ΠΎΠΊΠΊΠ΅ΠΉ, Π»ΡΠΆΠΈ, ΠΏΠ»Π°Π²Π°Π½ΠΈΠ΅, ΡΠ΅Π½Π½ΠΈΡ, Π±Π°Π΄ΠΌΠΈΠ½ΡΠΎΠ½. Π’Π°ΠΊΠΆΠ΅ ΠΈΠ·Π²Π΅ΡΡΠ½ΠΎ, ΡΡΠΎ:
ΠΠ°ΠΊΠΈΠΌΠΈ Π²ΠΈΠ΄Π°ΠΌΠΈ ΡΠΏΠΎΡΡΠ° ΡΠ²Π»Π΅ΠΊΠ°Π΅ΡΡΡ ΠΊΠ°ΠΆΠ΄ΡΠΉ ΠΈΠ· ΠΌΠ°Π»ΡΡΠΈΠΊΠΎΠ²?
Π Π΅ΡΠ΅Π½ΠΈΠ΅. Π‘ΠΎΡΡΠ°Π²ΠΈΠΌ ΡΠ°Π±Π»ΠΈΡΡ ΠΈ ΠΎΡΡΠ°Π·ΠΈΠΌ Π² Π½Π΅ΠΉ ΡΡΠ»ΠΎΠ²ΠΈΡ Π·Π°Π΄Π°ΡΠΈ, Π·Π°ΠΏΠΎΠ»Π½ΠΈΠ² ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠΈΠ΅ ΠΊΠ»Π΅ΡΠΊΠΈ ΡΠΈΡΡΠ°ΠΌΠΈ 0 ΠΈ 1 Π² Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡΠΈ ΠΎΡ ΡΠΎΠ³ΠΎ, Π»ΠΎΠΆΠ½ΠΎ ΠΈΠ»ΠΈ ΠΈΡΡΠΈΠ½Π½ΠΎ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅Π΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅.
Π’Π°ΠΊ ΠΊΠ°ΠΊ Π²ΠΈΠ΄ΠΎΠ² ΡΠΏΠΎΡΡΠ° ΡΠ΅ΡΡΡ, ΠΏΠΎΠ»ΡΡΠ°Π΅ΡΡΡ, ΡΡΠΎ Π²ΡΠ΅ ΠΌΠ°Π»ΡΡΠΈΠΊΠΈ ΡΠ²Π»Π΅ΠΊΠ°ΡΡΡΡ ΡΠ°Π·Π½ΡΠΌΠΈ Π²ΠΈΠ΄Π°ΠΌΠΈ ΡΠΏΠΎΡΡΠ°.
ΠΠ· ΡΡΠ»ΠΎΠ²ΠΈΡ 4 ΡΠ»Π΅Π΄ΡΠ΅Ρ, ΡΡΠΎ ΠΠΎΡΠΈΡ Π½Π΅ ΡΠ²Π»Π΅ΠΊΠ°Π΅ΡΡΡ Π½ΠΈ Π»ΡΠΆΠ°ΠΌΠΈ, Π½ΠΈ ΡΠ΅Π½Π½ΠΈΡΠΎΠΌ, Π° ΠΈΠ· ΡΡΠ»ΠΎΠ²ΠΈΠΉ 3 ΠΈ 5, ΡΡΠΎ ΠΠ΅ΡΡ Π½Π΅ ΡΠΌΠ΅Π΅Ρ ΠΈΠ³ΡΠ°ΡΡ Π² ΡΡΡΠ±ΠΎΠ», Ρ ΠΎΠΊΠΊΠ΅ΠΉ, ΡΠ΅Π½Π½ΠΈΡ ΠΈ Π±Π°Π΄ΠΌΠΈΠ½ΡΠΎΠ½. Π‘Π»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π»ΡΠ±ΠΈΠΌΡΠ΅ Π²ΠΈΠ΄Ρ ΡΠΏΠΎΡΡΠ° ΠΠ΅ΡΡΠ° β Π»ΡΠΆΠΈ ΠΈ ΠΏΠ»Π°Π²Π°Π½ΠΈΠ΅. ΠΠ°Π½Π΅ΡΠ΅ΠΌ ΡΡΠΎ Π² ΡΠ°Π±Π»ΠΈΡΡ, Π° ΠΎΡΡΠ°Π²ΡΠΈΠ΅ΡΡ ΠΊΠ»Π΅ΡΠΊΠΈ ΡΡΠΎΠ»Π±ΡΠΎΠ² Β«ΠΡΠΆΠΈΒ» ΠΈ Β«ΠΠ»Π°Π²Π°Π½ΠΈΠ΅Β» Π·Π°ΠΏΠΎΠ»Π½ΠΈΠΌ Π½ΡΠ»ΡΠΌΠΈ.
Π€ΡΡΠ±ΠΎΠ» | Π₯ΠΎΠΊΠΊΠ΅ΠΉ | ΠΡΠΆΠΈ | ΠΠ»Π°Π²Π°Π½ΠΈΠ΅ | ΠΠ°Π΄ΠΌΠΈΠ½ΡΠΎΠ½ | Π’Π΅Π½Π½ΠΈΡ | |
ΠΠ΅ΡΡ | 0 | 0 | 1 | 1 | 0 | 0 |
ΠΠΎΡΠΈΡ | 0 | 0 | 0 | |||
ΠΠ»Π΅ΠΊΡΠ΅ΠΉ | 0 | 0 |
ΠΠ· ΡΠ°Π±Π»ΠΈΡΡ Π²ΠΈΠ΄Π½ΠΎ, ΡΡΠΎ Π² ΡΠ΅Π½Π½ΠΈΡ ΠΌΠΎΠΆΠ΅Ρ ΠΈΠ³ΡΠ°ΡΡ ΡΠΎΠ»ΡΠΊΠΎ ΠΠ»Π΅ΠΊΡΠ΅ΠΉ.
ΠΠ· ΡΡΠ»ΠΎΠ²ΠΈΠΉ 1 ΠΈ 2 ΡΠ»Π΅Π΄ΡΠ΅Ρ, ΡΡΠΎ ΠΠΎΡΠΈΡ Π½Π΅ ΡΡΡΠ±ΠΎΠ»ΠΈΡΡ. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, Π² ΡΡΡΠ±ΠΎΠ» ΠΈΠ³ΡΠ°Π΅Ρ ΠΠ»Π΅ΠΊΡΠ΅ΠΉ. ΠΡΠΎΠ΄ΠΎΠ»ΠΆΠΈΠΌ Π·Π°ΠΏΠΎΠ»Π½ΡΡΡ ΡΠ°Π±Π»ΠΈΡΡ. ΠΠ½Π΅ΡΠ΅ΠΌ Π² ΠΏΡΡΡΡΠ΅ ΡΡΠ΅ΠΉΠΊΠΈ ΡΡΡΠΎΠΊΠΈ Β«ΠΠ»Π΅ΠΊΡΠ΅ΠΉΒ» Π½ΡΠ»ΠΈ.
Π€ΡΡΠ±ΠΎΠ» | Π₯ΠΎΠΊΠΊΠ΅ΠΉ | ΠΡΠΆΠΈ | ΠΠ»Π°Π²Π°Π½ΠΈΠ΅ | ΠΠ°Π΄ΠΌΠΈΠ½ΡΠΎΠ½ | Π’Π΅Π½Π½ΠΈΡ | |
ΠΠ΅ΡΡ | 0 | 0 | 1 | 1 | 0 | 0 |
ΠΠΎΡΠΈΡ | 0 | 0 | 0 | 0 | ||
ΠΠ»Π΅ΠΊΡΠ΅ΠΉ | 1 | 0 | 0 | 0 | 0 | 1 |
ΠΠΊΠΎΠ½ΡΠ°ΡΠ΅Π»ΡΠ½ΠΎ ΠΏΠΎΠ»ΡΡΠ°Π΅ΠΌ, ΡΡΠΎ ΠΠΎΡΠΈΡ ΡΠ²Π»Π΅ΠΊΠ°Π΅ΡΡΡ Ρ ΠΎΠΊΠΊΠ΅Π΅ΠΌ ΠΈ Π±Π°Π΄ΠΌΠΈΠ½ΡΠΎΠ½ΠΎΠΌ. ΠΡΠΎΠ³ΠΎΠ²Π°Ρ ΡΠ°Π±Π»ΠΈΡΠ° Π±ΡΠ΄Π΅Ρ Π²ΡΠ³Π»ΡΠ΄Π΅ΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ:
Π€ΡΡΠ±ΠΎΠ» | Π₯ΠΎΠΊΠΊΠ΅ΠΉ | ΠΡΠΆΠΈ | ΠΠ»Π°Π²Π°Π½ΠΈΠ΅ | ΠΠ°Π΄ΠΌΠΈΠ½ΡΠΎΠ½ | Π’Π΅Π½Π½ΠΈΡ | |
ΠΠ΅ΡΡ | 0 | 0 | 1 | 1 | 0 | 0 |
ΠΠΎΡΠΈΡ | 0 | 1 | 0 | 0 | 1 | 0 |
ΠΠ»Π΅ΠΊΡΠ΅ΠΉ | 1 | 0 | 0 | 0 | 0 | 1 |
ΠΡΠ²Π΅Ρ: ΠΠ΅ΡΡ ΡΠ²Π»Π΅ΠΊΠ°Π΅ΡΡΡ Π»ΡΠΆΠ°ΠΌΠΈ ΠΈ ΠΏΠ»Π°Π²Π°Π½ΠΈΠ΅ΠΌ, ΠΠΎΡΠΈΡ ΠΈΠ³ΡΠ°Π΅Ρ Π² Ρ ΠΎΠΊΠΊΠ΅ΠΉ ΠΈ Π±Π°Π΄ΠΌΠΈΠ½ΡΠΎΠ½, Π° ΠΠ»Π΅ΠΊΡΠ΅ΠΉ Π·Π°Π½ΠΈΠΌΠ°Π΅ΡΡΡ ΡΡΡΠ±ΠΎΠ»ΠΎΠΌ ΠΈ ΡΠ΅Π½Π½ΠΈΡΠΎΠΌ.