Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

ΠžΡΠ½ΠΎΠ²Π½Ρ‹Π΅ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ

ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π² создании ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π½Ρ‹Ρ… ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌ β€” дСйствия, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ производятся Π½Π°Π΄ Π²Ρ…ΠΎΠ΄Π½Ρ‹ΠΌΠΈ Π΄Π°Π½Π½Ρ‹ΠΌΠΈ. Π’Π°ΠΊΠΈΠ΅ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ производятся Π½Π°Π΄ сигналами булСвского Ρ‚ΠΈΠΏΠ°, Ρ‚ΠΎ Π΅ΡΡ‚ΡŒ Π½Π°Π΄ ΠΏΡ€ΠΈΠΌΠΈΡ‚ΠΈΠ²Π½Ρ‹ΠΌΠΈ выраТСниями, ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠΌΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²Π° Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… значСния: истина ΠΈΠ»ΠΈ лоТь.

Π’ΠΈΠ΄Ρ‹ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ

Π’ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠΈ Π²Ρ‹Π΄Π΅Π»ΡΡŽΡ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ Π²ΠΈΠ΄Ρ‹ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΉ:

ЛогичСскоС ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ (ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ)

ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ β€” это дСйствиС, Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΊΠ°ΠΆΠ΄Ρ‹ΠΌ Π΄Π²ΡƒΠΌ Π²Ρ…ΠΎΠ΄Π½Ρ‹ΠΌ Π΄Π°Π½Π½Ρ‹ΠΌ соотвСтствуСт ΠΎΠ΄Π½ΠΎ Π½ΠΎΠ²ΠΎΠ΅ высказываниС. Π˜ΡΡ‚ΠΈΠ½Π½ΠΎΠ΅ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ получаСтся, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… значСния истинны.

ΠžΡΡ‚ΠΎΡ€ΠΎΠΆΠ½ΠΎ! Если ΠΏΡ€Π΅ΠΏΠΎΠ΄Π°Π²Π°Ρ‚Π΅Π»ΡŒ ΠΎΠ±Π½Π°Ρ€ΡƒΠΆΠΈΡ‚ ΠΏΠ»Π°Π³ΠΈΠ°Ρ‚ Π² Ρ€Π°Π±ΠΎΡ‚Π΅, Π½Π΅ ΠΈΠ·Π±Π΅ΠΆΠ°Ρ‚ΡŒ ΠΊΡ€ΡƒΠΏΠ½Ρ‹Ρ… ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌ (Π²ΠΏΠ»ΠΎΡ‚ΡŒ Π΄ΠΎ отчислСния). Если Π½Π΅Ρ‚ возмоТности Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ самому, Π·Π°ΠΊΠ°ΠΆΠΈΡ‚Π΅ Ρ‚ΡƒΡ‚.

Π’Π°Π±Π»ΠΈΡ†Π° истинности для логичСского умноТСния выглядит Ρ‚Π°ΠΊ:

Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

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 Π’, Π° ΠΈΠ½ΠΎΠ³Π΄Π° ΠΌΠ΅ΠΆΠ΄Ρƒ высказываниями Π½Π΅ ставится Π½ΠΈΠΊΠ°ΠΊΠΎΠ³ΠΎ Π·Π½Π°ΠΊΠ°: АВ. ΠŸΡ€ΠΈΠΌΠ΅Ρ€ логичСского умноТСния: Β«Π­Ρ‚ΠΎΡ‚ Ρ‚Ρ€Π΅ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ Ρ€Π°Π²Π½ΠΎΠ±Π΅Π΄Ρ€Π΅Π½Π½Ρ‹ΠΉ ΠΈ ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½Ρ‹ΠΉΒ». Π”Π°Π½Π½ΠΎΠ΅ высказываниС ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ истинным Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, Ссли Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ ΠΎΠ±Π° условия, Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС высказываниС Π»ΠΎΠΆΠ½ΠΎ.

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

ABA ∧ B
ΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒΠ»ΠΎΠΆΡŒ
Π»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒ
лоТьлоТьлоТь
истинаистинаистина
ABA ∧ B
100
010
000
111

