ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ. ΠΠΎΡΡΡΠΎΠ΅Π½ΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ.
ΠΠΎΡΡΡΠΎΠ΅Π½ΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡ
ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
Π¦Π΅Π»Ρ: ΡΠ·Π½Π°ΡΡ ΡΡΠΎ ΡΠ°ΠΊΠΎΠ΅ Π»ΠΎΠ³ΠΈΠΊΠ°?
ΠΊΠ°ΠΊΠ°Ρ ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΡΠ²ΡΠ·Ρ ΠΌΠ΅ΠΆΠ΄Ρ Π΄Π²ΠΎΠΈΡΠ½ΡΠΌ
ΠΊΠΎΠ΄ΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ΠΌ ΠΈ Π°Π»Π³Π΅Π±ΡΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ? ΠΊΠ°ΠΊ ΠΌΠΎΠΆΠ½ΠΎ
ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ?
ΠΠ²Π΅Π΄Π΅Π½ΠΈΠ΅
β’ Π‘Π»ΠΎΠ²ΠΎ Β«Π»ΠΎΠ³ΠΈΠΊΠ°Β» ΠΏΡΠΎΠΈΠ·ΠΎΡΠ»ΠΎ ΠΎΡ Π³ΡΠ΅ΡΠ΅ΡΠΊΠΈΡ
ΡΠ»ΠΎΠ² Β«Π»Π΅Π³ΠΎΡΒ»
ΠΈ Β«Π»ΠΎΠ³ΠΎΡΒ». Β«ΠΠ΅Π³ΠΎΡΒ» ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ β Β«Π³ΠΎΠ²ΠΎΡΠΈΡΡΒ»,
Β«ΠΏΠΎΡΡΠ½ΡΡΡΒ», Β«Π»ΠΎΠ³ΠΎΡΒ» β Β«ΠΌΡΠ΄ΡΠΎΡΡΡΒ».
β’ ΠΠΎΠ³ΠΈΠΊΠΎΠΉ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ Π½Π°ΡΠΊΠ° ΠΎ ΡΠΎΡΠΌΠ°Ρ
ΠΈ Π·Π°ΠΊΠΎΠ½Π°Ρ
ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½ΠΎΠ³ΠΎ ΠΌΡΡΠ»Π΅Π½ΠΈΡ.
β’ ΠΡΡΠ»Π΅Π½ΠΈΠ΅ β Π²ΡΡΡΠ°Ρ ΡΠΎΡΠΌΠ° ΠΏΠΎΠ·Π½Π°Π²Π°ΡΠ΅Π»ΡΠ½ΠΎΠΉ
Π΄Π΅ΡΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ ΡΠ΅Π»ΠΎΠ²Π΅ΠΊΠ°. ΠΡΠ°Π²ΠΈΠ»ΡΠ½ΠΎΠ΅ ΠΌΡΡΠ»Π΅Π½ΠΈΠ΅
ΠΈΠ³ΡΠ°Π΅Ρ ΡΠ΅ΡΠ°ΡΡΡΡ ΡΠΎΠ»Ρ Π² Π΄Π΅ΡΡΠ΅Π»ΡΠ½ΠΎΡΡΠΈ Π»ΡΠ΄Π΅ΠΉ. Π§ΡΠΎΠ±Ρ
ΡΠ΅Π»ΠΎΠ²Π΅ΠΊ ΠΏΡΠ°Π²ΠΈΠ»ΡΠ½ΠΎ ΠΌΡΡΠ»ΠΈΠ», ΠΎΠ½ Π΄ΠΎΠ»ΠΆΠ΅Π½ ΠΏΠΎΠ΄ΡΠΈΠ½ΡΡΡΡΡ
ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΠΌ ΠΏΡΠ°Π²ΠΈΠ»Π°ΠΌ ΠΈ Π·Π°ΠΊΠΎΠ½ΠΎΠΌΠ΅ΡΠ½ΠΎΡΡΡΠΌ.
ΠΠ²Π΅Π΄Π΅Π½ΠΈΠ΅
ΠΡΠ½ΠΎΠ²Π½ΡΠ΅ ΡΠΎΡΠΌΡ ΠΌΡΡΠ»Π΅Π½ΠΈΡ:
β’ ΠΠΎΠ½ΡΡΠΈΠ΅ β ΡΡΠΎ ΡΠΎΡΠΌΠ° ΠΌΡΡΠ»Π΅Π½ΠΈΡ, ΠΊΠΎΡΠΎΡΠ°Ρ ΠΎΡΡΠ°ΠΆΠ°Π΅Ρ
ΡΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΡΠ΅ ΠΏΡΠΈΠ·Π½Π°ΠΊΠΈ ΠΏΡΠ΅Π΄ΠΌΠ΅ΡΠΎΠ². ΠΠ±ΡΠ΅ΠΌ ΠΏΠΎΠ½ΡΡΠΈΡ ΠΌΠΎΠΆΠ΅Ρ
Π±ΡΡΡ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ ΠΊΠ°ΠΊ ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ΠΎΠ±ΡΠ΅ΠΊΡΠΎΠ². ΠΡΠ½ΠΎΠ²Ρ
ΡΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠΈ ΡΠΎΡΡΠ°Π²Π»ΡΡΡ Π»ΠΎΠ³ΠΈΠΊΠ° ΠΈ ΡΠ΅ΠΎΡΠΈΡ
ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ².
β’ ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ β ΡΡΠΎ ΡΠΎΡΠΌΠ° ΠΌΡΡΠ»Π΅Π½ΠΈΡ, ΡΠΎΠ΄Π΅ΡΠΆΠ°ΡΠ°Ρ
ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΈΠ»ΠΈ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ ΡΠ΅Π³ΠΎ-Π»ΠΈΠ±ΠΎ. ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ
ΠΌΠΎΠ³ΡΡ Π±ΡΡΡ Π»ΠΎΠΆΠ½ΡΠΌΠΈ ΠΈΠ»ΠΈ ΠΈΡΡΠΈΠ½Π½ΡΠΌΠΈ. ΠΠΎΠΏΡΠΎΡΠΈΡΠ΅Π»ΡΠ½ΡΠ΅ ΠΈ
ΠΏΠΎΠ±ΡΠ΄ΠΈΡΠ΅Π»ΡΠ½ΡΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ Π½Π΅ Π²ΡΡΠ°ΠΆΠ°ΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ.
ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ Π±ΡΠ²Π°ΡΡ ΠΏΡΠΎΡΡΡΠΌΠΈ ΠΈ ΡΠ»ΠΎΠΆΠ½ΡΠΌΠΈ.
β’ Π£ΠΌΠΎΠ·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ β ΡΡΠΎ ΡΠΎΡΠΌΠ° ΠΌΡΡΠ»Π΅Π½ΠΈΡ, ΠΏΡΠΈ ΠΊΠΎΡΠΎΡΠΎΠΉ
ΠΌΡΡΠ»Ρ ΡΠΎΡΠΌΠΈΡΡΠ΅ΡΡΡ Π² ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ ΡΠΈΠ½ΡΠ΅Π·Π° ΠΈ ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠΈ
Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΈΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ ΠΈ ΠΏΠΎΠ½ΡΡΠΈΠΉ.
ΠΠ²Π΅Π΄Π΅Π½ΠΈΠ΅
ΠΡΠ½ΠΎΠ²Π°ΡΠ΅Π»Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ Π°Π»Π³Π΅Π±ΡΡ β ΠΠΆΠΎΡΠ΄ΠΆ ΠΡΠ»Ρ. ΠΠ½
ΠΈΠ·ΠΎΠ±ΡΠ΅Π» ΡΠ²ΠΎΠ΅ΠΎΠ±ΡΠ°Π·Π½ΡΡ Π°Π»Π³Π΅Π±ΡΡ β ΡΠΈΡΡΠ΅ΠΌΡ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΠΉ ΠΈ
ΠΏΡΠ°Π²ΠΈΠ», ΠΏΡΠΈΠΌΠ΅Π½ΠΈΠΌΡΡ ΠΊ ΠΎΠ±ΡΠ΅ΠΊΡΠ°ΠΌ, ΡΠΈΡΠ»Π°ΠΌ, Π±ΡΠΊΠ²Π°ΠΌ ΠΈ
ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡΠΌ.
Π ΠΎΡΠ½ΠΎΠ²Π΅ Π±ΡΠ»Π΅Π²ΠΎΠΉ Π°Π»Π³Π΅Π±ΡΡ Π»Π΅ΠΆΠ°Ρ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ
ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ (Π), Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ (ΠΠΠ) ΠΈ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ (ΠΠ).
Π XX Π²Π΅ΠΊΠ΅ ΡΡΠ΅Π½ΡΠ΅ ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½ΠΈΠ»ΠΈ Π΄Π²ΠΎΠΈΡΠ½ΡΡ ΡΠΈΡΡΠ΅ΠΌΡ
ΡΡΠΈΡΠ»Π΅Π½ΠΈΡ Ρ Π°Π»Π³Π΅Π±ΡΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΠΆΠΎΡΠ΄ΠΆΠ° ΠΡΠ»Ρ, ΡΠΎΠ·Π΄Π°Π² ΡΠ΅ΠΌ
ΡΠ°ΠΌΡΠΌ ΠΎΡΠ½ΠΎΠ²Ρ Π΄Π»Ρ ΡΠ°Π·ΡΠ°Π±ΠΎΡΠΊΠΈ ΡΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠ³ΠΎ ΡΠΈΡΡΠΎΠ²ΠΎΠ³ΠΎ
ΡΠ»Π΅ΠΊΡΡΠΎΠ½Π½ΠΎΠ³ΠΎ ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠ°.
ΠΠΎΠ³ΠΈΠΊΠ°
ΠΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π² ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠ΅ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ
ΠΈΡΡΠΈΠ½Π½ΡΠΌ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΡΠΌ, ΡΡΠ΅ΡΠΈΠΉ ΡΠ»ΡΡΠ°ΠΉ Π½Π΅
ΡΠ°ΡΡΠΌΠ°ΡΡΠΈΠ²Π°Π΅ΡΡΡ.
ΠΡΠ»ΠΈ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠΈΠΌ Β«ΠΈΡΡΠΈΠ½ΡΒ» ΠΊΠ°ΠΊ 1, Β«Π»ΠΎΠΆΡΒ» ΠΊΠ°ΠΊ 0, ΡΠΎΠ³Π΄Π°
ΠΌΠΎΠΆΠ½ΠΎ Π²ΡΠΏΠΎΠ»Π½ΡΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Ρ 1 ΠΈ 0 ΠΈΠ»ΠΈ, Π΄ΡΡΠ³ΠΈΠΌΠΈ
ΡΠ»ΠΎΠ²Π°ΠΌΠΈ, Π² Π΄Π²ΠΎΠΈΡΠ½ΠΎΠΌ ΠΊΠΎΠ΄Π΅.
ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ β ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΈΠΉ Π°ΠΏΠΏΠ°ΡΠ°Ρ Π·Π°ΠΏΠΈΡΠΈ
Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ, Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠΉ, ΡΠΏΡΠΎΡΠ΅Π½ΠΈΠΉ ΠΈ
ΠΏΡΠ΅ΠΎΠ±ΡΠ°Π·ΠΎΠ²Π°Π½ΠΈΠΉ.
ΠΠ»Π³Π΅Π±ΡΠ° Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅Ρ ΠΏΡΠ°Π²ΠΈΠ»Π° Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠΉ
Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΡΡΠ»ΠΎΠ²ΠΈΠΉ 1 (ΠΈΡΡΠΈΠ½Π°) ΠΈ 0 (Π»ΠΎΠΆΡ).
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ (Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ, ΠΏΠΎΠΊΠ°Π·ΡΠ²Π°Π΅ΡΡΡ
ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠΌ β¨). ΠΠΏΠ΅ΡΠ°ΡΠΈΡ, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡΡΠ°Ρ Π΄Π²Π° ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Β«ΠΠΠΒ»
(Π½Π°ΠΏΡΠΈΠΌΠ΅Ρ, Β«Π ΠΈΠ»ΠΈ ΠΒ») Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ
ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ, ΠΈΠ»ΠΈ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ. ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ Π² ΠΎΠ±ΡΡΠ½ΠΎΠΌ
ΡΠ·ΡΠΊΠ΅ ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ Β«ΠΈΠ»ΠΈ (or)Β».
Π’Π°Π±Π»ΠΈΡΠ° 1
ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ
A
B
AΛ
B
0
0
0
1
0
1
0
1
1
1
1
1
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ (ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ, ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ
ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠΌ β§). ΠΠΏΠ΅ΡΠ°ΡΠΈΡ, ΡΠ²ΡΠ·ΡΠ²Π°ΡΡΠ°Ρ Π΄Π²Π° ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ ΠΏΡΠΈ ΠΏΠΎΠΌΠΎΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Β«ΠΒ», Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ
Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈΠ»ΠΈ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ.
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ Π² ΠΎΠ±ΡΡΠ½ΠΎΠΌ ΡΠ·ΡΠΊΠ΅ ΠΎΠ·Π½Π°ΡΠ°Π΅Ρ Β«ΠΈ (and)Β»
Π’Π°Π±Π»ΠΈΡΠ° 2
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ
A
B
AΛB
0
0
0
1
0
0
0
1
0
1
1
1
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ (ΠΈΠ½Π²Π΅ΡΡΠΈΡ). ΠΡΡΠΈΡΠ°Π½ΠΈΠ΅ Β«ΠΠΒ»,
ΠΊΠΎΡΠΎΡΡΠΌ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΎΠ±ΡΠ°ΡΠ°Π΅ΡΡΡ Π²
ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠ΅, Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅ΠΌ ΠΈΠ»ΠΈ
ΠΈΠ½Π²Π΅ΡΡΠΈΠ΅ΠΉ (ΡΠ°Π±Π»ΠΈΡΠ° 3). ΠΠ½Π²Π΅ΡΡΠΈΡ Π² ΠΎΠ±ΡΡΠ½ΠΎΠΌ ΡΠ·ΡΠΊΠ΅
ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΠ΅Ρ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡΠΌ Β«Π½Π΅Π²Π΅ΡΠ½ΠΎΒ», Β«ΠΎΠ±ΡΠ°ΡΠ΅Π½ΠΈΠ΅ Π²
ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠ΅Β» ΠΈ ΠΏΡΠΈΡΡΠ°Π²ΠΊΠ΅ Β«Π½Π΅ (not)Β».
Π’Π°Π±Π»ΠΈΡΠ° 3
ΠΠ½Π²Π΅ΡΡΠΈΡ
A
B
0
1
1
0
ΠΠ°Π΄Π°Π½ΠΈΡ Π΄Π»Ρ Π·Π°ΠΊΡΠ΅ΠΏΠ»Π΅Π½ΠΈΡ:
ΠΠ°Π΄Π°Π½ΠΈΠ΅ β 1.
ΠΠ±ΡΠ°ΡΠΈΡΠ΅ Π² ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΎΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ.
1. Π§Π΅ΡΠ½ΡΠ΅ ΡΠΈΡΠ»Π° Π±ΡΠ²Π°ΡΡ ΠΏΡΠΎΡΡΡΠΌΠΈ.
2. Π‘Π°ΠΌΠ°Ρ Π²ΡΠΏΠΎΠ»Π½ΠΈΠ» Π·Π°Π΄Π°Π½Π½ΡΠ΅ Π΅ΠΌΡ ΠΏΡΡΡ Π·Π°Π΄Π°Π½ΠΈΠΉ.
ΠΠ°Π΄Π°Π½ΠΈΠ΅ β 2.
ΠΠ°Π½Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΠΏΡΠΎΡΡΡΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ.
1) Π = {ΠΠΎΠ½ΠΈΡΠΎΡ β ΡΡΡΡΠΎΠΉΡΡΠ²ΠΎ Π΄Π»Ρ ΠΏΠ΅ΡΠ°ΡΠΈ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ Π½Π°
Π±ΡΠΌΠ°Π³Π΅},
2) Π = {ΠΡΠΈΠ½ΡΠ΅Ρ β ΡΡΡΡΠΎΠΉΡΡΠ²ΠΎ Π΄Π»Ρ Π²Π²ΠΎΠ΄Π° ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ},
3) Π‘ = {ΠΡΠΎΡΠ΅ΡΡΠΎΡ β ΡΡΡΡΠΎΠΉΡΡΠ²ΠΎ ΠΎΠ±ΡΠ°Π±ΠΎΡΠΊΠΈ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ},
4) D = {ΠΡΡΡ β ΡΡΡΡΠΎΠΉΡΡΠ²ΠΎ Ρ
ΡΠ°Π½Π΅Π½ΠΈΡ ΠΈΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ},
ΠΡΠΏΠΎΠ»ΡΠ·ΡΡ ΡΠ°Π±Π»ΠΈΡΡ 1, 2, 3 Π½Π°ΠΉΠ΄ΠΈΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΡ
Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ. 1) (Πβ§Π) 2) (Π‘β¨D) 3) (Πβ§Π‘).
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ β ΡΡΠΎ ΡΠ°Π±Π»ΠΈΡΠ°, Π² ΠΊΠΎΡΠΎΡΠΎΠΉ
ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½Ρ Π²ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΌΠΎΠΆΠ΅Ρ ΠΏΡΠΈΠ½ΠΈΠΌΠ°ΡΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ ΠΏΡΠΈ Π²ΡΠ΅Ρ
Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΡ
Π·Π½Π°ΡΠ΅Π½ΠΈΡΡ
ΠΏΡΠΎΡΡΡΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ, Π²Ρ
ΠΎΠ΄ΡΡΠΈΡ
Π² Π½Π΅Π΅. Π ΡΠ°Π±Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
ΠΎΡΡΠ°ΠΆΠ°ΡΡΡΡ ΡΠ΅ΡΡΡΠ΅ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΡ
ΠΈΡΡ
ΠΎΠ΄Π° Π΄Π»Ρ Π΄Π²ΡΡ
ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
. ΠΡΠΎ ΠΏΠ°ΡΡ:
(0, 0), (0, 1), (1, 0), (1, 1).
ΠΡΠ»ΠΈ Π² ΡΠΎΡΠΌΡΠ»Π΅ ΡΡΠΈ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
, ΡΠΎ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ
Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΡ
ΠΊΠΎΠΌΠ±ΠΈΠ½Π°ΡΠΈΠΉ Π±ΡΠ΄Π΅Ρ ΡΠ°Π²Π½ΠΎ 8-ΠΌΠΈ, ΡΠ°ΠΊ ΠΊΠ°ΠΊ 23= 8.
(0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1),
(1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1,1).
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ β ΡΡΠΎ ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅
Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅, Π·Π°ΠΏΠΈΡΠ°Π½Π½ΠΎΠ΅ Π² Π²ΠΈΠ΄Π΅ ΡΠΎΡΠΌΡΠ»Ρ.
ΠΡΠΈ ΡΠ΅ΡΠ΅Π½ΠΈΠΈ Π·Π°Π΄Π°Ρ Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ Π½Π΅ΠΎΠ±Ρ
ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΠ΅ ΡΠ°Π±Π»ΠΈΡΡ
ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ.
ΠΡΠΈΠΎΡΠΈΡΠ΅ΡΡ ΠΏΡΠΈ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ
1) Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ Π² ΡΠΊΠΎΠ±ΠΊΠ°Ρ
;
2) ΠΈΠ½Π²Π΅ΡΡΠΈΡ;
3) ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ;
4) Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ.
ΠΠ»Π³ΠΎΡΠΈΡΠΌ ΠΏΠΎΡΡΡΠΎΠ΅Π½ΠΈΡ ΡΠ°Π±Π»ΠΈΡΡ
ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΡΠ»Π΅ΠΌΠ΅Π½ΡΠΎΠ²
1. ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
n Π² Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΌ
Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΈ.
2. ΠΠΎΠ΄ΡΡΠΈΡΠ°ΡΡ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ ΡΡΡΠΎΠΊ m=2n , n β ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ
ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
.
3. ΠΠΎΠ΄ΡΡΠΈΡΠ°ΡΡ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²ΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ Π²
Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΈ.
4. ΠΠ»Ρ ΠΏΠΎΠ΄ΡΡΠ΅ΡΠ° ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π° ΡΡΠΎΠ»Π±ΡΠΎΠ² Π² ΡΠ°Π±Π»ΠΈΡΠ΅ ΡΠ»ΠΎΠΆΠΈΡΡ
ΡΠΈΡΠ»ΠΎ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
ΠΈ ΡΠΈΡΠ»ΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ.
5. Π£ΡΡΠ°Π½ΠΎΠ²ΠΈΡΡ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ Ρ ΡΡΠ΅ΡΠΎΠΌ ΠΏΡΠΈΠΎΡΠΈΡΠ΅ΡΠΎΠ².
6. ΠΡΠΏΠΈΡΠ°ΡΡ Π½Π°Π±ΠΎΡΡ Π²Ρ
ΠΎΠ΄Π½ΡΡ
ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
.
7. ΠΠ°ΠΏΠΎΠ»Π½ΠΈΡΡ ΡΠ°Π±Π»ΠΈΡΡ.
ΠΡΠΈΠΌΠ΅Ρ
ΠΠ»Ρ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ Π = {22 β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ} ΠΈ Π = {3 β ΡΠ΅ΡΠ½ΠΎΠ΅
ΡΠΈΡΠ»ΠΎ} Π²ΡΡΠΈΡΠ»ΠΈΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ.
ΠΠΎΡΡΠ½Π΅Π½ΠΈΠ΅ ΡΠ΅ΡΠ΅Π½ΠΈΡ Π·Π°Π΄Π°ΡΠΈ:
1. ΠΡΠ»ΠΈ ΠΏΡΠΈΠΌΠ΅Π½ΠΈΡΡ Π΄Π»Ρ Π΄Π²ΡΡ
ΠΏΡΠΎΡΡΡΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ (Π) Πβ§Π, ΡΠΎΠ³Π΄Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π β ΠΈΡΡΠΈΠ½Π½ΠΎ, ΡΠ°ΠΊ ΠΊΠ°ΠΊ
ΡΠΈΡΠ»ΠΎ 22 β ΡΠ΅ΡΠ½ΠΎΠ΅. Π Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π β Π»ΠΎΠΆΠ½ΠΎ, ΡΠ°ΠΊ ΠΊΠ°ΠΊ 3 β
Π½Π΅ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, ΡΠΎΠ³Π»Π°ΡΠ½ΠΎ ΠΏΡΠ°Π²ΠΈΠ»Ρ Π΄Π»Ρ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π Π±ΡΠ΄Π΅Ρ 1β§0 =0 (Π»ΠΎΠΆΡ).
2. ΠΡΠ»ΠΈ ΠΏΡΠΈΠΌΠ΅Π½ΠΈΡΡ Π΄Π»Ρ Π΄Π²ΡΡ
ΠΏΡΠΎΡΡΡΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ (ΠΠΠ) Πβ¨Π, ΡΠΎΠ³Π΄Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π β ΠΈΡΡΠΈΠ½Π½ΠΎ, ΡΠΎΠ³Π΄Π°
ΠΊΠ°ΠΊ Π β Π»ΠΎΠΆΠ½ΠΎ. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ 1β¨0 =1 (ΠΡΡΠΈΠ½Π°).
3. ΠΡΠ»ΠΈ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Π ΠΏΠΎΠ΄Π²Π΅ΡΠ³Π½ΡΡΡ ΠΈΠ½Π²Π΅ΡΡΠΈΠΈ, ΡΠΎ ΠΎΠ½ΠΎ
Π±ΡΠ΄Π΅Ρ Π»ΠΎΠΆΠ½ΡΠΌ, ΡΠ°ΠΊ ΠΊΠ°ΠΊ ΠΎΠ±ΡΠ°ΡΠΈΡΡΡ Π² Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«ΡΠΈΡΠ»ΠΎ 22
Π½Π΅ΡΠ΅ΡΠ½ΠΎΠ΅Β». Π’ΠΎΡΠ½ΠΎ ΡΠ°ΠΊ ΠΆΠ΅ ΠΈΠ½Π²Π΅ΡΡΠΈΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ Π Β«ΡΠΈΡΠ»ΠΎ 3
Π½Π΅ΡΠ΅ΡΠ½ΠΎΠ΅Β» Π±ΡΠ΄Π΅Ρ ΠΈΡΡΠΈΠ½Π½ΡΠΌ.
Aβ§B
ΠΠΎΠΆΡ (0)
Aβ¨B
ΠΡΡΠΈΠ½Π° (1)
A
ΠΠΎΠΆΡ (0)
B
ΠΡΡΠΈΠ½Π°(1)
ΠΠ°Π΄Π°Π½ΠΈΡ Π΄Π»Ρ Π·Π°ΠΊΡΠ΅ΠΏΠ»Π΅Π½ΠΈΡ:
ΠΠΎΡΡΡΠΎΠΉΡΠ΅ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ (ΠΠ Π ΠΠΠ Π) Π Π
Π
Π
ΠΠ Π
ΠΠ Π ΠΠΠ Π
(ΠΠ Π ΠΠΠ Π) Π Π
0
0
1
1
0
ΠΠΎΠΌΠ°ΡΠ½Π΅Π΅ Π·Π°Π΄Π°Π½ΠΈΠ΅:
Π£ΡΠΎΠ²Π΅Π½Ρ Π.
ΠΠ°ΠΉΠ΄ΠΈΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΡΡΠ½ΠΊΡΠΈΠΉ, ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π½ΡΡ
Π½ΠΈΠΆΠ΅.
1) F = ((0>5) and (2>3)) or(4<5))
2) F = (1<5) and (1>0)
3) F = (3>2) or (3<1)
4) F = (3>2) or (2>0)
5) F = ((1>2) or (1<0)) and((β1>2) or (β1<0))
6) F = (2>5) and (2>3)
7) F = not (5>6)
8) F = not (6>5)
9) F = (2=0) or (2>0)
10) F = (3>0) or (2>0)
ΠΡΠΈΠΌΠ΅ΡΠ°Π½ΠΈΠ΅. ΠΠ±ΡΠ°Π·Π΅Ρ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π·Π°Π΄Π°Π½ΠΈΡ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ Π²
ΡΠ°Π±Π»ΠΈΡΠ΅.
0>4
2>5
4<7
(0>4) and (2>5)
F = (0>4) and (2>5) or(4<7)
0
0
1
0
1
ΠΠΎΠΌΠ°ΡΠ½Π΅Π΅ Π·Π°Π΄Π°Π½ΠΈΠ΅:
Π£ΡΠΎΠ²Π΅Π½Ρ Π.
ΠΠ°ΠΉΠ΄ΠΈΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΡΡΠ½ΠΊΡΠΈΠΉ, ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π½ΡΡ
Π½ΠΈΠΆΠ΅.
1. F = (1β¨1)β¨(1β¨0)
2. F = (0β§0)β§(1β§1)
3. F = (0β§1)β¨(0β§1)
4. F = (0β¨0)β§(1β§1)
5. F = (1β¨0)β§(0β§1)
Π£ΡΠΎΠ²Π΅Π½Ρ Π‘.
ΠΠ°Π½Ρ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ β Π = {4+19=21} ΠΈ B = {8 + 3 = 9}.
ΠΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΡ ΡΠ»Π΅Π΄ΡΡΡΠΈΡ
Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠΉ:
Πβ§Π, Π, Π, Πβ¨Π
ΠΡΠ½ΠΎΠ²Π½ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
ΠΠ°ΠΊ ΠΌΡ ΡΠΆΠ΅ Π·Π½Π°Π΅ΠΌ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΡΠ²ΡΠ·ΠΊΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΡΡΡΠΎΠΈΡΡ ΡΠ»ΠΎΠΆΠ½ΡΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ, ΠΈΠ»ΠΈ, Π³ΠΎΠ²ΠΎΡΡ ΠΏΠΎ-Π΄ΡΡΠ³ΠΎΠΌΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π½Π°Π΄ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌΠΈ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠΌΠΈ. ΠΡΠΎΡΡΡΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ β ΡΡΠΎ Π°ΡΠ³ΡΠΌΠ΅Π½ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ (Π½Π΅Π·Π°Π²ΠΈΡΠΈΠΌΡΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅). Π Π΅Π·ΡΠ»ΡΡΠ°Ρ ΡΠ°ΠΊΠΎΠΉ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΌΠΎΠΆΠ½ΠΎ Π·Π°Π΄Π°ΡΡ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ.
ΠΠ½Π°ΡΠ΅Π½ΠΈΡ
Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π΄Π»Ρ Π²ΡΠ΅Ρ
ΡΠΎΡΠ΅ΡΠ°Π½ΠΈΠΉ
Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
β ΠΈΠ»ΠΈ,
ΠΊΠ°ΠΊ ΡΡΠΎ ΠΈΠ½Π°ΡΠ΅ Π½Π°Π·ΡΠ²Π°ΡΡ, Π½Π°Π±ΠΎΡΠΎΠ² Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
β Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠ°Π±Π»ΠΈΡΠ΅ΠΉ
ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ. Π’Π°Π±Π»ΠΈΡΠ°
ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΏΠΎΠ»Π½ΠΎΡΡΡΡ ΠΈ ΠΎΠ΄Π½ΠΎΠ·Π½Π°ΡΠ½ΠΎ
ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΡ.
Π’Π°ΠΊΠΈΠΌ ΠΎΠ±ΡΠ°Π·ΠΎΠΌ, Π² Π»ΡΠ±ΠΎΠΉ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ ΠΈΠΌΠ΅ΡΡΡΡ Π°ΡΠ³ΡΠΌΠ΅Π½Ρ(Ρ), Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΊΠΎΡΠΎΡΡΡ ΠΌΡ Π·Π°Π΄Π°ΡΠΌ ΠΈ, ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠ΅Π΅ ΡΡΠΈΠΌ Π°ΡΠ³ΡΠΌΠ΅Π½ΡΠ°ΠΌ, Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ. ΠΠ°Π±ΠΎΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ β ΡΡΠΎ ΠΊΠΎΠ½ΠΊΡΠ΅ΡΠ½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π²ΡΠ΅Ρ Π°ΡΠ³ΡΠΌΠ΅Π½ΡΠΎΠ² ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ.
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ
ΠΏΠΎΠ΄ΡΠΎΠ±Π½Π΅Π΅ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ ΠΈΠ½ΡΠ΅ΡΠ΅ΡΠ½ΡΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π½Π°Π΄ ΠΎΠ΄Π½ΠΎΠΉ ΠΈΠ»ΠΈ Π΄Π²ΡΠΌΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠΌΠΈ.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅
ΠΡΠΈΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ ΡΠ°ΡΡΠΈΡΡ Β«Π½Π΅Β» ΠΊ ΡΠΊΠ°Π·ΡΠ΅ΠΌΠΎΠΌΡ Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΏΡΠΎΡΡΠΎΠ³ΠΎ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ A Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠ΅ΠΉ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ ΠΈΠ»ΠΈ ΠΈΠ½Π²Π΅ΡΡΠΈΠ΅ΠΉ. ΠΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ ΠΈΠ»ΠΈA .
ΠΠ½ΠΎΠ³Π΄Π° Π²ΠΌΠ΅ΡΡΠΎ ΠΏΡΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠ³ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡ Π΄ΡΡΠ³ΠΎΠ΅, Π΅ΠΌΡ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎΠ΅: ΠΏΡΠΈΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅ ΡΠ»ΠΎΠ² Β«ΠΠ΅Π²Π΅ΡΠ½ΠΎ, ΡΡΠΎ β¦Β» ΠΊΠΎ Π²ΡΠ΅ΠΌΡ Π΄Π°Π½Π½ΠΎΠΌΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ A Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠ΅ΠΉ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ. Π ΡΠ΅Π·ΡΠ»ΡΡΠ°ΡΠ΅ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ ΠΏΠΎΠ»ΡΡΠ°Π΅ΡΡΡ Π½ΠΎΠ²ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ:
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈΠ½Π²Π΅ΡΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ Π²ΠΈΠ΄:
ΠΠ½Π²Π΅ΡΡΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ ΠΈΡΡΠΈΠ½Π½Π°, Π΅ΡΠ»ΠΈ ΡΠ°ΠΌΠ° ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½Π°Ρ Π»ΠΎΠΆΠ½Π°, ΠΈ, Π½Π°ΠΎΠ±ΠΎΡΠΎΡ, ΠΈΠ½Π²Π΅ΡΡΠΈΡ Π»ΠΎΠΆΠ½Π°, Π΅ΡΠ»ΠΈ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½Π°Ρ ΠΈΡΡΠΈΠ½Π½Π°.
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅
Π‘ΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅
Π΄Π²ΡΡ
ΠΏΡΠΎΡΡΡΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ A ΠΈ B Π² ΠΎΠ΄Π½ΠΎ
ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠΎΡΠ·Π° Β«ΠΈΒ»
Π½Π°Π·ΡΠ²Π°ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ
ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈΠ»ΠΈ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ, Π° ΡΠ΅Π·ΡΠ»ΡΡΠ°Ρ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ
ΠΏΡΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ΠΌ.
Π£ΠΊΠ°Π·Π°Π½ΠΈΠ΅ ΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΌ ΠΏΠ΅ΡΠ΅ΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠΈ ΠΏΡΠΎΡΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ A ΠΈ B ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ ΡΠ°ΠΊ: A βB
ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ:
Π ΡΡΡΡΠΊΠΎΠΌ ΡΠ·ΡΠΊΠ΅ Π² ΠΊΠ°ΡΠ΅ΡΡΠ²Π΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Β«Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅Β» ΠΏΠΎΠΌΠΈΠΌΠΎ ΡΠΎΡΠ·Π° Β«ΠΈΒ» ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ ΡΠΎΡΠ·Ρ Β«Π½ΠΎΒ» ΠΈ Β«Π°Β».
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΉ Π²ΠΈΠ΄:
ΠΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ Π΄Π²ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ ΠΈΡΡΠΈΠ½Π½Π° ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ ΠΈΡΡΠΈΠ½Π½Ρ.
ΠΡΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±ΠΎΠ±ΡΠΈΡΡ Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π° Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ , ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½Π½ΡΡ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ.
Aβ Bβ C = 1, ΡΠΎΠ»ΡΠΊΠΎ Π΅ΡΠ»ΠΈ A = 1, B
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅
ΠΠ΅ΡΠ΅Π΄
ΡΠ΅ΠΌ ΠΊΠ°ΠΊ ΠΏΡΠΈΠ²Π΅ΡΡΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΡΡΠΎΠΉ
ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ, Π΄Π°Π΄ΠΈΠΌ Π½Π΅ΠΊΠΎΡΠΎΡΡΠ΅ ΡΠ°Π·ΡΡΡΠ½Π΅Π½ΠΈΡ. Π‘ΠΎΡΠ· Β«ΠΈΠ»ΠΈΒ» Π² ΠΎΠ±ΠΈΡ
ΠΎΠ΄Π΅ ΠΌΡ ΠΏΡΠΈΠΌΠ΅Π½ΡΠ΅ΠΌ Π² Π΄Π²ΡΡ
Π·Π½Π°ΡΠ΅Π½ΠΈΡΡ
: ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠ΅ΠΌ ΠΈ Π½Π΅ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠ΅ΠΌ.
Π Π°Π·ΡΡΡΠ½ΠΈΠΌ ΡΡΠΎ ΠΏΡΠΈΠΌΠ΅ΡΠ°ΠΌΠΈ.
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΠΏΠΎΠ²Π΅ΡΡΠ²ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅: Β«ΠΠΎΠ»ΠΎΠ΄Ρ Π²ΡΠ΅ΡΠ° Π² ΡΠ΅ΡΡΡ ΡΠ°ΡΠΎΠ² Π²Π΅ΡΠ΅ΡΠ° ΡΠΈΡΠ°Π» ΠΊΠ½ΠΈΠ³Ρ ΠΈΠ»ΠΈ Π΅Ρ Π°Π» Π² Π°Π²ΡΠΎΠ±ΡΡΠ΅ Π½Π° ΡΡΠ°Π΄ΠΈΠΎΠ½.Β». Π‘ΠΎΡΠ· Β«ΠΈΠ»ΠΈΒ» ΠΈΡΠΏΠΎΠ»ΡΠ·ΠΎΠ²Π°Π½ Π² ΡΡΠΎΠΌ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΈ Π² Π½Π΅ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠ΅ΠΌ ΡΠΌΡΡΠ»Π΅ β ΠΠΎΠ»ΠΎΠ΄Ρ ΠΌΠΎΠ³ ΡΠΈΡΠ°ΡΡ ΠΈ ΠΎΠ΄Π½ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠ΅ Π΅Ρ Π°ΡΡ Π² Π°Π²ΡΠΎΠ±ΡΡΠ΅. ΠΠ΄Π½ΠΎ Π½Π΅ ΠΈΡΠΊΠ»ΡΡΠ°Π΅Ρ Π΄ΡΡΠ³ΠΎΠ³ΠΎ.
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ Π΅ΡΠ΅ ΠΎΠ΄Π½ΠΎ ΠΏΠΎΠ²Π΅ΡΡΠ²ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅. Β«ΠΠΎΠ»ΠΎΠ΄Ρ Π²ΡΠ΅ΡΠ° Π½Π°Π±Π»ΡΠ΄Π°Π» Π·Π° Ρ ΠΎΠ΄ΠΎΠΌ ΠΌΠ°ΡΡΠ° Ρ Π·Π°ΠΏΠ°Π΄Π½ΠΎΠΉ ΠΈΠ»ΠΈ Π²ΠΎΡΡΠΎΡΠ½ΠΎΠΉ ΡΡΠΈΠ±ΡΠ½ΡΒ». ΠΠ΄Π΅ΡΡ ΡΠΎΡΠ· Β«ΠΈΠ»ΠΈΒ» ΠΈΠΌΠ΅Π΅Ρ ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠΈΠΉ Ρ Π°ΡΠ°ΠΊΡΠ΅Ρ β Π΄Π²Π΅ ΠΎΠΏΠΈΡΡΠ²Π°Π΅ΠΌΡΠ΅ ΡΠΈΡΡΠ°ΡΠΈΠΈ ΠΈΡΠΊΠ»ΡΡΠ°ΡΡ Π΄ΡΡΠ³ Π΄ΡΡΠ³Π°: Π½Π΅Π»ΡΠ·Ρ Π½Π°Π±Π»ΡΠ΄Π°ΡΡ ΠΎΠ΄ΠΈΠ½ ΠΈ ΡΠΎΡ ΠΆΠ΅ ΠΌΠ°ΡΡ ΠΎΠ΄Π½ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎ Ρ Π΄Π²ΡΡ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΡΡ ΡΡΠΈΠ±ΡΠ½.
Π‘ΠΎΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΠ΅
Π΄Π²ΡΡ
ΠΏΡΠΎΡΡΡΡ
Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ A ΠΈ B Π² ΠΎΠ΄Π½ΠΎ
ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ Ρ ΠΏΠΎΠΌΠΎΡΡΡ ΡΠΎΡΠ·Π° Β«ΠΈΠ»ΠΈΒ»,
ΡΠΏΠΎΡΡΠ΅Π±Π»ΡΠ΅ΠΌΠΎΠ³ΠΎ Π² Π½Π΅ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠ΅ΠΌ ΡΠΌΡΡΠ»Π΅,
Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΌ
ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈΠ»ΠΈ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ, Π° ΠΏΠΎΠ»ΡΡΠ΅Π½Π½ΠΎΠ΅
ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ β Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ
ΡΡΠΌΠΌΠΎΠΉ.
Π£ΠΊΠ°Π·Π°Π½ΠΈΠ΅ ΠΎ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎΡΡΠΈ Π²ΡΠΏΠΎΠ»Π½ΠΈΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΡΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠΉ
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ ΡΠ»Π΅Π΄ΡΡΡΠΈΠΉ Π²ΠΈΠ΄:
ΠΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ Π΄Π²ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ Π»ΠΎΠΆΠ½Π° ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ Π»ΠΎΠΆΠ½Ρ.
ΠΡΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠ±ΠΎΠ±ΡΠΈΡΡ Π΄Π»Ρ Π»ΡΠ±ΠΎΠ³ΠΎ ΠΊΠΎΠ»ΠΈΡΠ΅ΡΡΠ²Π° Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ , ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½Π½ΡΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΠ΅ΠΉ.
A + B + C = 0, ΡΠΎΠ»ΡΠΊΠΎ Π΅ΡΠ»ΠΈ A = 0, B = 0, C = 0. (2)
3.1: ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΡ
- ΠΠΎΡΠ»Π΅Π΄Π½Π΅Π΅ ΠΎΠ±Π½ΠΎΠ²Π»Π΅Π½ΠΈΠ΅
- Π‘ΠΎΡ ΡΠ°Π½ΠΈΡΡ ΠΊΠ°ΠΊ PDF
- ΠΠ΄Π΅Π½ΡΠΈΡΠΈΠΊΠ°ΡΠΎΡ ΡΡΡΠ°Π½ΠΈΡΡ
- 80504
- Al Doerr & Ken Levasseur
- ΠΠ°ΡΡΠ°ΡΡΡΠ΅ΡΡΠΊΠΈΠΉ ΡΠ½ΠΈΠ²Π΅ΡΡΠΈΡΠ΅Ρ ΠΠΎΡΡΠ»Π»
Propositions
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{1}\): Proposition
ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ β ΡΡΠΎ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΠΊ ΠΊΠΎΡΠΎΡΠΎΠΌΡ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ ΠΎΡΠΌΡΡΠ»Π΅Π½Π½ΠΎ ΠΏΡΠΈΠΌΠ΅Π½Π΅Π½ΠΎ ΠΎΠ΄Π½ΠΎ ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΠΎΠ΄Π½ΠΎ ΠΈΠ· ΡΡΠ»ΠΎΠ²ΠΈΠΉ true ΠΈΠ»ΠΈ false .
ΠΡΠΈΠΌΠ΅Ρ \(\PageIndex{1}\): Π½Π΅ΠΊΠΎΡΠΎΡΡΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΡ
Β«Π§Π΅ΡΡΡΠ΅ ΡΠ΅ΡΠ½ΡΠ΅Β», Β«\(4 \in \{1,3, 5\}\)Β» ΠΈ Β«\(43 > 21\) )Β» ΡΠ²Π»ΡΡΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡΠΌΠΈ.
Π ΡΡΠ°Π΄ΠΈΡΠΈΠΎΠ½Π½ΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠ΅ Π΄Π΅ΠΊΠ»Π°ΡΠ°ΡΠΈΠ²Π½ΠΎΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Ρ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΡΠΌ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΡΡΠΈΡΠ°Π΅ΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. Π₯ΠΎΡΡ Π½Π°ΡΠ΅ΠΉ ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠΉ ΡΠ΅Π»ΡΡ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΎΠ±ΡΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΌΡ Π½Π΅ Π±ΡΠ΄Π΅ΠΌ ΠΏΠΎΠ»Π½ΠΎΡΡΡΡ ΠΎΡΠ΄Π΅Π»ΡΡΡΡΡ ΠΎΡ ΡΡΠ°Π΄ΠΈΡΠΈΠΎΠ½Π½ΠΎΠΉ ΠΎΠ±ΡΡΠ°Π½ΠΎΠ²ΠΊΠΈ. ΠΡΠΎ Π΅ΡΡΠ΅ΡΡΠ²Π΅Π½Π½ΠΎ, ΠΏΠΎΡΠΎΠΌΡ ΡΡΠΎ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΏΡΠ΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈΠ»ΠΈ ΠΏΠΎΡΡΡΠ»Π°ΡΡ ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΡΠ΅ΡΠΊΠΎΠΉ Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΌΠΎΠ΄Π΅Π»ΠΈΡΡΡΡΡΡ ΠΏΠΎ ΠΎΠ±ΡΠ°Π·ΡΡ Π»ΠΎΠ³ΠΈΠΊΠΈ, ΠΊΠΎΡΠΎΡΡΡ ΠΌΡ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌ Π² ΠΏΠΎΠ²ΡΠ΅Π΄Π½Π΅Π²Π½ΠΎΠΉ ΠΆΠΈΠ·Π½ΠΈ. ΠΠΎΡΠΊΠΎΠ»ΡΠΊΡ Π² ΠΏΠΎΠ²ΡΠ΅Π΄Π½Π΅Π²Π½ΠΎΠΉ ΡΠ΅ΡΠΈ ΡΠ°ΡΡΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ ΡΠ»ΠΎΠΆΠ½ΡΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ, ΠΌΡ ΠΎΠΆΠΈΠ΄Π°Π΅ΠΌ, ΡΡΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΡΠΎΠ΄Π΅ΡΠΆΠ°Ρ ΡΠ°ΠΊΠΈΠ΅ ΡΠ²ΡΠ·ΠΊΠΈ, ΠΊΠ°ΠΊ ΡΠ»ΠΎΠ²ΠΎ Β«ΠΈΒ». Π£ΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Β«ΠΠ²ΡΠΎΠΏΠ° ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΈΠ²Π°Π΅Ρ ΠΆΠΈΠ·Π½Ρ ΠΈΠ»ΠΈ ΠΠ°ΡΡ ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΈΠ²Π°Π΅Ρ ΠΆΠΈΠ·Π½ΡΒ» ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΈ, ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π΄ΠΎΠ»ΠΆΠ½ΠΎ ΠΈΠΌΠ΅ΡΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½ΠΎΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅. ΠΠ°ΠΊΠΈΠΌ Π±Ρ Π½ΠΈ Π±ΡΠ»ΠΎ ΡΡΠΎ ΠΈΡΡΠΈΠ½Π½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅, ΠΎΠ½ΠΎ Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±ΡΡΡ ΡΠ°ΠΊΠΈΠΌ ΠΆΠ΅, ΠΊΠ°ΠΊ ΠΈΡΡΠΈΠ½Π½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Β«ΠΠ°ΡΡ ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΈΠ²Π°Π΅Ρ ΠΆΠΈΠ·Π½Ρ ΠΈΠ»ΠΈ ΠΠ²ΡΠΎΠΏΠ° ΠΏΠΎΠ΄Π΄Π΅ΡΠΆΠΈΠ²Π°Π΅Ρ ΠΆΠΈΠ·Π½ΡΒ».
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ
Π‘ΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΡΠΏΠΎΡΠΎΠ±ΠΎΠ² ΠΎΠ±ΡΠ΅Π΄ΠΈΠ½Π΅Π½ΠΈΡ ΠΏΡΠΎΡΡΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ² Π² ΡΠΎΡΡΠ°Π²Π½ΡΠ΅. Π‘Π»ΠΎΠ²Π°/ΡΡΠ°Π·Ρ ΠΈ , ΠΈΠ»ΠΈ , Π½Π΅ , Π΅ΡΠ»ΠΈβ¦ ΡΠΎβ¦ , ΠΈ β¦Π΅ΡΠ»ΠΈ ΠΈ ΡΠΎΠ»ΡΠΊΠΎ Π΅ΡΠ»ΠΈβ¦ ΠΌΠΎΠΆΠ½ΠΎ Π΄ΠΎΠ±Π°Π²ΠΈΡΡ ΠΊ ΠΎΠ΄Π½ΠΎΠΌΡ ΠΈΠ»ΠΈ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΈΠΌ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡΠΌ Π΄Π»Ρ ΡΠΎΠ·Π΄Π°Π½ΠΈΡ Π½ΠΎΠ²ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅. Π§ΡΠΎΠ±Ρ ΠΈΠ·Π±Π΅ΠΆΠ°ΡΡ ΠΏΡΡΠ°Π½ΠΈΡΡ, ΠΌΡ ΡΠΎΡΠ½ΠΎ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΠΌ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· Π½ΠΈΡ ΠΈ Π²Π²Π΅Π΄Π΅ΠΌ Π΅Π³ΠΎ ΡΡΠ°Π½Π΄Π°ΡΡΠ½ΡΠΉ ΡΠΈΠΌΠ²ΠΎΠ». ΠΠ° ΠΈΡΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ΠΌ ΠΎΡΡΠΈΡΠ°Π½ΠΈΡ (
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{2}\): ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ
ΠΡΠ»ΠΈ \(p\) ΠΈ \(q\) ΡΠ²Π»ΡΡΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ, ΠΈΡ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΡ \(p \textrm{ ΠΈ } q\) (ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ \( p \land q\)) ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΡΠ°Π±Π»ΠΈΡΠ΅ΠΉ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
\begin{equation*} \begin{array}{ccc} p & q & p\land q \\ \hline 0 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \\ 1 & 1 & 1 \\ \end{array} \end{equation*}
ΠΡΠΈΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ \(\PageIndex{1}\)
- Π§ΡΠΎΠ±Ρ ΠΏΡΠΎΡΠΈΡΠ°ΡΡ ΡΡΡ ΠΏΡΠ°Π²Π΄Ρ ΡΠ°Π±Π»ΠΈΡΡ, Π²Ρ Π΄ΠΎΠ»ΠΆΠ½Ρ ΠΏΠΎΠ½ΠΈΠΌΠ°ΡΡ, ΡΡΠΎ Π»ΡΠ±Π°Ρ ΡΡΡΠΎΠΊΠ° ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΡΠ»ΡΡΠ°ΠΉ: ΠΎΠ΄ΠΈΠ½ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΠΉ Π½Π°Π±ΠΎΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ Π΄Π»Ρ \(p\) ΠΈ \(q\text{.
}\)
- Π¦ΠΈΡΡΡ 0 ΠΈ 1 ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ Π΄Π»Ρ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ Π»ΠΎΠΆΠ½ΡΡ ΠΈ ΠΈΡΡΠΈΠ½Π½ΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎ. ΠΡΠΎ ΡΠΎΠ³Π»Π°ΡΡΠ΅ΡΡΡ ΡΠΎ ΡΠΏΠΎΡΠΎΠ±ΠΎΠΌ, ΠΊΠΎΡΠΎΡΡΠΌ ΠΌΠ½ΠΎΠ³ΠΈΠ΅ ΡΠ·ΡΠΊΠΈ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ ΠΎΠ±ΡΠ°Π±Π°ΡΡΠ²Π°ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΈΠ»ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ ΠΎΠ΄ΠΈΠ½ Π±ΠΈΡ, 0 ΠΈΠ»ΠΈ 1, ΠΌΠΎΠΆΠ΅Ρ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΡΡ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ.
- Π ΠΊΠ°ΠΆΠ΄ΠΎΠΌ ΡΠ»ΡΡΠ°Π΅ ΡΠΈΠΌΠ²ΠΎΠ» ΠΏΠΎΠ΄ \(p\) ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΠΈΡΡΠΈΠ½Π½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ \(p\text{.}\) Π’ΠΎ ΠΆΠ΅ Π²Π΅ΡΠ½ΠΎ Π΄Π»Ρ \(q\text{.}\) Π‘ΠΈΠΌΠ²ΠΎΠ» ΠΏΠΎΠ΄ \(p \ land q\) ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ Π΅Π³ΠΎ ΠΈΡΡΠΈΠ½Π½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ Π΄Π»Ρ ΡΡΠΎΠ³ΠΎ ΡΠ»ΡΡΠ°Ρ. ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, Π²ΡΠΎΡΠ°Ρ ΡΡΡΠΎΠΊΠ° ΡΠ°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΡΠ»ΡΡΠ°ΠΉ, ΠΊΠΎΠ³Π΄Π° \(p\) Π»ΠΎΠΆΠ½ΠΎ, \(q\) ΠΈΡΡΠΈΠ½Π½ΠΎ, Π° ΡΠ΅Π·ΡΠ»ΡΡΠΈΡΡΡΡΠ΅Π΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ \(p \land q\) Π»ΠΎΠΆΠ½ΠΎ. ΠΠ°ΠΊ ΠΈ Π² ΠΏΠΎΠ²ΡΠ΅Π΄Π½Π΅Π²Π½ΠΎΠΉ ΡΠ΅ΡΠΈ, \(p \land q\) ΠΈΡΡΠΈΠ½Π½ΠΎ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈΡΡΠΈΠ½Π½Ρ.
- ΠΡΠΊΠ²Ρ \(x\text{,}\) \(y\) ΠΈ \(z\) ΡΠ°ΡΡΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ Π² Π°Π»Π³Π΅Π±ΡΠ΅ Π΄Π»Ρ ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ΅Π½ΠΈΡ ΡΠΈΡΠ»ΠΎΠ²ΡΡ
ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
, \(p\text{,}\) \(q\ ) ΠΈ \(r\) ΠΊΠ°ΠΆΡΡΡΡ Π½Π°ΠΈΠ±ΠΎΠ»Π΅Π΅ ΡΠ°ΡΡΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΠΌΡΠΌΠΈ ΡΠΈΠΌΠ²ΠΎΠ»Π°ΠΌΠΈ Π΄Π»Ρ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΡ
. ΠΠΎΠ³Π΄Π° ΠΌΡ Π³ΠΎΠ²ΠΎΡΠΈΠΌ, ΡΡΠΎ \(p\) ΡΠ²Π»ΡΠ΅ΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΠΎΠΉ, ΠΌΡ ΠΈΠΌΠ΅Π΅ΠΌ Π² Π²ΠΈΠ΄Ρ, ΡΡΠΎ Π»ΡΠ±ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ΅Ρ Π·Π°Π½ΡΡΡ ΠΌΠ΅ΡΡΠΎ \(p\text{.
}\) - Π ΠΏΠΎΡΠ»Π΅Π΄Π½Π΅Π΅ Π·Π°ΠΌΠ΅ΡΠ°Π½ΠΈΠ΅: ΠΏΠΎΡΡΠ΄ΠΎΠΊ, Π² ΠΊΠΎΡΠΎΡΠΎΠΌ ΠΌΡ ΠΏΠ΅ΡΠ΅ΡΠΈΡΠ»ΡΠ΅ΠΌ ΡΠ»ΡΡΠ°ΠΈ Π² ΡΠ°Π±Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ, Π² ΡΡΠΎΠΉ ΠΊΠ½ΠΈΠ³Π΅ ΡΡΠ°Π½Π΄Π°ΡΡΠΈΠ·ΠΈΡΠΎΠ²Π°Π½. ΠΡΠ»ΠΈ ΡΠ°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π²ΠΊΠ»ΡΡΠ°Π΅Ρ Π΄Π²Π° ΠΏΡΠΎΡΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ, ΡΠΈΡΠ»Π° ΠΏΠΎΠ΄ ΠΏΡΠΎΡΡΡΠΌΠΈ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡΠΌΠΈ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠΈΡΠΎΠ²Π°ΡΡ ΠΊΠ°ΠΊ Π΄Π²ΡΠ·Π½Π°ΡΠ½ΡΠ΅ Π΄Π²ΠΎΠΈΡΠ½ΡΠ΅ ΡΠ΅Π»ΡΠ΅ ΡΠΈΡΠ»Π° Π² Π²ΠΎΠ·ΡΠ°ΡΡΠ°ΡΡΠ΅ΠΌ ΠΏΠΎΡΡΠ΄ΠΊΠ΅: 00, 01, 10 ΠΈ 11 Π΄Π»Ρ 0, 1, 2 ΠΈ 3 ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²Π΅Π½Π½ΠΎ.
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{3}\): ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠ°Ρ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ
ΠΡΠ»ΠΈ \(p\) ΠΈ \(q\) ΡΠ²Π»ΡΡΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ, ΠΈΡ Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ \(p \textrm{ ΠΈΠ»ΠΈ } q\) (ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ \( p \lor q\)), ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΡΠ°Π±Π»ΠΈΡΠ΅ΠΉ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
\begin{equation*} \begin{array}{ccc} p & q & p\lor q \\ \hline 0 & 0 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 1 \\ \end{ΠΌΠ°ΡΡΠΈΠ²} \end{ΡΡΠ°Π²Π½Π΅Π½ΠΈΠ΅*}
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{4}\): Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠ΅ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅
ΠΡΠ»ΠΈ \ (p\) Π΅ΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, Π΅Π³ΠΎ ΠΎΡΡΠΈΡΠ°Π½ΠΈΠ΅, \(\textrm{not } p\text{,}\) ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΡΡΡ \(\neg p\text{,}\) ΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΡΠ°Π±Π»ΠΈΡΠ΅ΠΉ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
\begin{equation*} \begin{array}{cc} p & \neg p \\ \hline 0 & 1 \\ 1 & 0 \\ \end{array} \end{equation*}
ΠΡΠΈΠΌΠ΅ΡΠ°Π½ΠΈΠ΅ \ (\PageIndex{2}\)
ΠΡΡΠΈΡΠ°Π½ΠΈΠ΅ β Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΡΠΉ ΡΡΠ°Π½Π΄Π°ΡΡΠ½ΡΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡ, ΠΊΠΎΡΠΎΡΡΠΉ Π΄Π΅ΠΉΡΡΠ²ΡΠ΅Ρ Π½Π° ΠΎΠ΄Π½ΠΎ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅; ΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎ, Π½Π΅ΠΎΠ±Ρ
ΠΎΠ΄ΠΈΠΌΡ ΡΠΎΠ»ΡΠΊΠΎ Π΄Π²Π° ΡΠ»ΡΡΠ°Ρ.
Π Π°ΡΡΠΌΠΎΡΡΠΈΠΌ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈΠ· ΠΏΠΎΠ²ΡΠ΅Π΄Π½Π΅Π²Π½ΠΎΠΉ ΡΠ΅ΡΠΈ:
- Π― ΡΠ²ΠΎΠ»ΡΡΡ, Π΅ΡΠ»ΠΈ Π½Π΅ ΠΏΠΎΠ»ΡΡΡ ΠΏΠΎΠ²ΡΡΠ΅Π½ΠΈΡ.
- ΠΡΠ»ΠΈ Ρ ΠΏΡΠΎΠΉΠ΄Ρ ΡΠΈΠ½Π°Π», Ρ Π·Π°ΠΊΠΎΠ½ΡΡ ΡΠΊΠΎΠ»Ρ.
- Π― ΠΏΠΎΠΉΠ΄Ρ Π² ΠΊΠΈΠ½ΠΎ, Π΅ΡΠ»ΠΈ ΠΌΠΎΡ ΠΌΠ°ΡΠΈΠ½Π° Π·Π°Π²Π΅Π΄Π΅ΡΡΡ.
ΠΡΠ΅ ΡΡΠΈ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ ΡΡΠ»ΠΎΠ²Π½Ρ, ΠΈΡ Π²ΡΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠ΅ΡΠ΅ΡΠΎΡΠΌΡΠ»ΠΈΡΠΎΠ²Π°ΡΡ ΡΠ°ΠΊ, ΡΡΠΎΠ±Ρ ΠΎΠ½ΠΈ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΎΠ²Π°Π»ΠΈ ΡΠΎΡΠΌΠ΅ Β«ΠΡΠ»ΠΈ Π£ΡΠ»ΠΎΠ²ΠΈΠ΅ , ΡΠΎ ΠΠ°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ Β». ΠΠ°ΠΏΡΠΈΠΌΠ΅Ρ, ΠΏΠ΅ΡΠ²ΠΎΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΠ΅ΡΠ΅ΠΏΠΈΡΠ°ΡΡ ΡΠ°ΠΊ: Β«ΠΡΠ»ΠΈ Ρ Π½Π΅ ΠΏΠΎΠ»ΡΡΡ ΠΏΠΎΠ²ΡΡΠ΅Π½ΠΈΡ, Ρ ΡΠ²ΠΎΠ»ΡΡΡΒ».
Π£ΡΠ»ΠΎΠ²Π½ΠΎΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ΡΠ»Π΅Π΄ΡΠ΅Ρ ΠΈΠ½ΡΠ΅ΡΠΏΡΠ΅ΡΠΈΡΠΎΠ²Π°ΡΡ ΠΊΠ°ΠΊ Π³Π°ΡΠ°Π½ΡΠΈΡ; Π΅ΡΠ»ΠΈ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ, ΡΠΎ ΠΎΠΆΠΈΠ΄Π°Π΅ΡΡΡ, ΡΡΠΎ Π·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ Π±ΡΠ΄Π΅Ρ ΠΈΡΡΠΈΠ½Π½ΡΠΌ. ΠΠΎΠ²ΠΎΡΠΈΡ Π½Π΅ Π±ΠΎΠ»ΡΡΠ΅ ΠΈ Π½Π΅ ΠΌΠ΅Π½ΡΡΠ΅.
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{5}\): ΡΡΠ»ΠΎΠ²Π½ΠΎΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅
Π£ΡΠ»ΠΎΠ²Π½ΠΎΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Β«ΠΡΠ»ΠΈ \(p\), ΡΠΎ \(q\text{,}\)Β», ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΠΌΠΎΠ΅ \(p \rightarrow q\text{,}\), ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΡΠ°Π±Π»ΠΈΡΠ΅ΠΉ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
Π’Π°Π±Π»ΠΈΡΠ° \(\ PageIndex{1}\: Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ \(p\ΡΡΡΠ΅Π»ΠΊΠ° Π²ΠΏΡΠ°Π²ΠΎ q\)
\(p\) | \(ΠΊ\) | \(p\ΡΡΡΠ΅Π»ΠΊΠ° Π²ΠΏΡΠ°Π²ΠΎ q\) |
---|---|---|
\(0\) | \(0\) | \(1\) |
\(0\) | \(1\) | \(1\) |
\(1\) | \(0\) | \(0\) |
\(1\) | \(1\) | \(1\) |
ΠΡΠΈΠΌΠ΅Ρ \(\PageIndex{2}\): ΠΠ½Π°Π»ΠΈΠ· ΡΡΠ»ΠΎΠ²Π½ΠΎΠ³ΠΎ ΡΡΠΆΠ΄Π΅Π½ΠΈΡ
ΠΡΠ΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Π²Π°Ρ ΠΏΡΠ΅ΠΏΠΎΠ΄Π°Π²Π°ΡΠ΅Π»Ρ ΡΠΊΠ°Π·Π°Π» Π²Π°ΠΌ: Β«ΠΡΠ»ΠΈ Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΡΠ΅ ΠΎΡΠ΅Π½ΠΊΡ 95 ΠΈΠ»ΠΈ Π²ΡΡΠ΅ Π½Π° Π²ΡΠΏΡΡΠΊΠ½ΠΎΠΌ ΡΠΊΠ·Π°ΠΌΠ΅Π½Π΅, Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΡΠ΅ ΠΏΡΡΠ΅ΡΠΊΡ Π½Π° ΡΡΠΎΠΌ ΡΠΊΠ·Π°ΠΌΠ΅Π½Π΅Β». ΠΊΡΡΡ.Β» ΠΠ°Ρ ΠΈΠ½ΡΡΡΡΠΊΡΠΎΡ Π΄Π°Π» Π²Π°ΠΌ ΠΎΠ±Π΅ΡΠ°Π½ΠΈΠ΅. ΠΡΠ»ΠΈ Π²Ρ Π²ΡΠΏΠΎΠ»Π½ΡΠ΅ΡΠ΅ Π΅Π³ΠΎ ΡΡΠ»ΠΎΠ²ΠΈΠ΅, Π²Ρ ΠΎΠΆΠΈΠ΄Π°Π΅ΡΠ΅, ΡΡΠΎ Π²ΡΠ²ΠΎΠ΄ (ΠΏΠΎΠ»ΡΡΠ΅Π½ΠΈΠ΅ ΠΏΡΡΠ΅ΡΠΊΠΈ) Π±ΡΠ΄Π΅Ρ Π½Π΅ Π·Π° Π³ΠΎΡΠ°ΠΌΠΈ. ΠΡΠ΅Π΄ΠΏΠΎΠ»ΠΎΠΆΠΈΠΌ, Π²Π°ΠΌ Π²Π΅ΡΠ½ΡΠ»ΠΈ ΠΈΡΠΎΠ³ΠΎΠ²ΡΡ ΠΎΡΠ΅Π½ΠΊΡ. ΠΠ°Ρ ΠΈΠ½ΡΡΡΡΠΊΡΠΎΡ ΡΠΊΠ°Π·Π°Π» ΠΏΡΠ°Π²Π΄Ρ ΠΈΠ»ΠΈ ΠΎΠ½ Π²ΠΈΠ½ΠΎΠ²Π΅Π½ Π²ΠΎ Π»ΠΆΠΈ?
Π‘Π»ΡΡΠ°ΠΉ I: ΠΠ°Ρ ΠΈΡΠΎΠ³ΠΎΠ²ΡΠΉ Π±Π°Π»Π» Π·Π° ΡΠΊΠ·Π°ΠΌΠ΅Π½ Π±ΡΠ» ΠΌΠ΅Π½ΡΡΠ΅ 95 (ΡΡΠ»ΠΎΠ²ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ), ΠΈ Π²Ρ Π½Π΅ ΠΏΠΎΠ»ΡΡΠΈΠ»ΠΈ ΠΏΡΡΠ΅ΡΠΊΡ (Π·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ). ΠΠ½ΡΡΡΡΠΊΡΠΎΡ ΡΠΊΠ°Π·Π°Π» ΠΏΡΠ°Π²Π΄Ρ.
Π‘Π»ΡΡΠ°ΠΉ II: ΠΠ°Ρ ΠΈΡΠΎΠ³ΠΎΠ²ΡΠΉ Π±Π°Π»Π» Π½Π° ΡΠΊΠ·Π°ΠΌΠ΅Π½Π΅ Π±ΡΠ» Π½ΠΈΠΆΠ΅ 95, Π½ΠΎ Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΠ»ΠΈ ΠΏΡΡΠ΅ΡΠΊΡ Π·Π° ΠΊΡΡΡ. ΠΠ½ΡΡΡΡΠΊΡΠΎΡ ΡΠΊΠ°Π·Π°Π» ΠΏΡΠ°Π²Π΄Ρ. (ΠΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ, Π²Π°Ρ ΠΎΠ±ΡΠΈΠΉ ΡΡΠ΅Π΄Π½ΠΈΠΉ Π±Π°Π»Π» ΠΏΠΎ ΠΊΡΡΡΡ Π±ΡΠ» ΠΏΡΠ΅Π²ΠΎΡΡ ΠΎΠ΄Π½ΡΠΌ.)
Π‘Π»ΡΡΠ°ΠΉ III: ΠΠ°Ρ ΠΈΡΠΎΠ³ΠΎΠ²ΡΠΉ ΡΠΊΠ·Π°ΠΌΠ΅Π½Π°ΡΠΈΠΎΠ½Π½ΡΠΉ Π±Π°Π»Π» Π±ΡΠ» Π²ΡΡΠ΅ 95, Π½ΠΎ Π²Ρ Π½Π΅ ΠΏΠΎΠ»ΡΡΠΈΠ»ΠΈ ΠΏΡΡΠ΅ΡΠΊΡ. ΠΡΠ΅ΠΏΠΎΠ΄Π°Π²Π°ΡΠ΅Π»Ρ ΡΠΎΠ»Π³Π°Π».
Π‘Π»ΡΡΠ°ΠΉ IV: ΠΠ°Ρ ΠΈΡΠΎΠ³ΠΎΠ²ΡΠΉ Π±Π°Π»Π» Π·Π° ΡΠΊΠ·Π°ΠΌΠ΅Π½ Π±ΡΠ» Π²ΡΡΠ΅ 95, ΠΈ Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΠ»ΠΈ ΠΏΡΡΠ΅ΡΠΊΡ. ΠΠ½ΡΡΡΡΠΊΡΠΎΡ ΡΠΊΠ°Π·Π°Π» ΠΏΡΠ°Π²Π΄Ρ.
ΠΠΎΠ΄Π²ΠΎΠ΄Ρ ΠΈΡΠΎΠ³, Π΅Π΄ΠΈΠ½ΡΡΠ²Π΅Π½Π½ΡΠΉ ΡΠ»ΡΡΠ°ΠΉ, ΠΊΠΎΠ³Π΄Π° ΡΡΠ»ΠΎΠ²Π½ΠΎΠ΅ ΡΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ, ΡΡΠΎ ΠΊΠΎΠ³Π΄Π° ΡΡΠ»ΠΎΠ²ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎ, Π° Π·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎ.
ΠΠΎΡΡΠ΄ΠΎΠΊ ΡΡΠ»ΠΎΠ²ΠΈΡ ΠΈ Π·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΡ Π² ΡΡΠ»ΠΎΠ²Π½ΠΎΠΌ ΡΡΠΆΠ΄Π΅Π½ΠΈΠΈ Π²Π°ΠΆΠ΅Π½. ΠΡΠ»ΠΈ ΠΏΠΎΠΌΠ΅Π½ΡΡΡ ΠΌΠ΅ΡΡΠ°ΠΌΠΈ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ ΠΈ Π·Π°ΠΊΠ»ΡΡΠ΅Π½ΠΈΠ΅, ΠΏΠΎΠ»ΡΡΠΈΡΡΡ Π΄ΡΡΠ³ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅.
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{6}\): ΠΠ±ΡΠ°ΡΠ½ΠΎΠ΅
ΠΠ±ΡΠ°ΡΠ½ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ \(p \rightarrow q\) Π΅ΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ \(q \rightarrow p\text{.}\)
ΠΠ±ΡΠ°ΡΠ½ΠΎΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ Β«ΠΡΠ»ΠΈ Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΡΠ΅ ΠΎΡΠ΅Π½ΠΊΡ 95 ΠΈΠ»ΠΈ Π²ΡΡΠ΅ Π½Π° Π²ΡΠΏΡΡΠΊΠ½ΠΎΠΌ ΡΠΊΠ·Π°ΠΌΠ΅Π½Π΅, ΡΠΎ Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΡΠ΅ ΠΏΡΡΠ΅ΡΠΊΡ ΠΏΠΎ ΡΡΠΎΠΌΡ ΠΊΡΡΡΡΒ»: Β«ΠΡΠ»ΠΈ Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΡΠ΅ ΠΏΡΡΠ΅ΡΠΊΡ ΠΏΠΎ ΡΡΠΎΠΌΡ ΠΊΡΡΡΡ, ΡΠΎ Π²Ρ ΠΏΠΎΠ»ΡΡΠΈΡΠ΅ ΠΎΡΠ΅Π½ΠΊΡ 95 ΠΈΠ»ΠΈ Π²ΡΡΠ΅. Π»ΡΡΡΠ΅ Π½Π° Π²ΡΠΏΡΡΠΊΠ½ΠΎΠΌ ΡΠΊΠ·Π°ΠΌΠ΅Π½Π΅Β». ΠΠΎΠ»ΠΆΠ½ΠΎ Π±ΡΡΡ ΡΡΠ½ΠΎ, ΡΡΠΎ ΡΡΠΈ Π΄Π²Π° ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΡ Π³ΠΎΠ²ΠΎΡΡΡ ΠΎ ΡΠ°Π·Π½ΡΡ Π²Π΅ΡΠ°Ρ .
ΠΠ΄Π΅ΡΡ Π΅ΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅, ΡΠ²ΡΠ·Π°Π½Π½ΠΎΠ΅ Ρ \(p \rightarrow q\), ΠΊΠΎΡΠΎΡΠΎΠ΅ ΠΈΠΌΠ΅Π΅Ρ ΡΠΎΡ ΠΆΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠΉ ΡΠΌΡΡΠ». ΠΡΠΎ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΡΡΠ°Π²Π»Π΅Π½ΠΈΠ΅.
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{7}\): ΠΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΡΠΉ
ΠΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΡΠΌ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡ \(p \rightarrow q\) ΡΠ²Π»ΡΠ΅ΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ \(\neg q \rightarrow \neg p\text{.}\)
ΠΠ°ΠΊ ΠΌΡ ΡΠ²ΠΈΠ΄ΠΈΠΌ ΠΏΡΠΈ ΠΎΠ±ΡΡΠΆΠ΄Π΅Π½ΠΈΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ Π΄ΠΎΠΊΠ°Π·Π°ΡΠ΅Π»ΡΡΡΠ², ΠΌΡ ΠΌΠΎΠΆΠ΅ΠΌ Π΄ΠΎΠΊΠ°Π·Π°ΡΡ ΡΡΠ»ΠΎΠ²Π½ΠΎΠ΅ ΡΡΠΆΠ΄Π΅Π½ΠΈΠ΅, Π΄ΠΎΠΊΠ°Π·ΡΠ²Π°Ρ Π΅Π³ΠΎ ΠΏΡΠΎΡΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½ΠΎΡΡΡ, ΡΡΠΎ ΠΌΠΎΠΆΠ΅Ρ Π±ΡΡΡ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΠΏΡΠΎΡΠ΅.
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ \(\PageIndex{8}\): ΠΠΈΡΡΠ»ΠΎΠ²Π½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅
ΠΡΠ»ΠΈ \(p\) ΠΈ \(q\) ΡΠ²Π»ΡΡΡΡΡ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΡΠΌΠΈ, Π±ΠΈΡΡΠ»ΠΎΠ²Π½ΠΎΠ΅ Π²ΡΡΠΊΠ°Π·ΡΠ²Π°Π½ΠΈΠ΅ Β«\(p\) ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° \(q\text {,}\)Β», ΠΎΠ±ΠΎΠ·Π½Π°ΡΠ°Π΅ΠΌΡΠΉ \(p \leftrightarrow q\text{,}\), ΠΎΠΏΡΠ΅Π΄Π΅Π»ΡΠ΅ΡΡΡ ΡΠ°Π±Π»ΠΈΡΠ΅ΠΉ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ
\begin{equation*} \begin{array}{ccc} p & q & p\leftrightarrow q \\ \hline 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \\ 1 & 1 & 1 \\ \end{ΠΌΠ°ΡΡΠΈΠ²} \end{ΡΡΠ°Π²Π½Π΅Π½ΠΈΠ΅*}
ΠΠ±ΡΠ°ΡΠΈΡΠ΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, ΡΡΠΎ \(p \leftrightarrow q\) ΠΈΡΡΠΈΠ½Π½ΠΎ, ΠΊΠΎΠ³Π΄Π° \(p\) ΠΈ \(q\) ΠΈΠΌΠ΅ΡΡ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²ΡΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ. ΠΠ±ΡΡΠ½ΠΎ Β«Π΅ΡΠ»ΠΈ ΠΈ ΡΠΎΠ»ΡΠΊΠΎ Π΅ΡΠ»ΠΈΒ» ΡΠΎΠΊΡΠ°ΡΠ°ΡΡ Π΄ΠΎ Β«iffΒ».
Π₯ΠΎΡΡ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΡ Β«Π΅ΡΠ»ΠΈβ¦, ΡΠΎβ¦Β» ΠΈ Β«β¦Π΅ΡΠ»ΠΈ ΠΈ ΡΠΎΠ»ΡΠΊΠΎ Π΅ΡΠ»ΠΈβ¦Β» ΡΠ°ΡΡΠΎ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡΡΡΡ Π² ΠΏΠΎΠ²ΡΠ΅Π΄Π½Π΅Π²Π½ΠΎΠΉ ΡΠ΅ΡΠΈ, ΡΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ Π°Π»ΡΡΠ΅ΡΠ½Π°ΡΠΈΠ²Π½ΡΡ ΡΠΎΡΠΌ, ΠΎ ΠΊΠΎΡΠΎΡΡΡ Π²Π°ΠΌ ΡΠ»Π΅Π΄ΡΠ΅Ρ Π·Π½Π°ΡΡ. ΠΠ½ΠΈ ΡΠ²Π΅Π΄Π΅Π½Ρ Π² ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΠΏΠΈΡΠΊΠΈ.
ΠΡΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΡ Β«ΠΡΠ»ΠΈ \(p\), ΡΠΎ \(q\)Β»:
- \(p\) ΠΏΠΎΠ΄ΡΠ°Π·ΡΠΌΠ΅Π²Π°Π΅Ρ \(q\text{.}\)
- \(q\) ΡΠ»Π΅Π΄ΡΠ΅Ρ ΠΈΠ· \(p\text{.}\)
- \(p\text{,}\) ΡΠΎΠ»ΡΠΊΠΎ Π΅ΡΠ»ΠΈ \(q\text{.}\)
- \(q\text{,}\) Π΅ΡΠ»ΠΈ \(p\text{.}\)
- \(p\) Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ Π΄Π»Ρ \(q\text{.}\)
- \(q\) Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ Π΄Π»Ρ \(p\text{.}\)
ΠΡΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠΈΠ΅ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΡ Β«\(p\) ΡΠΎΠ³Π΄Π° ΠΈ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° \(q\)Β»:
- \(p\) Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΠΎ ΠΈ Π΄ΠΎΡΡΠ°ΡΠΎΡΠ½ΠΎ Π΄Π»Ρ \(q\text{.}\)
- \(p\) ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½ΡΠ½ΠΎ \(q\text{.}\)
- ΠΡΠ»ΠΈ \(p\text{,}\), ΡΠΎ \(q\text{,}\), Π° Π΅ΡΠ»ΠΈ \(q\text{,}\), ΡΠΎ \(p\text{.}\)
- ΠΡΠ»ΠΈ \(p\text{,}\), ΡΠΎ \(q\) ΠΈ Π½Π°ΠΎΠ±ΠΎΡΠΎΡ.
Π£ΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡ
Π£ΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{1}\)
ΠΡΡΡΡ \(d\) = Β«ΠΠ½Π΅ Π½ΡΠ°Π²ΡΡΡΡ Π΄ΠΈΡΠΊΡΠ΅ΡΠ½ΡΠ΅ ΡΡΡΡΠΊΡΡΡΡΒ», \(c\) = Β«Π― ΠΏΡΠΎΠΉΠ΄Ρ ΡΡΠΎΡ ΠΊΡΡΡΒ» ΠΈ \(s\) = Β«Π― Π±ΡΠ΄Ρ Π²ΡΠΏΠΎΠ»Π½ΡΡΡ ΡΠ²ΠΎΠΈ Π·Π°Π΄Π°Π½ΠΈΡΒ». ΠΡΡΠ°Π·ΠΈΡΠ΅ ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ ΠΈΠ· ΡΠ»Π΅Π΄ΡΡΡΠΈΡ
ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠΉ Π² ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΠΎΡΠΌΠ΅:
- ΠΠ½Π΅ Π½ΡΠ°Π²ΡΡΡΡ Π΄ΠΈΡΠΊΡΠ΅ΡΠ½ΡΠ΅ ΡΡΡΡΠΊΡΡΡΡ, ΠΈ Ρ ΠΏΡΠΎΠΉΠ΄Ρ ΡΡΠΎΡ ΠΊΡΡΡ.
- Π― Π±ΡΠ΄Ρ Π²ΡΠΏΠΎΠ»Π½ΡΡΡ Π·Π°Π΄Π°Π½ΠΈΡ ΠΈΠ»ΠΈ Π½Π΅ ΠΏΡΠΎΠΉΠ΄Ρ ΡΡΠΎΡ ΠΊΡΡΡ.
- ΠΠ΅ΠΏΡΠ°Π²Π΄Π°, ΡΡΠΎ Ρ Π»ΡΠ±Π»Ρ Π΄ΠΈΡΠΊΡΠ΅ΡΠ½ΡΠ΅ ΡΡΡΡΠΊΡΡΡΡ ΠΈ Π±ΡΠ΄Ρ Π²ΡΠΏΠΎΠ»Π½ΡΡΡ ΡΠ²ΠΎΠΈ Π·Π°Π΄Π°Π½ΠΈΡ.
- Π― Π½Π΅ Π±ΡΠ΄Ρ Π²ΡΠΏΠΎΠ»Π½ΡΡΡ Π·Π°Π΄Π°Π½ΠΈΠ΅ ΠΈ Π½Π΅ ΠΏΡΠΎΠΉΠ΄Ρ ΡΡΠΎΡ ΠΊΡΡΡ.
- ΠΡΠ²Π΅ΡΠΈΡΡ
- \(\displaystyle d\land c\)
- \(\displaystyle s\lor \neg c\)
- \(\displaystyle \neg (d\land s)\)
- \(\displaystyle \neg s\land \neg c\)
Π£ΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{2}\)
ΠΠ»Ρ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· ΡΠ»Π΅Π΄ΡΡΡΠΈΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠΉ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅ ΠΏΡΠΎΡΡΡΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ, Π²ΡΡΠ°Π·ΠΈΡΠ΅ ΡΠΎΡΡΠ°Π²Π½ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ Π² ΡΠΈΠΌΠ²ΠΎΠ»ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΠΎΡΠΌΠ΅ ΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅, ΠΈΡΡΠΈΠ½Π½ΠΎ ΠΎΠ½ΠΎ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎ:
- ΠΠΈΡ ΠΏΠ»ΠΎΡΠΊΠΈΠΉ ΠΈΠ»ΠΈ Π½ΠΎΠ»Ρ β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ.
- ΠΡΠ»ΠΈ 432 802 ΠΊΡΠ°ΡΠ½ΠΎ 4, ΡΠΎ 432 802 ΡΠ΅ΡΠ½ΠΎ.
- 5 β ΠΏΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, Π° 6 Π½Π΅ Π΄Π΅Π»ΠΈΡΡΡ Π½Π° 4.
- \(3 \in \mathbb{Z}\) ΠΈ \(3 \in \mathbb{Q}\text{.}\)
- \(2/3 \in \mathbb{Z}\) ΠΈ \(2/3 \in \mathbb{Q}\text{.}\)
- Π‘ΡΠΌΠΌΠ° Π΄Π²ΡΡ ΡΠ΅ΡΠ½ΡΡ ΡΠ΅Π»ΡΡ ΡΠΈΡΠ΅Π» ΡΠ΅ΡΠ½Π°, Π° ΡΡΠΌΠΌΠ° Π΄Π²ΡΡ Π½Π΅ΡΠ΅ΡΠ½ΡΡ ΡΠ΅Π»ΡΡ ΡΠΈΡΠ΅Π» Π½Π΅ΡΠ΅ΡΠ½Π°.
Π£ΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{3}\)
ΠΡΡΡΡ \(p =\)Β»\(2 \leq 5\)Β», \(q\) = Β«8 β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎΒ» ΠΈ \(r \) = Β«11 β ΠΏΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎΒ». ΠΡΡΠ°Π·ΠΈΡΠ΅ ΡΠ»Π΅Π΄ΡΡΡΠ΅Π΅ Π² Π²ΠΈΠ΄Π΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΡ Π½Π° Π°Π½Π³Π»ΠΈΠΉΡΠΊΠΎΠΌ ΡΠ·ΡΠΊΠ΅ ΠΈ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΠ΅, Π²Π΅ΡΠ½ΠΎ ΠΎΠ½ΠΎ ΠΈΠ»ΠΈ Π½Π΅Ρ:
- \(\displaystyle \neg p \land q\)
- \(\displaystyle p\ΡΡΡΠ΅Π»ΠΊΠ° Π²ΠΏΡΠ°Π²ΠΎ q\)
- \(\displaystyle (p\land q)\to r\)
- \(\displaystyle p \rightarrow (q \lor (\neg r))\)
- \(\displaystyle p \rightarrow ((\neg q)\lor (\neg r))\)
- \(\displaystyle (\neg q) \rightarrow (\neg p)\)
- ΠΡΠ²Π΅ΡΠΈΡΡ
- \(2>5\), Π° 8 β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ.
ΠΠΠΠ¬.
- ΠΡΠ»ΠΈ \(2\leqslant 5\), ΡΠΎ 8 β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ. ΠΡΡΠΈΠ½Π½ΡΠΉ.
- ΠΡΠ»ΠΈ \(2\leqslant 5\) ΠΈ 8 β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, ΡΠΎ 11 β ΠΏΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎ. ΠΡΡΠΈΠ½Π½ΡΠΉ.
- ΠΡΠ»ΠΈ \(2\leqslant 5\), ΡΠΎ Π»ΠΈΠ±ΠΎ 8 β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ, Π»ΠΈΠ±ΠΎ 11 β Π½Π΅ ΠΏΡΠΎΡΡΠΎΠ΅ ΡΠΈΡΠ»ΠΎ. ΠΡΡΠΈΠ½Π½ΡΠΉ.
- ΠΡΠ»ΠΈ \(2\leqslant 5\), ΡΠΎ Π»ΠΈΠ±ΠΎ 8 ΡΠ²Π»ΡΠ΅ΡΡΡ Π½Π΅ΡΠ΅ΡΠ½ΡΠΌ ΡΠ΅Π»ΡΠΌ ΡΠΈΡΠ»ΠΎΠΌ, Π»ΠΈΠ±ΠΎ 11 Π½Π΅ ΡΠ²Π»ΡΠ΅ΡΡΡ ΠΏΡΠΎΡΡΡΠΌ ΡΠΈΡΠ»ΠΎΠΌ. ΠΠΠΠ¬.
- ΠΡΠ»ΠΈ 8 Π½Π΅ ΡΠ²Π»ΡΠ΅ΡΡΡ ΡΠ΅ΡΠ½ΡΠΌ ΡΠ΅Π»ΡΠΌ ΡΠΈΡΠ»ΠΎΠΌ, ΡΠΎ \(2>5\text{.}\) ΠΡΡΠΈΠ½Π½ΠΎ.
- \(2>5\), Π° 8 β ΡΠ΅ΡΠ½ΠΎΠ΅ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ.
Π£ΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{4}\)
ΠΠ΅ΡΠ΅ΠΏΠΈΡΠΈΡΠ΅ ΠΊΠ°ΠΆΠ΄ΠΎΠ΅ ΠΈΠ· ΡΠ»Π΅Π΄ΡΡΡΠΈΡ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠΉ, ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΡ Π΄ΡΡΠ³ΠΈΠ΅ ΡΡΠ»ΠΎΠ²Π½ΡΠ΅ ΡΠΎΡΠΌΡ:
- ΠΡΠ»ΠΈ ΡΠ΅Π»ΠΎΠ΅ ΡΠΈΡΠ»ΠΎ ΠΊΡΠ°ΡΠ½ΠΎ 4, ΡΠΎ ΠΎΠ½ΠΎ ΡΠ΅ΡΠ½ΠΎΠ΅. 92\) ΡΠ²Π»ΡΠ΅ΡΡΡ Π½Π΅ΠΎΠ±Ρ ΠΎΠ΄ΠΈΠΌΡΠΌ ΡΡΠ»ΠΎΠ²ΠΈΠ΅ΠΌ Π΄Π»Ρ \(x = y\text{.}\)
Π£ΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΠ΅ \(\PageIndex{5}\)
ΠΠ°ΠΏΠΈΡΠΈΡΠ΅ ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠ΅ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΈΠ· ΡΠΏΡΠ°ΠΆΠ½Π΅Π½ΠΈΡ \(\PageIndex{4}\). Π‘ΡΠ°Π²Π½ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΡ ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈ Π΅Π³ΠΎ ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠ³ΠΎ.
- ΠΡΠ²Π΅ΡΠΈΡΡ
ΠΠ΅ΡΠ½ΠΎ ΡΠΎΠ»ΡΠΊΠΎ ΠΎΠ±ΡΠ°ΡΠ½ΠΎΠ΅ \(d\).
ΠΡΠ° ΡΡΡΠ°Π½ΠΈΡΠ° ΠΏΠΎΠ΄ Π½Π°Π·Π²Π°Π½ΠΈΠ΅ΠΌ 3.1: ΠΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΡ ΡΠ°ΡΠΏΡΠΎΡΡΡΠ°Π½ΡΠ΅ΡΡΡ ΠΏΠΎ Π»ΠΈΡΠ΅Π½Π·ΠΈΠΈ CC BY-NC-SA, Π°Π²ΡΠΎΡΠΎΠΌ, ΡΠ΅ΠΌΠΈΠΊΡΠΎΠΌ ΠΈ/ΠΈΠ»ΠΈ ΠΊΡΡΠ°ΡΠΎΡΠΎΠΌ ΡΡΠΎΠΉ ΡΡΡΠ°Π½ΠΈΡΡ ΡΠ²Π»ΡΡΡΡΡ ΠΠ» ΠΠΎΠ΅ΡΡ ΠΈ ΠΠ΅Π½ ΠΠ΅Π²Π°ΡΡΠ΅Ρ.
- ΠΠ°Π²Π΅ΡΡ
- ΠΡΠ»Π° Π»ΠΈ ΡΡΠ° ΡΡΠ°ΡΡΡ ΠΏΠΎΠ»Π΅Π·Π½ΠΎΠΉ?
- Π’ΠΈΠΏ ΠΈΠ·Π΄Π΅Π»ΠΈΡ
- Π Π°Π·Π΄Π΅Π» ΠΈΠ»ΠΈ Π‘ΡΡΠ°Π½ΠΈΡΠ°
- ΠΠ²ΡΠΎΡ
- ΠΠ» ΠΠΎΡΡ ΠΈ ΠΠ΅Π½ ΠΠ΅Π²Π°ΡΡΠ΅Ρ
- ΠΠΈΡΠ΅Π½Π·ΠΈΡ
- CC BY-NC-SA
- ΠΠΎΠΊΠ°Π·Π°ΡΡ ΡΡΡΠ°Π½ΠΈΡΡ TOC
- Π½Π΅Ρ
- Π’Π΅Π³ΠΈ
- ΠΠ° ΡΡΠΎΠΉ ΡΡΡΠ°Π½ΠΈΡΠ΅ Π½Π΅Ρ ΡΠ΅Π³ΠΎΠ².
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Ρ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ² Ρ ΠΏΡΠΈΠΌΠ΅ΡΠ°ΠΌΠΈ ΠΊΠΎΠ΄Π°
ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Ρ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ² Ρ ΠΏΡΠΈΠΌΠ΅ΡΠ°ΠΌΠΈ ΠΊΠΎΠ΄Π°
ΠΡΠΏΠΎΠ»ΡΠ·ΡΡ ΡΠ·ΡΠΊ ΠΏΡΠΎΠ³ΡΠ°ΠΌΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΡ, ΠΌΡ Π²ΠΌΠ΅ΡΡΠ΅ ΡΠ΅ΡΠΈΠΌ Π³ΠΎΠ»ΠΎΠ²ΠΎΠ»ΠΎΠΌΠΊΡ Β«ΠΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Ρ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ²Β» Π½Π° ΡΡΠΎΠΌ ΡΡΠΎΠΊΠ΅. ΠΡΠΎ Π΄Π΅ΠΌΠΎΠ½ΡΡΡΠΈΡΡΠ΅ΡΡΡ Π² ΡΠ»Π΅Π΄ΡΡΡΠ΅ΠΌ ΠΊΠΎΠ΄Π΅.
ΠΠΎΠΌΠ½ΠΈΡΠ΅ ΡΠ°ΠΊΠΆΠ΅, ΡΡΠΎ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΡ ΠΈΠΌΠ΅ΡΡ ΠΏΡΠΈΠΎΡΠΈΡΠ΅Ρ, ΠΊΠ°ΠΊ ΠΈ Π°ΡΠΈΡΠΌΠ΅ΡΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΡ. ! ΠΈΠΌΠ΅Π΅Ρ Π½Π°ΠΈΠ²ΡΡΡΠΈΠΉ ΠΏΡΠΈΠΎΡΠΈΡΠ΅Ρ, Π·Π° Π½ΠΈΠΌ ΡΠ»Π΅Π΄ΡΠ΅Ρ &&, Π° Π·Π°ΡΠ΅ΠΌ ||. ΠΡΠ»ΠΈ Π²Π°ΠΌ Π½ΡΠΆΠ½ΠΎ ΠΏΠ΅ΡΠ΅ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΡΡ ΠΏΡΠΈΠΎΡΠΈΡΠ΅Ρ, Π²Ρ ΠΌΠΎΠΆΠ΅ΡΠ΅ ΠΎΠ±Π΅ΡΠ½ΡΡΡ Π²ΡΠ΅, ΡΡΠΎ Ρ ΠΎΡΠΈΡΠ΅. Ρ ΠΎΡΠΈΡΠ΅ Π²ΡΠΏΠΎΠ»Π½ΠΈΡΡ ΠΏΠ΅ΡΠ²ΡΠΌ Π² ΠΊΡΡΠ³Π»ΡΡ ΡΠΊΠΎΠ±ΠΊΠ°Ρ , ΡΡΠΎΠ±Ρ Π΄Π°ΡΡ Π΅ΠΌΡ ΠΏΡΠΈΠΎΡΠΈΡΠ΅Ρ. Π‘ΠΊΠΎΠ±ΠΊΠΈ Π²ΡΠ΅Π³Π΄Π° Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ ΠΏΠ΅ΡΠ²ΡΠΌΠΈ. Π²ΠΎΡ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΠΏΡΠΈΠΌΠ΅ΡΠΎΠ² Π΄Π΅ΠΌΠΎΠ½ΡΡΡΠΈΡΡΡ, ΠΊΠ°ΠΊ Π²Ρ ΠΌΠΎΠΆΠ΅ΡΠ΅ ΠΊΠΎΠ½ΡΡΠΎΠ»ΠΈΡΠΎΠ²Π°ΡΡ ΠΏΠΎΡΡΠ΄ΠΎΠΊ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ: ΠΏΡΡΡΡ Π° = ΠΈΡΡΠΈΠ½Π°; ΠΏΡΡΡΡ Π± = ΠΈΡΡΠΈΠ½Π°; ΠΏΡΡΡΡ Ρ = Π»ΠΎΠΆΡ; ΠΏΡΡΡΡ Π΄ = Π»ΠΎΠΆΡ; a && b && c && d // ΠΠΏΠ΅ΡΠ°ΡΠΎΡΡ Π²ΡΠΏΠΎΠ»Π½ΡΡΡΡΡ ΡΠ»Π΅Π²Π° Π½Π°ΠΏΡΠ°Π²ΠΎ Π° || Π± && Π² || d // b && c ΠΎΡΠ΅Π½ΠΈΠ²Π°Π΅ΡΡΡ ΠΏΠ΅ΡΠ²ΡΠΌ (a || b) && (c || d) // a || b Π²ΡΡΠΈΡΠ»ΡΠ΅ΡΡΡ, Π·Π°ΡΠ΅ΠΌ c || Π΄, Π·Π°ΡΠ΅ΠΌ && !(a || b) && (c || d) // ΡΠΎ ΠΆΠ΅, ΡΡΠΎ ΠΈ Π²ΡΡΠ΅, Π½ΠΎ (a || b) ΠΈΠ½Π²Π΅ΡΡΠΈΡΡΠ΅ΡΡΡ ΠΏΠ΅ΡΠ΅Π΄ Π²ΡΡΠΈΡΠ»Π΅Π½ΠΈΠ΅ΠΌ &&
ΠΠ° ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²Π΅ ΠΈΠ»Π»ΡΡΡΡΠ°ΡΠΈΠ²Π½ΡΡ
ΠΏΡΠΈΠΌΠ΅ΡΠΎΠ² ΠΌΡ ΠΏΡΠΎΠ΄Π΅ΠΌΠΎΠ½ΡΡΡΠΈΡΠΎΠ²Π°Π»ΠΈ, ΠΊΠ°ΠΊ ΡΠ΅ΡΠ°ΡΡ Π·Π°Π΄Π°ΡΡ ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½ΠΈΡ ΠΈΡΡΠΈΠ½Ρ Ρ ΠΏΠΎΠΌΠΎΡΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ
ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ².
Π§ΡΠΎ ΡΠ°ΠΊΠΎΠ΅ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΡ Ρ ΡΠ°Π±Π»ΠΈΡΠ΅ΠΉ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ?
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΡΡΡ Π΄Π»Ρ Π²ΡΠΏΠΎΠ»Π½Π΅Π½ΠΈΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΉ Π² ΠΌΠ°ΡΠ΅ΠΌΠ°ΡΠΈΠΊΠ΅. ΠΡΠΈ ΠΎΠΏΠ΅ΡΠ°ΡΠΈΠΈ Π²ΠΊΠ»ΡΡΠ°ΡΡ Π±ΡΠ»Π΅Π²Ρ Π°Π»Π³Π΅Π±ΡΡ ΠΈΠ»ΠΈ Π±ΡΠ»Π΅Π²Ρ ΡΡΠ½ΠΊΡΠΈΠΈ. Π ΠΎΡΠ½ΠΎΠ²Π½ΠΎΠΌ ΠΎΠ½ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΡΡΡ Π΄Π»Ρ ΠΏΡΠΎΠ²Π΅ΡΠΊΠΈ ΡΠΎΠ³ΠΎ, ΡΠ²Π»ΡΠ΅ΡΡΡ Π»ΠΈ ΠΏΡΠΎΠΏΠΎΠ·ΠΈΡΠΈΠΎΠ½Π°Π»ΡΠ½ΠΎΠ΅ Π²ΡΡΠ°ΠΆΠ΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΡΠΌ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΡΠΌ Π² ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΠΈΠΈ Ρ Π²Ρ ΠΎΠ΄Π½ΡΠΌΠΈ Π·Π½Π°ΡΠ΅Π½ΠΈΡΠΌΠΈ. ΠΡΠΎ ΠΎΡΠ½ΠΎΠ²Π°Π½ΠΎ Π½Π° Π±ΡΠ»Π΅Π²ΠΎΠΉ Π°Π»Π³Π΅Π±ΡΠ΅.
ΠΠ°ΠΊ Π½Π°ΠΉΡΠΈ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΠΎΠ΅ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅?
ΠΠ°ΠΊΠΈΠ΅ 5 Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ²?
Π‘ΡΡΠ΅ΡΡΠ²ΡΠ΅Ρ ΠΏΡΡΡ ΡΠΈΠΌΠ²ΠΎΠ»ΠΎΠ² Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ²: ΡΠΈΠ»ΡΠ΄Π°, ΡΠΎΡΠΊΠ°, ΠΊΠ»ΠΈΠ½, ΠΏΠΎΠ΄ΠΊΠΎΠ²Π° ΠΈ ΡΡΠΎΠΉΠ½Π°Ρ ΡΠ΅ΡΡΠ°.
Π§ΡΠΎ ΡΠ°ΠΊΠΎΠ΅ β§ Π² ΡΠ°Π±Π»ΠΈΡΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ?
Π‘ΠΈΠΌΠ²ΠΎΠ», ΠΊΠΎΡΠΎΡΡΠΉ ΠΈΡΠΏΠΎΠ»ΡΠ·ΡΠ΅ΡΡΡ Π΄Π»Ρ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»Π΅Π½ΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠ° AND ΠΈΠ»ΠΈ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΠΊΠΎΠ½ΡΡΠ½ΠΊΡΠΈΠΈ, β β§. ΠΡΠΎ ΠΏΠΎΡ ΠΎΠΆΠ΅ Π½Π° ΠΏΠ΅ΡΠ΅Π²Π΅ΡΠ½ΡΡΡΡ Π±ΡΠΊΠ²Ρ V. ΠΡΠ»ΠΈ Ρ Π½Π°Ρ Π΅ΡΡΡ Π΄Π²Π° ΠΏΡΠΎΡΡΡΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠ° P ΠΈ Q, ΠΈ ΠΌΡ Ρ ΠΎΡΠΈΠΌ ΡΡΠΎΡΠΌΠΈΡΠΎΠ²Π°ΡΡ ΡΠΎΡΡΠ°Π²Π½ΠΎΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡ, ΡΠΎΠ΅Π΄ΠΈΠ½Π΅Π½Π½ΡΠΉ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠΌ AND, ΠΌΡ ΠΌΠΎΠΆΠ΅ΠΌ Π·Π°ΠΏΠΈΡΠ°ΡΡ Π΅Π³ΠΎ ΡΠ°ΠΊ: P β§ Q \large{P \wedge Q} P β§Q.
ΠΠ°ΠΊΠΎΠ²Ρ ΠΏΡΠΈΠΌΠ΅ΡΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΡ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠΎΠ²?
ΠΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΡ
Π§ΡΠΎ ΡΠ°ΠΊΠΎΠ΅ ΡΠ°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π² Π»ΠΎΠ³ΠΈΠΊΠ΅?
Π’Π°Π±Π»ΠΈΡΠ° ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΡΠΎΠ±ΠΎΠΉ ΡΠ°Π·Π±ΠΈΠ²ΠΊΡ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ ΠΏΡΡΠ΅ΠΌ ΠΏΠ΅ΡΠ΅ΡΠΈΡΠ»Π΅Π½ΠΈΡ Π²ΡΠ΅Ρ
Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΡΡ
Π·Π½Π°ΡΠ΅Π½ΠΈΠΉ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΌΠΎΠΆΠ΅Ρ ΠΏΠΎΠ»ΡΡΠΈΡΡ ΡΡΠ½ΠΊΡΠΈΡ. Π’Π°ΠΊΠ°Ρ ΡΠ°Π±Π»ΠΈΡΠ° ΠΎΠ±ΡΡΠ½ΠΎ ΡΠΎΠ΄Π΅ΡΠΆΠΈΡ Π½Π΅ΡΠΊΠΎΠ»ΡΠΊΠΎ ΡΡΡΠΎΠΊ ΠΈ ΡΡΠΎΠ»Π±ΡΠΎΠ², ΠΏΡΠΈΡΠ΅ΠΌ Π²Π΅ΡΡ
Π½ΡΡ ΡΡΡΠΎΠΊΠ° ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΡΠΎΠ±ΠΎΠΉ Π»ΠΎΠ³ΠΈΡΠ΅ΡΠΊΠΈΠ΅ ΠΏΠ΅ΡΠ΅ΠΌΠ΅Π½Π½ΡΠ΅ ΠΈ ΠΈΡ
ΠΊΠΎΠΌΠ±ΠΈΠ½Π°ΡΠΈΠΈ, ΠΏΠΎ Π²ΠΎΠ·ΡΠ°ΡΡΠ°ΡΡΠ΅ΠΉ ΡΠ»ΠΎΠΆΠ½ΠΎΡΡΠΈ Π²Π΅Π΄ΡΡΠΈΠ΅ ΠΊ ΠΊΠΎΠ½Π΅ΡΠ½ΠΎΠΉ ΡΡΠ½ΠΊΡΠΈΠΈ.
ΠΠ°ΠΊΠΎΠ²Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ P β§ Q β Q?
ΠΡΠ°ΠΊ, ΠΏΠΎΡΠΊΠΎΠ»ΡΠΊΡ Ρ Π½Π°Ρ Π½Π΅Ρ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠΉ ΠΏΠΎ ΠΎΠ±Π΅ ΡΡΠΎΡΠΎΠ½Ρ ΠΎΡ ΡΠΈΠΌΠ²ΠΎΠ»Π° Β«ΠΈΒ», ΠΊΠΎΡΠΎΡΡΠ΅ ΠΎΠ±Π° Π²Π΅ΡΠ½Ρ, ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ ~pβ§q Π»ΠΎΠΆΠ½ΠΎ. ΠΡΠ°ΠΊ, ~pβ§q=F. Π’Π΅ΠΏΠ΅ΡΡ, ΠΊΠΎΠ³Π΄Π° ΠΌΡ Π·Π½Π°Π΅ΠΌ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π²ΡΠ΅Π³ΠΎ Π² ΡΠΊΠΎΠ±ΠΊΠ°Ρ (~pβ§q), ΠΌΡ ΠΌΠΎΠΆΠ΅ΠΌ ΡΠΎΠ΅Π΄ΠΈΠ½ΠΈΡΡ ΡΡΠΎ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ Ρ β¨p, ΡΡΠΎΠ±Ρ ΠΏΠΎΠ»ΡΡΠΈΡΡ ΠΎΠΊΠΎΠ½ΡΠ°ΡΠ΅Π»ΡΠ½ΠΎΠ΅ ΡΡΠ²Π΅ΡΠΆΠ΄Π΅Π½ΠΈΠ΅ (~pβ§q)β¨p. Π’Π°Π±Π»ΠΈΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ.
ΠΠ°ΠΊΠΎΠ²Ρ Π·Π½Π°ΡΠ΅Π½ΠΈΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠΈ Π΄Π»Ρ P β¨ Q?
ΠΡΡΠΈΠ½Π½ΠΎΡΡΡ ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½ΠΎΡΡΡ ΠΏΡΠ΅Π΄Π»ΠΎΠΆΠ΅Π½ΠΈΡ Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ Π΅Π³ΠΎ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΠ½ΡΠΌ Π·Π½Π°ΡΠ΅Π½ΠΈΠ΅ΠΌ. ΠΠ±ΡΠ°ΡΠΈΡΠ΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, ΡΡΠΎ β¨ ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΡΠΎΠ±ΠΎΠΉ Π½Π΅ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠ΅Π΅ ΠΈΠ»ΠΈ, Ρ. Π. p β¨ q ΠΈΡΡΠΈΠ½Π½ΠΎ, ΠΊΠΎΠ³Π΄Π° Π»ΡΠ±ΠΎΠ΅ ΠΈΠ· p, q ΠΈΡΡΠΈΠ½Π½ΠΎ, Π° ΡΠ°ΠΊΠΆΠ΅ ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° ΠΈΡΡΠΈΠ½Π½Ρ. Π‘ Π΄ΡΡΠ³ΠΎΠΉ ΡΡΠΎΡΠΎΠ½Ρ, β ΠΏΡΠ΅Π΄ΡΡΠ°Π²Π»ΡΠ΅Ρ ΡΠΎΠ±ΠΎΠΉ ΠΈΡΠΊΠ»ΡΡΠ°ΡΡΠ΅Π΅ ΠΈΠ»ΠΈ, Ρ. Π΅. p β q ΠΈΡΡΠΈΠ½Π½ΠΎ ΡΠΎΠ»ΡΠΊΠΎ ΡΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΈΡΡΠΈΠ½Π½ΠΎ ΠΎΠ΄Π½ΠΎ ΠΈΠ· p ΠΈ q. 1.1.
ΠΠ°ΠΊ ΡΠ·Π½Π°ΡΡ ΠΈΡΡΠΈΠ½Π½ΠΎΡΡΡ ΡΡΠ»ΠΎΠ²Π½ΠΎΠ³ΠΎ ΠΎΠΏΠ΅ΡΠ°ΡΠΎΡΠ°?
Π¨Π°Π³ 1.