ВысказываниС А ∧ Π’ истинно Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° высказывания β€” А ΠΈ Π’ истинны.

ГСомСтричСски ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡŽ ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ: Ссли А, Π’ β€” это Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ мноТСства Ρ‚ΠΎΡ‡Π΅ΠΊ, Ρ‚ΠΎ А ∧ Π’ Π΅ΡΡ‚ΡŒ пСрСсСчСниС мноТСств А ΠΈ Π’.

Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

3. Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ (Π»Π°Ρ‚. disjunction β€” Ρ€Π°Π·Π΄Π΅Π»Π΅Π½ΠΈΠ΅) β€” логичСскоС слоТСниС, опСрация, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡŽΡ‰Π°Ρ Π΄Π²Π° ΠΈΠ»ΠΈ Π±ΠΎΠ»Π΅Π΅ высказываний ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ связки Β«ΠΈΠ»ΠΈΒ» (Π½Π°ΠΏΡ€ΠΈΠΌΠ΅Ρ€, «А ΠΈΠ»ΠΈ Π’Β»), которая символичСски обозначаСтся с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Π·Π½Π°ΠΊΠ° ∨ (А ∨ Π’) ΠΈ читаСтся: «А ΠΈΠ»ΠΈ Π’Β». Для обозначСния Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ ΠΏΡ€ΠΈΠΌΠ΅Π½ΡΡŽΡ‚ΡΡ Ρ‚Π°ΠΊΠΆΠ΅ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ Π·Π½Π°ΠΊΠΈ: А + Π’; А or Π’; А | B. ΠŸΡ€ΠΈΠΌΠ΅Ρ€ логичСского слоТСния: «Число x дСлится Π½Π° 3 ΠΈΠ»ΠΈ Π½Π° 5Β». Π­Ρ‚ΠΎ высказываниС Π±ΡƒΠ΄Π΅Ρ‚ истинным, Ссли Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ ΠΎΠ±Π° условия ΠΈΠ»ΠΈ хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎ ΠΈΠ· условий.

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

ABA ∨ B
ΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°
Π»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°ΠΈΡΡ‚ΠΈΠ½Π°
лоТьлоТьлоТь
истинаистинаистина
ABA ∨ B
101
011
000
111

ВысказываниС А ∨ Π’ Π»ΠΎΠΆΠ½ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° высказывания β€” А ΠΈ Π’ Π»ΠΎΠΆΠ½Ρ‹.

ГСомСтричСски логичСскоС слоТСниС ΠΌΠΎΠΆΠ½ΠΎ ΠΏΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ: Ссли А, Π’ β€” это Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ мноТСства Ρ‚ΠΎΡ‡Π΅ΠΊ, Ρ‚ΠΎ А ∨ Π’ β€” это объСдинСниС мноТСств А ΠΈ Π’, Ρ‚. Π΅. Ρ„ΠΈΠ³ΡƒΡ€Π°, ΠΎΠ±ΡŠΠ΅Π΄ΠΈΠ½ΡΡŽΡ‰Π°Ρ ΠΈ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚, ΠΈ ΠΊΡ€ΡƒΠ³.

Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Ρ‡Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

4. Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ строго-Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»ΡŒΠ½Π°Ρ, слоТСниС ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ Π΄Π²Π° β€” логичСская опСрация, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡŽΡ‰Π°Ρ Π΄Π²Π° высказывания ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ связки Β«ΠΈΠ»ΠΈΒ», ΡƒΠΏΠΎΡ‚Ρ€Π΅Π±Π»Π΅Π½Π½ΠΎΠΉ Π² ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅ΠΌ смыслС, которая символичСски обозначаСтся с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Π·Π½Π°ΠΊΠΎΠ² ∨ ∨ ΠΈΠ»ΠΈ βŠ• (А ∨ ∨ Π’, А βŠ• Π’) ΠΈ читаСтся: Β«Π»ΠΈΠ±ΠΎ А, Π»ΠΈΠ±ΠΎ Π’Β». ΠŸΡ€ΠΈΠΌΠ΅Ρ€ слоТСния ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ Π΄Π²Π° β€” высказываниС Β«Π­Ρ‚ΠΎΡ‚ Ρ‚Ρ€Π΅ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ Ρ‚ΡƒΠΏΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½Ρ‹ΠΉ ΠΈΠ»ΠΈ ΠΎΡΡ‚Ρ€ΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½Ρ‹ΠΉΒ». ВысказываниС истинно, Ссли выполняСтся ΠΊΠ°ΠΊΠΎΠ΅-Ρ‚ΠΎ ΠΎΠ΄Π½ΠΎ ΠΈΠ· условий.

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

АВА βŠ• B
ΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°
Π»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°ΠΈΡΡ‚ΠΈΠ½Π°
лоТьлоТьлоТь
ΠΈΡΡ‚ΠΈΠ½Π°ΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒ
АВА βŠ• B
101
011
000
110

ВысказываниС А βŠ• Π’ истинно Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° высказывания А ΠΈ Π’ ΠΈΠΌΠ΅ΡŽΡ‚ Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Π΅ значСния.

5. Π˜ΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΡ (Π»Π°Ρ‚. implisito β€” тСсно ΡΠ²ΡΠ·Ρ‹Π²Π°ΡŽ) β€” логичСская опСрация, ΡΠΎΠ΅Π΄ΠΈΠ½ΡΡŽΡ‰Π°Ρ Π΄Π²Π° высказывания ΠΏΡ€ΠΈ ΠΏΠΎΠΌΠΎΡ‰ΠΈ связки «Ссли. Ρ‚ΠΎΒ» Π² слоТноС высказываниС, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ символичСски обозначаСтся с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ Π·Π½Π°ΠΊΠ° β†’ (А β†’ Π’) ΠΈ читаСтся: «Ссли А, Ρ‚ΠΎ Π’Β», «А Π²Π»Π΅Ρ‡Π΅Ρ‚ Π’Β», Β«ΠΈΠ· А слСдуСт Π’Β», «А ΠΈΠΌΠΏΠ»ΠΈΡ†ΠΈΡ€ΡƒΠ΅Ρ‚ Π’Β». Для обозначСния ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ примСняСтся Ρ‚Π°ΠΊΠΆΠ΅ Π·Π½Π°ΠΊ βŠƒ (A βŠƒ B). ΠŸΡ€ΠΈΠΌΠ΅Ρ€ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ: «Если ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½Ρ‹ΠΉ Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅Ρ…ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚, Ρ‚ΠΎ ΠΎΠΊΠΎΠ»ΠΎ Π½Π΅Π³ΠΎ ΠΌΠΎΠΆΠ½ΠΎ ΠΎΠΏΠΈΡΠ°Ρ‚ΡŒ ΠΎΠΊΡ€ΡƒΠΆΠ½ΠΎΡΡ‚ΡŒΒ». Π­Ρ‚Π° опСрация связываСт Π΄Π²Π° простых логичСских выраТСния, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΏΠ΅Ρ€Π²ΠΎΠ΅ являСтся условиСм, Π° Π²Ρ‚ΠΎΡ€ΠΎΠ΅ β€” слСдствиСм. Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π»ΠΎΠΆΠ΅Π½ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° прСдпосылка Π΅ΡΡ‚ΡŒ истина, Π° слСдствиС β€” лоТь. НапримСр, «Если 3 * 3 = 9 (А), Ρ‚ΠΎ Π‘ΠΎΠ»Π½Ρ†Π΅ β€” ΠΏΠ»Π°Π½Π΅Ρ‚Π° (Π’)Β», Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ А β†’ Π’ β€” лоТь.

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

АВА β†’ Π’
ΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒΠ»ΠΎΠΆΡŒ
Π»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°ΠΈΡΡ‚ΠΈΠ½Π°
Π»ΠΎΠΆΡŒΠ»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°
истинаистинаистина
АВА β†’ Π’
100
011
001
111

Для ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ справСдливо ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π΅Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ ΠΈΠ· Π»ΠΆΠΈ ΠΌΠΎΠΆΠ΅Ρ‚ ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚ΡŒ всС Ρ‡Ρ‚ΠΎ ΡƒΠ³ΠΎΠ΄Π½ΠΎ, Π° ΠΈΠ· истины β€” Ρ‚ΠΎΠ»ΡŒΠΊΠΎ истина.

6. Π­ΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ, двойная импликация, Ρ€Π°Π²Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΡΡ‚ΡŒ (Π»Π°Ρ‚. aequalis β€” Ρ€Π°Π²Π½Ρ‹ΠΉ ΠΈ valentis β€” ΠΈΠΌΠ΅ΡŽΡ‰ΠΈΠΉ силу) β€” логичСская опСрация, ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‰Π°Ρ ΠΈΠ· Π΄Π²ΡƒΡ… высказываний А ΠΈ Π’ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΡ‚ΡŒ Π½ΠΎΠ²ΠΎΠ΅ высказываниС А ≑ Π’, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ читаСтся: «А эквивалСнтно BΒ». Для обозначСния эквивалСнтности ΠΏΡ€ΠΈΠΌΠ΅Π½ΡΡŽΡ‚ΡΡ Ρ‚Π°ΠΊΠΆΠ΅ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ Π·Π½Π°ΠΊΠΈ: ⇔, ∼. Π­Ρ‚Π° опСрация ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½Π° связками Β«Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°Β», Β«Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΈ достаточно», Β«Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½ΠΎΒ». ΠŸΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠΌ эквивалСнтности являСтся высказываниС: Β«Π’Ρ€Π΅ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ Π±ΡƒΠ΄Π΅Ρ‚ ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½Ρ‹ΠΌ Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ΄ΠΈΠ½ ΠΈΠ· ΡƒΠ³Π»ΠΎΠ² Ρ€Π°Π²Π΅Π½ 90 градусам».

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ эквивалСнтности ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

АВА ∼ Π’
ΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒΠ»ΠΎΠΆΡŒ
Π»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°Π»ΠΎΠΆΡŒ
Π»ΠΎΠΆΡŒΠ»ΠΎΠΆΡŒΠΈΡΡ‚ΠΈΠ½Π°
истинаистинаистина
АВА ∼ Π’
100
010
001
111

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ эквивалСнтности ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Π° слоТСнию ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ Π΄Π²Π° ΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ «истина» Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° значСния ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡŽΡ‚.

Зная значСния простых высказываний, ΠΌΠΎΠΆΠ½ΠΎ Π½Π° основании Ρ‚Π°Π±Π»ΠΈΡ† истинности ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ значСния слоТных высказываний. ΠŸΡ€ΠΈ этом Π²Π°ΠΆΠ½ΠΎ Π·Π½Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ для прСдставлСния любой Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ достаточно Ρ‚Ρ€Π΅Ρ… ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ: ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ, Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ ΠΈ отрицания.

Π‘Π»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ дваА βŠ• Π’$(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. Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΠΎ Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Π°Ρ Ρ„ΠΎΡ€ΠΌΠ° (ДНЀ) β€” сумма ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠΉ, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½Ρ‹Ρ… ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… ΠΈ ΠΈΡ… ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠΉ для Π»ΠΎΠΆΠ½Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ.

Алгоритм построСния ДНЀ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ:

ΠŸΡ€ΠΈΠΌΠ΅Ρ€. ΠŸΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‰ΡƒΡŽ, Ρ‡Ρ‚ΠΎ ΠΏΠ΅Ρ€Π²ΠΎΠ΅ число Ρ€Π°Π²Π½ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΌΡƒ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΌΠ΅Ρ‚ΠΎΠ΄ ДНЀ. Π’Π°Π±Π»ΠΈΡ†Π° истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

X1X2F(X1, X2)
111
010
100
001

РСшСниС. Π’Ρ‹Π±ΠΈΡ€Π°Π΅ΠΌ Π½Π°Π±ΠΎΡ€Ρ‹ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², Π² ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… функция Ρ€Π°Π²Π½Π° 1. Π­Ρ‚ΠΎ пСрвая ΠΈ чСтвСртая строки Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ (строку Π·Π°Π³ΠΎΠ»ΠΎΠ²ΠΊΠ° ΠΏΡ€ΠΈ Π½ΡƒΠΌΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π΅ ΡƒΡ‡ΠΈΡ‚Ρ‹Π²Π°Π΅ΠΌ).

2. ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½ΠΎ Π½ΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Π°Ρ Ρ„ΠΎΡ€ΠΌΠ° (КНЀ) β€” ΠΏΡ€ΠΎΠΈΠ·Π²Π΅Π΄Π΅Π½ΠΈΠ΅ сумм, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½Ρ‹Ρ… ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… ΠΈ ΠΈΡ… ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠΉ для истинных Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ.

Алгоритм построСния КНЀ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ:

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ‡

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 1. Рассмотрим ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰ΠΈΠΉ ΠΏΡ€ΠΈΠΌΠ΅Ρ€, Ρ‚. Π΅. построим Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‰ΡƒΡŽ, Ρ‡Ρ‚ΠΎ ΠΏΠ΅Ρ€Π²ΠΎΠ΅ число Ρ€Π°Π²Π½ΠΎ Π²Ρ‚ΠΎΡ€ΠΎΠΌΡƒ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΌΠ΅Ρ‚ΠΎΠ΄ КНЀ. Для Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π΅Π΅ Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности ΠΈΠΌΠ΅Π΅Ρ‚ Π²ΠΈΠ΄

X1X2F(X1, X2)
111
010
100
001

РСшСниС. Π’Ρ‹Π±ΠΈΡ€Π°Π΅ΠΌ Π½Π°Π±ΠΎΡ€Ρ‹ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², Π² ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… функция Ρ€Π°Π²Π½Π° 0. Π­Ρ‚ΠΎ вторая ΠΈ Ρ‚Ρ€Π΅Ρ‚ΡŒΡ строки (строку Π·Π°Π³ΠΎΠ»ΠΎΠ²ΠΊΠ° ΠΏΡ€ΠΈ Π½ΡƒΠΌΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π½Π΅ ΡƒΡ‡ΠΈΡ‚Ρ‹Π²Π°Π΅ΠΌ).

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π° запись логичСской Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ Π² КНЀ.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2. ΠŸΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ для Π·Π°Π΄Π°Π½Π½ΠΎΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности:

X1X2F(X1, X2)
111
100
011
000

РСшСниС. Π˜ΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌ ДНЀ для построСния исходной Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ:

X1X2F(X1, X2)
111β€’X1 ∧ X2
100
011β€’$↖<->$ ∧ X2
000

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 3. Для ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности ΠΏΠΎΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ, ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡ ΠΌΠ΅Ρ‚ΠΎΠ΄ ДНЀ.

Π€ΠΎΡ€ΠΌΡƒΠ»Π° достаточно Π³Ρ€ΠΎΠΌΠΎΠ·Π΄ΠΊΠ°, ΠΈ Π΅Π΅ слСдуСт ΡƒΠΏΡ€ΠΎΡΡ‚ΠΈΡ‚ΡŒ:

Π’Π°Π±Π»ΠΈΡ†Ρ‹ истинности для Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ логичСских Π·Π°Π΄Π°Ρ‡

БоставлСниС Ρ‚Π°Π±Π»ΠΈΡ† истинности β€” ΠΎΠ΄ΠΈΠ½ ΠΈΠ· способов Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ логичСских Π·Π°Π΄Π°Ρ‡. ΠŸΡ€ΠΈ использовании Ρ‚Π°ΠΊΠΎΠ³ΠΎ способа Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ, условия, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ содСрТит Π·Π°Π΄Π°Ρ‡Π°, Ρ„ΠΈΠΊΡΠΈΡ€ΡƒΡŽΡ‚ΡΡ с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½ΠΎ составлСнных Ρ‚Π°Π±Π»ΠΈΡ†.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€Ρ‹ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π·Π°Π΄Π°Ρ‡

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 1. Π‘ΠΎΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ истинности для ΠΎΡ…Ρ€Π°Π½Π½ΠΎΠ³ΠΎ устройства, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ Ρ‚Ρ€ΠΈ Π΄Π°Ρ‚Ρ‡ΠΈΠΊΠ° ΠΈ срабатываСт ΠΏΡ€ΠΈ Π·Π°ΠΌΡ‹ΠΊΠ°Π½ΠΈΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π΄Π²ΡƒΡ… ΠΈΠ· Π½ΠΈΡ….

РСшСниС. ΠžΡ‡Π΅Π²ΠΈΠ΄Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ Π±ΡƒΠ΄Π΅Ρ‚ Ρ‚Π°Π±Π»ΠΈΡ†Π°, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΉ искомая функция Y(X1, X2, X3) Π±ΡƒΠ΄Π΅Ρ‚ ΠΈΠΌΠ΅Ρ‚ΡŒ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ «истина», Ссли ΠΊΠ°ΠΊΠΈΠ΅-Π»ΠΈΠ±ΠΎ Π΄Π²Π΅ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅ ΠΈΠΌΠ΅ΡŽΡ‚ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ «истина».

X1X2X3Y(X1, X2, X3)
1110
1101
1011
1000
0111
0100
0010
0000

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 2. Π‘ΠΎΡΡ‚Π°Π²ΠΈΡ‚ΡŒ расписаниС ΡƒΡ€ΠΎΠΊΠΎΠ² Π½Π° дСнь, учитывая, Ρ‡Ρ‚ΠΎ ΡƒΡ€ΠΎΠΊ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠΈ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΏΠ΅Ρ€Π²Ρ‹ΠΌ ΠΈΠ»ΠΈ Π²Ρ‚ΠΎΡ€Ρ‹ΠΌ, ΡƒΡ€ΠΎΠΊ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠΈ β€” ΠΏΠ΅Ρ€Π²Ρ‹ΠΌ ΠΈΠ»ΠΈ Ρ‚Ρ€Π΅Ρ‚ΡŒΠΈΠΌ, Π° Ρ„ΠΈΠ·ΠΈΠΊΠΈ β€” Π²Ρ‚ΠΎΡ€Ρ‹ΠΌ ΠΈΠ»ΠΈ Ρ‚Ρ€Π΅Ρ‚ΡŒΠΈΠΌ. Π’ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ Π»ΠΈ ΡΠΎΡΡ‚Π°Π²ΠΈΡ‚ΡŒ расписаниС, ΡƒΠ΄ΠΎΠ²Π»Π΅Ρ‚Π²ΠΎΡ€ΠΈΠ² всСм трСбованиям? Бколько сущСствуСт Π²Π°Ρ€ΠΈΠ°Π½Ρ‚ΠΎΠ² расписания?

РСшСниС. Π—Π°Π΄Π°Ρ‡Π° Π»Π΅Π³ΠΊΠΎ Ρ€Π΅ΡˆΠ°Π΅Ρ‚ΡΡ, Ссли ΡΠΎΡΡ‚Π°Π²ΠΈΡ‚ΡŒ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ:

1-ΠΉ ΡƒΡ€ΠΎΠΊ2-ΠΉ ΡƒΡ€ΠΎΠΊ3-ΠΉ ΡƒΡ€ΠΎΠΊ
Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°110
ΠœΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ°101
Π€ΠΈΠ·ΠΈΠΊΠ°011

Из Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ Π²ΠΈΠ΄Π½ΠΎ, Ρ‡Ρ‚ΠΎ ΡΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ Π΄Π²Π° Π²Π°Ρ€ΠΈΠ°Π½Ρ‚Π° искомого расписания:

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 3. Π’ спортивный Π»Π°Π³Π΅Ρ€ΡŒ ΠΏΡ€ΠΈΠ΅Ρ…Π°Π»ΠΈ Ρ‚Ρ€ΠΎΠ΅ Π΄Ρ€ΡƒΠ·Π΅ΠΉ β€” ΠŸΠ΅Ρ‚Ρ€, Борис ΠΈ АлСксСй. ΠšΠ°ΠΆΠ΄Ρ‹ΠΉ ΠΈΠ· Π½ΠΈΡ… увлСкаСтся двумя Π²ΠΈΠ΄Π°ΠΌΠΈ спорта. Π˜Π·Π²Π΅ΡΡ‚Π½ΠΎ, Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΊΠΈΡ… Π²ΠΈΠ΄ΠΎΠ² спорта ΡˆΠ΅ΡΡ‚ΡŒ: Ρ„ΡƒΡ‚Π±ΠΎΠ», Ρ…ΠΎΠΊΠΊΠ΅ΠΉ, Π»Ρ‹ΠΆΠΈ, ΠΏΠ»Π°Π²Π°Π½ΠΈΠ΅, тСннис, Π±Π°Π΄ΠΌΠΈΠ½Ρ‚ΠΎΠ½. Π’Π°ΠΊΠΆΠ΅ извСстно, Ρ‡Ρ‚ΠΎ:

Какими Π²ΠΈΠ΄Π°ΠΌΠΈ спорта увлСкаСтся ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ ΠΈΠ· ΠΌΠ°Π»ΡŒΡ‡ΠΈΠΊΠΎΠ²?

РСшСниС. Боставим Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ ΠΈ ΠΎΡ‚Ρ€Π°Π·ΠΈΠΌ Π² Π½Π΅ΠΉ условия Π·Π°Π΄Π°Ρ‡ΠΈ, Π·Π°ΠΏΠΎΠ»Π½ΠΈΠ² ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΊΠ»Π΅Ρ‚ΠΊΠΈ Ρ†ΠΈΡ„Ρ€Π°ΠΌΠΈ 0 ΠΈ 1 Π² зависимости ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, Π»ΠΎΠΆΠ½ΠΎ ΠΈΠ»ΠΈ истинно ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π΅Π΅ высказываниС.

Π’Π°ΠΊ ΠΊΠ°ΠΊ Π²ΠΈΠ΄ΠΎΠ² спорта ΡˆΠ΅ΡΡ‚ΡŒ, получаСтся, Ρ‡Ρ‚ΠΎ всС ΠΌΠ°Π»ΡŒΡ‡ΠΈΠΊΠΈ ΡƒΠ²Π»Π΅ΠΊΠ°ΡŽΡ‚ΡΡ Ρ€Π°Π·Π½Ρ‹ΠΌΠΈ Π²ΠΈΠ΄Π°ΠΌΠΈ спорта.

Из условия 4 слСдуСт, Ρ‡Ρ‚ΠΎ Борис Π½Π΅ увлСкаСтся Π½ΠΈ Π»Ρ‹ΠΆΠ°ΠΌΠΈ, Π½ΠΈ тСннисом, Π° ΠΈΠ· условий 3 ΠΈ 5, Ρ‡Ρ‚ΠΎ ΠŸΠ΅Ρ‚Ρ€ Π½Π΅ ΡƒΠΌΠ΅Π΅Ρ‚ ΠΈΠ³Ρ€Π°Ρ‚ΡŒ Π² Ρ„ΡƒΡ‚Π±ΠΎΠ», Ρ…ΠΎΠΊΠΊΠ΅ΠΉ, тСннис ΠΈ Π±Π°Π΄ΠΌΠΈΠ½Ρ‚ΠΎΠ½. Π‘Π»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, Π»ΡŽΠ±ΠΈΠΌΡ‹Π΅ Π²ΠΈΠ΄Ρ‹ спорта ΠŸΠ΅Ρ‚Ρ€Π° β€” Π»Ρ‹ΠΆΠΈ ΠΈ ΠΏΠ»Π°Π²Π°Π½ΠΈΠ΅. ЗанСсСм это Π² Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ, Π° ΠΎΡΡ‚Π°Π²ΡˆΠΈΠ΅ΡΡ ΠΊΠ»Π΅Ρ‚ΠΊΠΈ столбцов Β«Π›Ρ‹ΠΆΠΈΒ» ΠΈ «ПлаваниС» Π·Π°ΠΏΠΎΠ»Π½ΠΈΠΌ нулями.

Π€ΡƒΡ‚Π±ΠΎΠ»Π₯ΠΎΠΊΠΊΠ΅ΠΉΠ›Ρ‹ΠΆΠΈΠŸΠ»Π°Π²Π°Π½ΠΈΠ΅Π‘Π°Π΄ΠΌΠΈΠ½Ρ‚ΠΎΠ½Π’Π΅Π½Π½ΠΈΡ
ΠŸΠ΅Ρ‚Ρ€001100
Борис000
АлСксСй00

Из Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ Π²ΠΈΠ΄Π½ΠΎ, Ρ‡Ρ‚ΠΎ Π² тСннис ΠΌΠΎΠΆΠ΅Ρ‚ ΠΈΠ³Ρ€Π°Ρ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ АлСксСй.

Из условий 1 ΠΈ 2 слСдуСт, Ρ‡Ρ‚ΠΎ Борис Π½Π΅ футболист. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, Π² Ρ„ΡƒΡ‚Π±ΠΎΠ» ΠΈΠ³Ρ€Π°Π΅Ρ‚ АлСксСй. ΠŸΡ€ΠΎΠ΄ΠΎΠ»ΠΆΠΈΠΌ Π·Π°ΠΏΠΎΠ»Π½ΡΡ‚ΡŒ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ. ВнСсСм Π² пустыС ячСйки строки «АлСксСй» Π½ΡƒΠ»ΠΈ.

Π€ΡƒΡ‚Π±ΠΎΠ»Π₯ΠΎΠΊΠΊΠ΅ΠΉΠ›Ρ‹ΠΆΠΈΠŸΠ»Π°Π²Π°Π½ΠΈΠ΅Π‘Π°Π΄ΠΌΠΈΠ½Ρ‚ΠΎΠ½Π’Π΅Π½Π½ΠΈΡ
ΠŸΠ΅Ρ‚Ρ€001100
Борис0000
АлСксСй100001

ΠžΠΊΠΎΠ½Ρ‡Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ ΠΏΠΎΠ»ΡƒΡ‡Π°Π΅ΠΌ, Ρ‡Ρ‚ΠΎ Борис увлСкаСтся Ρ…ΠΎΠΊΠΊΠ΅Π΅ΠΌ ΠΈ Π±Π°Π΄ΠΌΠΈΠ½Ρ‚ΠΎΠ½ΠΎΠΌ. Π˜Ρ‚ΠΎΠ³ΠΎΠ²Π°Ρ Ρ‚Π°Π±Π»ΠΈΡ†Π° Π±ΡƒΠ΄Π΅Ρ‚ Π²Ρ‹Π³Π»ΡΠ΄Π΅Ρ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

Π€ΡƒΡ‚Π±ΠΎΠ»Π₯ΠΎΠΊΠΊΠ΅ΠΉΠ›Ρ‹ΠΆΠΈΠŸΠ»Π°Π²Π°Π½ΠΈΠ΅Π‘Π°Π΄ΠΌΠΈΠ½Ρ‚ΠΎΠ½Π’Π΅Π½Π½ΠΈΡ
ΠŸΠ΅Ρ‚Ρ€001100
Борис010010
АлСксСй100001

ΠžΡ‚Π²Π΅Ρ‚: ΠŸΠ΅Ρ‚Ρ€ увлСкаСтся Π»Ρ‹ΠΆΠ°ΠΌΠΈ ΠΈ ΠΏΠ»Π°Π²Π°Π½ΠΈΠ΅ΠΌ, Борис ΠΈΠ³Ρ€Π°Π΅Ρ‚ Π² Ρ…ΠΎΠΊΠΊΠ΅ΠΉ ΠΈ Π±Π°Π΄ΠΌΠΈΠ½Ρ‚ΠΎΠ½, Π° АлСксСй занимаСтся Ρ„ΡƒΡ‚Π±ΠΎΠ»ΠΎΠΌ ΠΈ тСннисом.

Π˜ΡΡ‚ΠΎΡ‡Π½ΠΈΠΊ

Π”ΠΎΠ±Π°Π²ΠΈΡ‚ΡŒ ΠΊΠΎΠΌΠΌΠ΅Π½Ρ‚Π°Ρ€ΠΈΠΉ

Π’Π°Ρˆ адрСс email Π½Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ΠΎΠΏΡƒΠ±Π»ΠΈΠΊΠΎΠ²Π°Π½. ΠžΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ поля ΠΏΠΎΠΌΠ΅Ρ‡Π΅Π½Ρ‹ *