Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

5.7 – ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹

Π₯отя ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΡ (сравнСния) ΠΌΠΎΠ³ΡƒΡ‚ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ для ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ Ρ‚ΠΎΠ³ΠΎ, являСтся Π»ΠΈ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΠΎΠ΅ условиС истинным ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½Ρ‹ΠΌ, ΠΎΠ½ΠΈ ΠΌΠΎΠ³ΡƒΡ‚ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΡΡ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄Π½ΠΎ условиС Π·Π° Ρ€Π°Π·. Но часто Π½Π°ΠΌ Π½ΡƒΠΆΠ½ΠΎ Π·Π½Π°Ρ‚ΡŒ, Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ Π»ΠΈ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ нСсколько условий. НапримСр, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ, Π²Ρ‹ΠΈΠ³Ρ€Π°Π»ΠΈ Π»ΠΈ ΠΌΡ‹ Π² Π»ΠΎΡ‚Π΅Ρ€Π΅ΡŽ, ΠΌΡ‹ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ ΡΡ€Π°Π²Π½ΠΈΡ‚ΡŒ, всС Π»ΠΈ Π²Ρ‹Π±Ρ€Π°Π½Π½Ρ‹Π΅ Π½Π°ΠΌΠΈ числа ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡŽΡ‚ с Π²Ρ‹ΠΈΠ³Ρ€Ρ‹ΡˆΠ½Ρ‹ΠΌΠΈ числами. Π’ Π»ΠΎΡ‚Π΅Ρ€Π΅Π΅ с 6 числами это Π±ΡƒΠ΄Π΅Ρ‚ Π²ΠΊΠ»ΡŽΡ‡Π°Ρ‚ΡŒ 6 сравнСний, ΠΈ всС ΠΎΠ½ΠΈ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π±Ρ‹Ρ‚ΡŒ Π²Π΅Ρ€Π½Ρ‹ΠΌΠΈ. Π’ Π΄Ρ€ΡƒΠ³ΠΈΡ… случаях Π½Π°ΠΌ Π½ΡƒΠΆΠ½ΠΎ Π·Π½Π°Ρ‚ΡŒ, выполняСтся Π»ΠΈ ΠΊΠ°ΠΊΠΎΠ΅-Π»ΠΈΠ±ΠΎ ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… условий. НапримСр, ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Ρ€Π΅ΡˆΠΈΡ‚ΡŒ ΠΏΡ€ΠΎΠΏΡƒΡΡ‚ΠΈΡ‚ΡŒ Ρ€Π°Π±ΠΎΡ‚Ρƒ сСгодня, Ссли ΠΌΡ‹ Π·Π°Π±ΠΎΠ»Π΅Π»ΠΈ, ΠΈΠ»ΠΈ Ссли ΠΌΡ‹ слишком устали, ΠΈΠ»ΠΈ Ссли ΠΌΡ‹ Π²Ρ‹ΠΈΠ³Ρ€Π°Π»ΠΈ Π² Π»ΠΎΡ‚Π΅Ρ€Π΅ΡŽ Π² нашСм ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅ΠΌ ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅. Π­Ρ‚ΠΎ ΠΏΠΎΡ‚Ρ€Π΅Π±ΡƒΠ΅Ρ‚ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ Ρ‚ΠΎΠ³ΠΎ, Π²Π΅Ρ€Π½ΠΎ Π»ΠΈ ΠΊΠ°ΠΊΠΎΠ΅-Π»ΠΈΠ±ΠΎ ΠΈΠ· Ρ‚Ρ€Π΅Ρ… сравнСний.

Π’ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ тСстирования нСсколько условий Π½Π°ΠΌ Π΄Π°ΡŽΡ‚ логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹.

Π’ C++ Π΅ΡΡ‚ΡŒ 3 логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π°:

ЛогичСскоС НЕ (NOT)

Π’Ρ‹ ΡƒΠΆΠ΅ ΡΡ‚Π°Π»ΠΊΠΈΠ²Π°Π»ΠΈΡΡŒ с ΡƒΠ½Π°Ρ€Π½Ρ‹ΠΌ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ логичСского НЕ Π² ΡƒΡ€ΠΎΠΊΠ΅ Β«4.9 – ЛогичСскиС (Π±ΡƒΠ»Π΅Π²Ρ‹) значСния». ΠœΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ Ρ€Π΅Π·ΡŽΠΌΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ эффСкты логичСского НЕ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

ЛогичСскоС НЕ часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π² условных выраТСниях:

Π‘Π»Π΅Π΄ΡƒΠ΅Ρ‚ ΠΎΡΡ‚Π΅Ρ€Π΅Π³Π°Ρ‚ΡŒΡΡ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ логичСскоС НЕ ΠΈΠΌΠ΅Π΅Ρ‚ ΠΎΡ‡Π΅Π½ΡŒ высокий ΡƒΡ€ΠΎΠ²Π΅Π½ΡŒ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚Π°. ΠΠ°Ρ‡ΠΈΠ½Π°ΡŽΡ‰ΠΈΠ΅ программисты часто Π΄Π΅Π»Π°ΡŽΡ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ ΠΎΡˆΠΈΠ±ΠΊΡƒ:

Π­Ρ‚Π° ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ° Π½Π°ΠΏΠ΅Ρ‡Π°Ρ‚Π°Π΅Ρ‚:

ΠŸΡ€Π°Π²ΠΈΠ»ΡŒΠ½Ρ‹ΠΉ способ Π½Π°ΠΏΠΈΡΠ°Ρ‚ΡŒ ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½Ρ‹ΠΉ Π²Ρ‹ΡˆΠ΅ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚:

Π›ΡƒΡ‡ΡˆΠ°Ρ ΠΏΡ€Π°ΠΊΡ‚ΠΈΠΊΠ°

Если логичСскоС НЕ ΠΏΡ€Π΅Π΄Π½Π°Π·Π½Π°Ρ‡Π΅Π½ΠΎ для Ρ€Π°Π±ΠΎΡ‚Ρ‹ с Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ Π΄Ρ€ΡƒΠ³ΠΈΡ… ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ², Π΄Ρ€ΡƒΠ³ΠΈΠ΅ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ ΠΈ ΠΈΡ… ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Ρ‹ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π±Ρ‹Ρ‚ΡŒ Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½Ρ‹ Π² ΠΊΡ€ΡƒΠ³Π»Ρ‹Π΅ скобки.

ЛогичСскоС Π˜Π›Π˜ (OR)

ЛогичСскоС Π˜Π›Π˜ (ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ || )

Π›Π΅Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ΠŸΡ€Π°Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚
falsefalsefalse
falsetruetrue
truefalsetrue
truetruetrue

НапримСр, рассмотрим ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ:

Π’Ρ‹ ΠΌΠΎΠΆΠ΅Ρ‚Π΅ ΡΠ²ΡΠ·Π°Ρ‚ΡŒ вмСстС мноТСство ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² логичСского Π˜Π›Π˜:

ΠΠ°Ρ‡ΠΈΠ½Π°ΡŽΡ‰ΠΈΠ΅ программисты ΠΈΠ½ΠΎΠ³Π΄Π° ΠΏΡƒΡ‚Π°ΡŽΡ‚ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ логичСскоС Π˜Π›Π˜ ( || ) с ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ ΠΏΠΎΠ±ΠΈΡ‚ΠΎΠ²ΠΎΠ΅ Π˜Π›Π˜ ( | ) (ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ Π±ΡƒΠ΄Π΅Ρ‚ рассмотрСн ΠΏΠΎΠ·ΠΆΠ΅). НСсмотря Π½Π° Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ Ρƒ Π½ΠΈΡ… ΠΎΠ±ΠΎΠΈΡ… Π² Π½Π°Π·Π²Π°Π½ΠΈΠΈ Π΅ΡΡ‚ΡŒ Β«Π˜Π›Π˜Β», ΠΎΠ½ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ Ρ€Π°Π·Π½Ρ‹Π΅ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ. Π˜Ρ… смСшиваниС, вСроятно, ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Ρ‚ ΠΊ Π½Π΅Π²Π΅Ρ€Π½Ρ‹ΠΌ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π°ΠΌ.

ЛогичСскоС И (AND)

ЛогичСскоС И (ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ && )

Π›Π΅Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ΠŸΡ€Π°Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚
falsefalsefalse
falsetruefalse
truefalsefalse
truetruetrue

Как ΠΈ Π² случаС с логичСским Π˜Π›Π˜, Π²Ρ‹ ΠΌΠΎΠΆΠ΅Ρ‚Π΅ ΡΠ²ΡΠ·Π°Ρ‚ΡŒ вмСстС мноТСство ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² логичСскоС И:

ВычислСниС ΠΏΠΎ ΠΊΠΎΡ€ΠΎΡ‚ΠΊΠΎΠΉ схСмС

ВычислСниС ΠΏΠΎ ΠΊΠΎΡ€ΠΎΡ‚ΠΊΠΎΠΉ схСмС Π΄Π°Π΅Ρ‚ Π΅Ρ‰Π΅ ΠΎΠ΄Π½Ρƒ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΡΡ‚ΡŒ ΠΏΠΎΠΊΠ°Π·Π°Ρ‚ΡŒ, ΠΏΠΎΡ‡Π΅ΠΌΡƒ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹, Π²Ρ‹Π·Ρ‹Π²Π°ΡŽΡ‰ΠΈΠ΅ ΠΏΠΎΠ±ΠΎΡ‡Π½Ρ‹Π΅ эффСкты, Π½Π΅ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒΡΡ Π² составных выраТСниях. Рассмотрим ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚:

Если x Π½Π΅ Ρ€Π°Π²Π½ΠΎ 1, всё условиС Π΄ΠΎΠ»ΠΆΠ½ΠΎ Π±Ρ‹Ρ‚ΡŒ Π»ΠΎΠΆΠ½Ρ‹ΠΌ, поэтому ++y Π½ΠΈΠΊΠΎΠ³Π΄Π° Π½Π΅ вычисляСтся! Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, y Π±ΡƒΠ΄Π΅Ρ‚ ΠΈΠ½ΠΊΡ€Π΅ΠΌΠ΅Π½Ρ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒΡΡ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, Ссли x Ρ€Π°Π²Π΅Π½ 1, Ρ‡Ρ‚ΠΎ, вСроятно, Π½Π΅ совсСм Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ Π·Π°Π΄ΡƒΠΌΡ‹Π²Π°Π» программист!

ΠŸΡ€Π΅Π΄ΡƒΠΏΡ€Π΅ΠΆΠ΄Π΅Π½ΠΈΠ΅

ВычислСниС ΠΏΠΎ ΠΊΠΎΡ€ΠΎΡ‚ΠΊΠΎΠΉ схСмС ΠΌΠΎΠΆΠ΅Ρ‚ привСсти ΠΊ Ρ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ логичСскоС Π˜Π›Π˜ ΠΈ логичСскоС И Π½Π΅ Π±ΡƒΠ΄ΡƒΡ‚ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΡ‚ΡŒ ΠΎΠ΄ΠΈΠ½ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄. Π˜Π·Π±Π΅Π³Π°ΠΉΡ‚Π΅ использования Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ с ΠΏΠΎΠ±ΠΎΡ‡Π½Ρ‹ΠΌΠΈ эффСктами Π² выраТСниях с этими ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π°ΠΌΠΈ.

Как ΠΈ Π² случаС с логичСским ΠΈ ΠΏΠΎΠ±ΠΈΡ‚ΠΎΠ²Ρ‹ΠΌ Π˜Π›Π˜, Π½Π°Ρ‡ΠΈΠ½Π°ΡŽΡ‰ΠΈΠ΅ программисты ΠΈΠ½ΠΎΠ³Π΄Π° ΠΏΡƒΡ‚Π°ΡŽΡ‚ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ логичСскоС И ( && ) с ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ ΠΏΠΎΠ±ΠΈΡ‚ΠΎΠ²ΠΎΠ΅ И ( & ).

БмСшиваниС И ΠΈ Π˜Π›Π˜

БмСшивания ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² логичСскоС И ΠΈ логичСскоС Π˜Π›Π˜ Π² ΠΎΠ΄Π½ΠΎΠΌ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ часто Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎ ΠΈΠ·Π±Π΅ΠΆΠ°Ρ‚ΡŒ, Π½ΠΎ это ΠΎΠ±Π»Π°ΡΡ‚ΡŒ, полная ΠΏΠΎΡ‚Π΅Π½Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Ρ… опасностСй.

МногиС программисты ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»Π°Π³Π°ΡŽΡ‚, Ρ‡Ρ‚ΠΎ логичСскоС И ΠΈ логичСскоС Π˜Π›Π˜ ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹ΠΉ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚ (ΠΈΠ»ΠΈ Π·Π°Π±Ρ‹Π²Π°ΡŽΡ‚, Ρ‡Ρ‚ΠΎ это Π½Π΅ Ρ‚Π°ΠΊ), Ρ‚ΠΎΡ‡Π½ΠΎ Ρ‚Π°ΠΊ ΠΆΠ΅, ΠΊΠ°ΠΊ слоТСниС/Π²Ρ‹Ρ‡ΠΈΡ‚Π°Π½ΠΈΠ΅ ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅/Π΄Π΅Π»Π΅Π½ΠΈΠ΅. Однако логичСскоС И ΠΈΠΌΠ΅Π΅Ρ‚ Π±ΠΎΠ»Π΅Π΅ высокий ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚, Ρ‡Π΅ΠΌ логичСскоС Π˜Π›Π˜, поэтому ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ логичСскоС И Π±ΡƒΠ΄ΡƒΡ‚ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΡ‚ΡŒΡΡ ΠΏΠ΅Ρ€Π΅Π΄ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π°ΠΌΠΈ логичСскоС Π˜Π›Π˜ (Ссли ΠΎΠ½ΠΈ Π½Π΅ Π·Π°ΠΊΠ»ΡŽΡ‡Π΅Π½Ρ‹ Π² скобки).

Π›ΡƒΡ‡ΡˆΠ°Ρ ΠΏΡ€Π°ΠΊΡ‚ΠΈΠΊΠ°

ΠŸΡ€ΠΈ смСшивании логичСского И ΠΈ логичСского Π˜Π›Π˜ Π² ΠΎΠ΄Π½ΠΎΠΌ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ явно Π·Π°ΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅ ΠΊΠ°ΠΆΠ΄ΡƒΡŽ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ Π² скобки, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ±Π΅Π΄ΠΈΡ‚ΡŒΡΡ, Ρ‡Ρ‚ΠΎ ΠΎΠ½ΠΈ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΡŽΡ‚ΡΡ Ρ‚Π°ΠΊ, ΠΊΠ°ΠΊ Π²Ρ‹ Ρ…ΠΎΡ‚ΠΈΡ‚Π΅.

Π—Π°ΠΊΠΎΠ½ Π΄Π΅ ΠœΠΎΡ€Π³Π°Π½Π°

Π—Π°ΠΊΠΎΠ½ Π΄Π΅ ΠœΠΎΡ€Π³Π°Π½Π° Π³ΠΎΠ²ΠΎΡ€ΠΈΡ‚ Π½Π°ΠΌ, ΠΊΠ°ΠΊ логичСскоС НЕ Π΄ΠΎΠ»ΠΆΠ½ΠΎ Ρ€Π°ΡΠΏΡ€Π΅Π΄Π΅Π»ΡΡ‚ΡŒΡΡ Π² этих случаях:

Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, ΠΊΠΎΠ³Π΄Π° Π²Ρ‹ распрСдСляСтС логичСскоС НЕ, Π²Π°ΠΌ Ρ‚Π°ΠΊΠΆΠ΅ Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ΠΏΡ€Π΅ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Ρ‚ΡŒ логичСскоС И Π² логичСскоС Π˜Π›Π˜, ΠΈ Π½Π°ΠΎΠ±ΠΎΡ€ΠΎΡ‚!

Иногда это ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ ΠΏΠΎΠ»Π΅Π·Π½ΠΎ ΠΏΡ€ΠΈ ΠΏΠΎΠΏΡ‹Ρ‚ΠΊΠ΅ ΡƒΠΏΡ€ΠΎΡΡ‚ΠΈΡ‚ΡŒ Ρ‡Ρ‚Π΅Π½ΠΈΠ΅ слоТных Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ.

Π“Π΄Π΅ логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜ (XOR)?

ЛогичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜ (XOR) – это логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€, прСдставлСнный Π½Π° Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… языках, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ для ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ истинности Π½Π΅Ρ‡Π΅Ρ‚Π½ΠΎΠ³ΠΎ числа условий.

ЛогичСскоС ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜

Π›Π΅Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ΠŸΡ€Π°Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚
falsefalsefalse
falsetruetrue
truefalsetrue
truetruefalse

Π­Ρ‚ΠΎ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ ΠΌΠΎΠΆΠ½ΠΎ Ρ€Π°ΡΡˆΠΈΡ€ΠΈΡ‚ΡŒ Π΄ΠΎ Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ΠΎΠ² ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ:

ΠžΠ±Ρ€Π°Ρ‚ΠΈΡ‚Π΅ Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅, Ρ‡Ρ‚ΠΎ ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½Ρ‹Π΅ Π²Ρ‹ΡˆΠ΅ ΡˆΠ°Π±Π»ΠΎΠ½Ρ‹ логичСского ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π³ΠΎ Π˜Π›Π˜ Ρ€Π°Π±ΠΎΡ‚Π°ΡŽΡ‚ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, Ссли ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Ρ‹ ΡΠ²Π»ΡΡŽΡ‚ΡΡ логичСского Ρ‚ΠΈΠΏΠ° (Π½Π΅ цСлочислСнными значСниями). Если Π²Π°ΠΌ Π½ΡƒΠΆΠ½Π° Ρ„ΠΎΡ€ΠΌΠ° логичСского ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π³ΠΎ Π˜Π›Π˜, которая Ρ€Π°Π±ΠΎΡ‚Π°Π΅Ρ‚ с Π½Π΅-логичСскими ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π°ΠΌΠΈ, Π²Ρ‹ ΠΌΠΎΠΆΠ΅Ρ‚Π΅ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ static_cast для прСобразования ΠΈΡ… Π² bool :

НСбольшой тСст

Вопрос 1

ВычислитС ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ выраТСния.

ΠŸΡ€ΠΈΠΌΠ΅Ρ‡Π°Π½ΠΈΠ΅: Π² ΠΎΡ‚Π²Π΅Ρ‚Π°Ρ… ΠΌΡ‹ «объясняСм Π½Π°ΡˆΡƒ Ρ€Π°Π±ΠΎΡ‚ΡƒΒ», показывая Π²Π°ΠΌ шаги, прСдпринятыС для получСния ΠΎΠΊΠΎΠ½Ρ‡Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠ³ΠΎ ΠΎΡ‚Π²Π΅Ρ‚Π°. Π¨Π°Π³ΠΈ Ρ€Π°Π·Π΄Π΅Π»Π΅Π½Ρ‹ символом β†’. ВыраТСния, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ Π±Ρ‹Π»ΠΈ ΠΏΡ€ΠΎΠΈΠ³Π½ΠΎΡ€ΠΈΡ€ΠΎΠ²Π°Π½Ρ‹ ΠΈΠ·-Π·Π° ΠΏΡ€Π°Π²ΠΈΠ»Π° вычислСния ΠΏΠΎ ΠΊΠΎΡ€ΠΎΡ‚ΠΊΠΎΠΉ схСмС, ΠΏΠΎΠΌΠ΅Ρ‰Π΅Π½Ρ‹ Π² ΠΊΠ²Π°Π΄Ρ€Π°Ρ‚Π½Ρ‹Π΅ скобки. НапримСр,

a) (true && true) || false

b) (false && true) || true

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

ЛогичСскиС элСмСнты И, Π˜Π›Π˜, НЕ, И-НЕ, Π˜Π›Π˜-НЕ ΠΈ ΠΈΡ… Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности

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

ΠžΠΏΠ΅Ρ€Π°Π½Π΄Ρ‹ Π² Π΄Π°Π½Π½ΠΎΠΌ случаС ΠΏΠΎΠ΄Π°ΡŽΡ‚ΡΡ Π² Π΄Π²ΠΎΠΈΡ‡Π½ΠΎΠΉ систСмС счислСния β€” Π½Π° Π²Ρ…ΠΎΠ΄ логичСского элСмСнта ΠΏΠΎΡΡ‚ΡƒΠΏΠ°ΡŽΡ‚ сигналы Π² Ρ„ΠΎΡ€ΠΌΠ΅ напряТСния высокого ΠΈΠ»ΠΈ Π½ΠΈΠ·ΠΊΠΎΠ³ΠΎ уровня, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΈ слуТат ΠΏΠΎ сути Π²Ρ…ΠΎΠ΄Π½Ρ‹ΠΌΠΈ Π΄Π°Π½Π½Ρ‹ΠΌΠΈ. Π’Π°ΠΊ, напряТСниС высокого уровня β€” это логичСская Π΅Π΄ΠΈΠ½ΠΈΡ†Π° 1 β€” ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ истинноС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π°, Π° напряТСниС Π½ΠΈΠ·ΠΊΠΎΠ³ΠΎ уровня 0 β€” Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Π»ΠΎΠΆΠ½ΠΎΠ΅. 1 β€” ИБВИНА, 0 β€” Π›ΠžΠ–Π¬.

ЛогичСский элСмСнт β€” элСмСнт, ΠΎΡΡƒΡ‰Π΅ΡΡ‚Π²Π»ΡΡŽΡ‰ΠΈΠΉ ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½Ρ‹Π΅ логичСскиС Π·Π°Π²ΠΈΡΠΈΠΌΠΎΡΡ‚ΡŒ ΠΌΠ΅ΠΆΠ΄Ρƒ Π²Ρ…ΠΎΠ΄Π½Ρ‹ΠΌΠΈ ΠΈ Π²Ρ‹Ρ…ΠΎΠ΄Π½Ρ‹ΠΌΠΈ сигналами. ЛогичСскиС элСмСнты ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ для построСния логичСских схСм Π²Ρ‹Ρ‡ΠΈΡΠ»ΠΈΡ‚Π΅Π»ΡŒΠ½Ρ‹Ρ… машин, дискрСтных схСм автоматичСского контроля ΠΈ управлСния. Для всСх Π²ΠΈΠ΄ΠΎΠ² логичСских элСмСнтов, нСзависимо ΠΎΡ‚ ΠΈΡ… физичСской ΠΏΡ€ΠΈΡ€ΠΎΠ΄Ρ‹, Ρ…Π°Ρ€Π°ΠΊΡ‚Π΅Ρ€Π½Ρ‹ дискрСтныС значСния Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΈ Π²Ρ‹Ρ…ΠΎΠ΄Π½Ρ‹Ρ… сигналов.

ЛогичСскиС элСмСнты ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½ ΠΈΠ»ΠΈ нСсколько Π²Ρ…ΠΎΠ΄ΠΎΠ² ΠΈ ΠΎΠ΄ΠΈΠ½ ΠΈΠ»ΠΈ Π΄Π²Π° (ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ инвСрсных Π΄Ρ€ΡƒΠ³ Π΄Ρ€ΡƒΠ³Ρƒ) Π²Ρ‹Ρ…ΠΎΠ΄Π°. ЗначСния Β«Π½ΡƒΠ»Π΅ΠΉΒ» ΠΈ Β«Π΅Π΄ΠΈΠ½ΠΈΡ†Β» Π²Ρ‹Ρ…ΠΎΠ΄Π½Ρ‹Ρ… сигналов логичСских элСмСнтов ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ логичСской Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠ΅ΠΉ, ΠΊΠΎΡ‚ΠΎΡ€ΡƒΡŽ выполняСт элСмСнт, ΠΈ значСниями Β«Π½ΡƒΠ»Π΅ΠΉΒ» ΠΈ Β«Π΅Π΄ΠΈΠ½ΠΈΡ†Β» Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… сигналов, ΠΈΠ³Ρ€Π°ΡŽΡ‰ΠΈΡ… Ρ€ΠΎΠ»ΡŒ нСзависимых ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Π‘ΡƒΡ‰Π΅ΡΡ‚Π²ΡƒΡŽΡ‚ элСмСнтарныС логичСскиС Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ, ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠΆΠ½ΠΎ ΡΠΎΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Π»ΡŽΠ±ΡƒΡŽ ΡΠ»ΠΎΠΆΠ½ΡƒΡŽ Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ.

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π’ зависимости ΠΎΡ‚ устройства схСмы элСмСнта, ΠΎΡ‚ Π΅Π΅ элСктричСских ΠΏΠ°Ρ€Π°ΠΌΠ΅Ρ‚Ρ€ΠΎΠ², логичСскиС ΡƒΡ€ΠΎΠ²Π½ΠΈ (высокиС ΠΈ Π½ΠΈΠ·ΠΊΠΈΠ΅ ΡƒΡ€ΠΎΠ²Π½ΠΈ напряТСния) Π²Ρ…ΠΎΠ΄Π° ΠΈ Π²Ρ‹Ρ…ΠΎΠ΄Π° ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ значСния для высокого ΠΈ Π½ΠΈΠ·ΠΊΠΎΠ³ΠΎ (истинного ΠΈ Π»ΠΎΠΆΠ½ΠΎΠ³ΠΎ) состояний.

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π’Ρ€Π°Π΄ΠΈΡ†ΠΈΠΎΠ½Π½ΠΎ логичСскиС элСмСнты Π²Ρ‹ΠΏΡƒΡΠΊΠ°ΡŽΡ‚ΡΡ Π² Π²ΠΈΠ΄Π΅ ΡΠΏΠ΅Ρ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Ρ… Ρ€Π°Π΄ΠΈΠΎΠ΄Π΅Ρ‚Π°Π»Π΅ΠΉ β€” ΠΈΠ½Ρ‚Π΅Π³Ρ€Π°Π»ΡŒΠ½Ρ‹Ρ… микросхСм. ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, Ρ‚Π°ΠΊΠΈΠ΅ ΠΊΠ°ΠΊ ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ, Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ, ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ ΠΈ слоТСниС ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ (И, Π˜Π›Π˜, НЕ, ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜) β€” ΡΠ²Π»ΡΡŽΡ‚ΡΡ основными опСрациями, выполняСмыми Π½Π° логичСских элСмСнтах основных Ρ‚ΠΈΠΏΠΎΠ². Π”Π°Π»Π΅Π΅ рассмотрим ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ ΠΈΠ· этих Ρ‚ΠΈΠΏΠΎΠ² логичСских элСмСнтов Π±ΠΎΠ»Π΅Π΅ Π²Π½ΠΈΠΌΠ°Ρ‚Π΅Π»ΡŒΠ½ΠΎ.

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π’Π°Π±Π»ΠΈΡ†Π° истинности для элСмСнта 2И ΠΏΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ элСмСнта Π±ΡƒΠ΄Π΅Ρ‚ логичСская Π΅Π΄ΠΈΠ½ΠΈΡ†Π° лишь Π² Ρ‚ΠΎΠΌ случаС, Ссли логичСскиС Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ Π±ΡƒΠ΄ΡƒΡ‚ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ Π½Π° ΠΏΠ΅Ρ€Π²ΠΎΠΌ Π²Ρ…ΠΎΠ΄Π΅ И Π½Π° Π²Ρ‚ΠΎΡ€ΠΎΠΌ Π²Ρ…ΠΎΠ΄Π΅. Π’ ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Ρ… Ρ‚Ρ€Π΅Ρ… Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… случаях Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ноль.

На Π·Π°ΠΏΠ°Π΄Π½Ρ‹Ρ… схСмах Π·Π½Π°Ρ‡ΠΎΠΊ элСмСнта «И» ΠΈΠΌΠ΅Π΅Ρ‚ ΠΏΡ€ΡΠΌΡƒΡŽ Ρ‡Π΅Ρ€Ρ‚Ρƒ Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π·Π°ΠΊΡ€ΡƒΠ³Π»Π΅Π½ΠΈΠ΅ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅. На отСчСствСнных схСмах β€” ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ с символом Β«&Β».

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π’Π°Π±Π»ΠΈΡ†Π° истинности для элСмСнта Β«2Π˜Π›Π˜Β» ΠΏΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ для появлСния Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ логичСской Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹, достаточно Ρ‡Ρ‚ΠΎΠ±Ρ‹ логичСская Π΅Π΄ΠΈΠ½ΠΈΡ†Π° Π±Ρ‹Π»Π° Π½Π° ΠΏΠ΅Ρ€Π²ΠΎΠΌ Π²Ρ…ΠΎΠ΄Π΅ Π˜Π›Π˜ Π½Π° Π²Ρ‚ΠΎΡ€ΠΎΠΌ Π²Ρ…ΠΎΠ΄Π΅. Если логичСскиС Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ Π±ΡƒΠ΄ΡƒΡ‚ сразу Π½Π° Π΄Π²ΡƒΡ… Π²Ρ…ΠΎΠ΄Π°Ρ…, Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ Ρ‚Π°ΠΊΠΆΠ΅ Π±ΡƒΠ΄Π΅Ρ‚ Π΅Π΄ΠΈΠ½ΠΈΡ†Π°.

На Π·Π°ΠΏΠ°Π΄Π½Ρ‹Ρ… схСмах Π·Π½Π°Ρ‡ΠΎΠΊ элСмСнта Β«Π˜Π›Π˜Β» ΠΈΠΌΠ΅Π΅Ρ‚ Π·Π°ΠΊΡ€ΡƒΠ³Π»Π΅Π½ΠΈΠ΅ Π½Π° Π²Ρ…ΠΎΠ΄Π΅ ΠΈ Π·Π°ΠΊΡ€ΡƒΠ³Π»Π΅Π½ΠΈΠ΅ с заострСниСм Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅. На отСчСствСнных схСмах β€” ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ с символом Β«1Β».

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π’Π°Π±Π»ΠΈΡ†Π° истинности для ΠΈΠ½Π²Π΅Ρ€Ρ‚ΠΎΡ€Π° ΠΏΠΎΠΊΠ°Π·Ρ‹Π²Π°Π΅Ρ‚, Ρ‡Ρ‚ΠΎ высокий ΠΏΠΎΡ‚Π΅Π½Ρ†ΠΈΠ°Π» Π½Π° Π²Ρ…ΠΎΠ΄Π΅ Π΄Π°Ρ‘Ρ‚ Π½ΠΈΠ·ΠΊΠΈΠΉ ΠΏΠΎΡ‚Π΅Π½Ρ†ΠΈΠ°Π» Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ ΠΈ Π½Π°ΠΎΠ±ΠΎΡ€ΠΎΡ‚.

На Π·Π°ΠΏΠ°Π΄Π½Ρ‹Ρ… схСмах Π·Π½Π°Ρ‡ΠΎΠΊ элСмСнта «НЕ» ΠΈΠΌΠ΅Π΅Ρ‚ Ρ„ΠΎΡ€ΠΌΡƒ Ρ‚Ρ€Π΅ΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊΠ° с ΠΊΡ€ΡƒΠΆΠΎΡ‡ΠΊΠΎΠΌ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅. На отСчСствСнных схСмах β€” ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΈΠΊ с символом Β«1Β», с ΠΊΡ€ΡƒΠΆΠΊΠΎΠΌ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅.

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π’Π°Π±Π»ΠΈΡ†Π° истинности для элСмСнта «И-НЕ» ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Π° Ρ‚Π°Π±Π»ΠΈΡ†Π΅ для элСмСнта «И». ВмСсто Ρ‚Ρ€Π΅Ρ… Π½ΡƒΠ»Π΅ΠΉ ΠΈ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ β€” Ρ‚Ρ€ΠΈ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹ ΠΈ ноль. Π­Π»Π΅ΠΌΠ΅Π½Ρ‚ «И-НЕ» Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Π΅Ρ‰Π΅ «элСмСнт Π¨Π΅Ρ„Ρ„Π΅Ρ€Π°Β» Π² Ρ‡Π΅ΡΡ‚ΡŒ ΠΌΠ°Ρ‚Π΅ΠΌΠ°Ρ‚ΠΈΠΊΠ° Π“Π΅Π½Ρ€ΠΈ ΠœΠΎΡ€ΠΈΡΠ° Π¨Π΅Ρ„Ρ„Π΅Ρ€Π°, Π²ΠΏΠ΅Ρ€Π²Ρ‹Π΅ ΠΎΡ‚ΠΌΠ΅Ρ‚ΠΈΠ²ΡˆΠ΅Π³ΠΎ Π·Π½Π°Ρ‡ΠΈΠΌΠΎΡΡ‚ΡŒ этой логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π² 1913 Π³ΠΎΠ΄Ρƒ. ΠžΠ±ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ΡΡ ΠΊΠ°ΠΊ «И», Ρ‚ΠΎΠ»ΡŒΠΊΠΎ с ΠΊΡ€ΡƒΠΆΠΎΡ‡ΠΊΠΎΠΌ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅.

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π˜Π·ΠΎΠ±Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ Π² Π·Π°ΠΏΠ°Π΄Π½Ρ‹Ρ… схСмах β€” ΠΊΠ°ΠΊ Ρƒ Β«Π˜Π›Π˜Β» с Π΄ΠΎΠΏΠΎΠ»Π½ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΉ ΠΈΠ·ΠΎΠ³Π½ΡƒΡ‚ΠΎΠΉ полоской Π½Π° сторонС Π²Ρ…ΠΎΠ΄Π°, Π² отСчСствСнной β€” ΠΊΠ°ΠΊ Β«Π˜Π›Π˜Β», Ρ‚ΠΎΠ»ΡŒΠΊΠΎ вмСсто Β«1Β» Π±ΡƒΠ΄Π΅Ρ‚ написано Β«=1Β».

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π­Ρ‚ΠΎΡ‚ логичСский элСмСнт Π΅Ρ‰Π΅ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ Β«Π½Π΅Ρ€Π°Π²Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΡΡ‚ΡŒΒ». Высокий ΡƒΡ€ΠΎΠ²Π΅Π½ΡŒ напряТСния Π±ΡƒΠ΄Π΅Ρ‚ Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ лишь Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° сигналы Π½Π° Π²Ρ…ΠΎΠ΄Π΅ Π½Π΅ Ρ€Π°Π²Π½Ρ‹ (Π½Π° ΠΎΠ΄Π½ΠΎΠΌ Π΅Π΄ΠΈΠ½ΠΈΡ†Π°, Π½Π° Π΄Ρ€ΡƒΠ³ΠΎΠΌ ноль ΠΈΠ»ΠΈ Π½Π° ΠΎΠ΄Π½ΠΎΠΌ ноль, Π° Π½Π° Π΄Ρ€ΡƒΠ³ΠΎΠΌ Π΅Π΄ΠΈΠ½ΠΈΡ†Π°) Ссли Π΄Π°ΠΆΠ΅ Π½Π° Π²Ρ…ΠΎΠ΄Π΅ Π±ΡƒΠ΄ΡƒΡ‚ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ Π΄Π²Π΅ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹, Π½Π° Π²Ρ‹Ρ…ΠΎΠ΄Π΅ Π±ΡƒΠ΄Π΅Ρ‚ ноль β€” Π² этом ΠΎΡ‚Π»ΠΈΡ‡ΠΈΠ΅ ΠΎΡ‚ Β«Π˜Π›Π˜Β». Π”Π°Π½Π½Ρ‹Π΅ элСмСнты Π»ΠΎΠ³ΠΈΠΊΠΈ ΡˆΠΈΡ€ΠΎΠΊΠΎ ΠΏΡ€ΠΈΠΌΠ΅Π½ΡΡŽΡ‚ΡΡ Π² сумматорах.

Если Π’Π°ΠΌ ΠΏΠΎΠ½Ρ€Π°Π²ΠΈΠ»Π°ΡΡŒ эта ΡΡ‚Π°Ρ‚ΡŒΡ, ΠΏΠΎΠ΄Π΅Π»ΠΈΡ‚Π΅ΡΡŒ ссылкой Π½Π° Π½Π΅Ρ‘ Π² ΡΠΎΡ†ΠΈΠ°Π»ΡŒΠ½Ρ‹Ρ… сСтях. Π­Ρ‚ΠΎ сильно ΠΏΠΎΠΌΠΎΠΆΠ΅Ρ‚ Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΡŽ нашСго сайта!

ΠŸΠΎΠ΄ΠΏΠΈΡΡ‹Π²Π°ΠΉΡ‚Π΅ΡΡŒ Π½Π° наш ΠΊΠ°Π½Π°Π» Π² Telegram!

ΠŸΡ€ΠΎΡΡ‚ΠΎ ΠΏΡ€ΠΎΠΉΠ΄ΠΈΡ‚Π΅ ΠΏΠΎ ссылкС ΠΈ ΠΏΠΎΠ΄ΠΊΠ»ΡŽΡ‡ΠΈΡ‚Π΅ΡΡŒ ΠΊ ΠΊΠ°Π½Π°Π»Ρƒ.

НС пропуститС обновлСния, ΠΏΠΎΠ΄ΠΏΠΈΡˆΠΈΡ‚Π΅ΡΡŒ Π½Π° наши соцсСти:

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

Π£Ρ€ΠΎΠΊ β„–43. ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹: И, Π˜Π›Π˜, НЕ

Обновл. 11 БСн 2021 |

На этом ΡƒΡ€ΠΎΠΊΠ΅ ΠΌΡ‹ рассмотрим логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ И, Π˜Π›Π˜ ΠΈ НЕ Π² языкС Π‘++.

ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹

Π’ Ρ‚ΠΎ врСмя ΠΊΠ°ΠΊ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ сравнСния ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ для ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ ΠΊΠΎΠ½ΠΊΡ€Π΅Ρ‚Π½ΠΎΠ³ΠΎ условия: Π»ΠΎΠΆΠ½ΠΎΠ΅ ΠΎΠ½ΠΎ ΠΈΠ»ΠΈ истинноС, ΠΎΠ½ΠΈ ΠΌΠΎΠ³ΡƒΡ‚ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄Π½ΠΎ условиС Π·Π° ΠΎΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½Π½Ρ‹ΠΉ ΠΏΡ€ΠΎΠΌΠ΅ΠΆΡƒΡ‚ΠΎΠΊ Π²Ρ€Π΅ΠΌΠ΅Π½ΠΈ. Но Π±Ρ‹Π²Π°ΡŽΡ‚ ситуации, ΠΊΠΎΠ³Π΄Π° Π½ΡƒΠΆΠ½ΠΎ ΠΏΡ€ΠΎΡ‚Π΅ΡΡ‚ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ сразу нСсколько условий. НапримСр, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ·Π½Π°Ρ‚ΡŒ, Π²Ρ‹ΠΈΠ³Ρ€Π°Π»ΠΈ Π»ΠΈ ΠΌΡ‹ Π² Π»ΠΎΡ‚Π΅Ρ€Π΅ΡŽ, Π½Π°ΠΌ Π½ΡƒΠΆΠ½ΠΎ ΡΡ€Π°Π²Π½ΠΈΡ‚ΡŒ всС Ρ†ΠΈΡ„Ρ€Ρ‹ ΠΊΡƒΠΏΠ»Π΅Π½Π½ΠΎΠ³ΠΎ Π±ΠΈΠ»Π΅Ρ‚Π° с Π²Ρ‹ΠΈΠ³Ρ€Ρ‹ΡˆΠ½Ρ‹ΠΌΠΈ. Если Π² Π»ΠΎΡ‚Π΅Ρ€Π΅Π΅ 6 Ρ†ΠΈΡ„Ρ€, Ρ‚ΠΎ Π½ΡƒΠΆΠ½ΠΎ Π²Ρ‹ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ 6 сравнСний, всС ΠΈΠ· ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π±Ρ‹Ρ‚ΡŒ true.

Π’Π°ΠΊΠΆΠ΅ ΠΈΠ½ΠΎΠ³Π΄Π° Π½Π°ΠΌ Π½ΡƒΠΆΠ½ΠΎ Π·Π½Π°Ρ‚ΡŒ, являСтся Π»ΠΈ Ρ…ΠΎΡ‚ΡŒ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… условий истинным. НапримСр, ΠΌΡ‹ Π½Π΅ ΠΏΠΎΠΉΠ΄Π΅ΠΌ сСгодня Π½Π° Ρ€Π°Π±ΠΎΡ‚Ρƒ, Ссли Π±ΠΎΠ»ΡŒΠ½Ρ‹ ΠΈΠ»ΠΈ слишком устали, ΠΈΠ»ΠΈ Ссли Π²Ρ‹ΠΈΠ³Ρ€Π°Π»ΠΈ Π² Π»ΠΎΡ‚Π΅Ρ€Π΅ΡŽ. 🙂 Нам Π½ΡƒΠΆΠ½ΠΎ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ, являСтся Π»ΠΈ Ρ…ΠΎΡ‚ΡŒ ΠΎΠ΄Π½ΠΎ ΠΈΠ· этих Ρ‚Ρ€Π΅Ρ… условий истинным. Как это ΡΠ΄Π΅Π»Π°Ρ‚ΡŒ? Π‘ ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ²! Они ΠΏΠΎΠ·Π²ΠΎΠ»ΡΡŽΡ‚ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ сразу нСсколько условий Π·Π° Ρ€Π°Π·.

Π’ языкС C++ Π΅ΡΡ‚ΡŒ 3 логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π°:

ΠžΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ Π‘ΠΈΠΌΠ²ΠΎΠ» ΠŸΡ€ΠΈΠΌΠ΅Ρ€ ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡ
ЛогичСскоС НЕ!!xtrue, Ссли x β€” false ΠΈ false, Ссли x β€” true
ЛогичСскоС И&&x && ytrue, Ссли x ΠΈ y β€” true, Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС β€” false
ЛогичСскоС Π˜Π›Π˜||x || ytrue, Ссли x ΠΈΠ»ΠΈ y β€” true, Π² ΠΏΡ€ΠΎΡ‚ΠΈΠ²Π½ΠΎΠΌ случаС β€” false

ЛогичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ НЕ

ΠœΡ‹ ΡƒΠΆΠ΅ с Π½ΠΈΠΌ ΡΡ‚Π°Π»ΠΊΠΈΠ²Π°Π»ΠΈΡΡŒ Π½Π° ΡƒΡ€ΠΎΠΊΠ΅ β„–34.

ЛогичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ НЕ (!)
ΠžΠΏΠ΅Ρ€Π°Π½Π΄ Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚
truefalse
falsetrue

Если ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ΠΎΠΌ являСтся true, Ρ‚ΠΎ, послС примСнСния логичСского НЕ, Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ΠΎΠΌ Π±ΡƒΠ΄Π΅Ρ‚ false. Если ΠΆΠ΅ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ Π΄ΠΎ примСнСния ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π° НЕ Π±Ρ‹Π» false, Ρ‚ΠΎ послС Π΅Π³ΠΎ примСнСния станСт true. Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ НЕ мСняСт Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ Π½Π° ΠΏΡ€ΠΎΡ‚ΠΈΠ²ΠΎΠΏΠΎΠ»ΠΎΠΆΠ½Ρ‹ΠΉ Π½Π°Ρ‡Π°Π»ΡŒΠ½ΠΎΠΌΡƒ Π·Π½Π°Ρ‡Π΅Π½ΠΈΡŽ. Он часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π² условных выраТСниях:

Π‘Π»Π΅Π΄ΡƒΠ΅Ρ‚ ΠΏΠΎΠΌΠ½ΠΈΡ‚ΡŒ, Ρ‡Ρ‚ΠΎ логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ НЕ ΠΈΠΌΠ΅Π΅Ρ‚ ΠΎΡ‡Π΅Π½ΡŒ высокий ΡƒΡ€ΠΎΠ²Π΅Π½ΡŒ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚Π°. Новички часто ΡΠΎΠ²Π΅Ρ€ΡˆΠ°ΡŽΡ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ ΠΎΡˆΠΈΠ±ΠΊΡƒ:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ выполнСния ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹:

ΠŸΡ€Π°Π²ΠΈΠ»ΡŒΠ½Ρ‹ΠΉ способ написания ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡ‹, ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½Π½ΠΎΠΉ Π²Ρ‹ΡˆΠ΅:

ΠŸΡ€Π°Π²ΠΈΠ»ΠΎ: Если логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ НЕ Π΄ΠΎΠ»ΠΆΠ΅Π½ Ρ€Π°Π±ΠΎΡ‚Π°Ρ‚ΡŒ с Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π°ΠΌΠΈ Ρ€Π°Π±ΠΎΡ‚Ρ‹ Π΄Ρ€ΡƒΠ³ΠΈΡ… ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ², Ρ‚ΠΎ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ ΠΈ ΠΈΡ… ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Ρ‹ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π½Π°Ρ…ΠΎΠ΄ΠΈΡ‚ΡŒΡΡ Π² ΠΊΡ€ΡƒΠ³Π»Ρ‹Ρ… скобках.

ЛогичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ Π˜Π›Π˜

Если Ρ…ΠΎΡ‚ΡŒ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π΄Π²ΡƒΡ… условий являСтся истинным, Ρ‚ΠΎ логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ Π˜Π›Π˜ являСтся true.

ЛогичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ Π˜Π›Π˜ (||)
Π›Π΅Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ ΠŸΡ€Π°Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚
falsefalsefalse
falsetruetrue
truefalsetrue
truetruetrue

Рассмотрим ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΡƒΡŽ ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΡƒ:

Π—Π΄Π΅ΡΡŒ ΠΌΡ‹ использовали логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ Π˜Π›Π˜, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ, являСтся Π»ΠΈ Ρ…ΠΎΡ‚ΡŒ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π΄Π²ΡƒΡ… условий истинным: Π»Π΅Π²ΠΎΠ΅ ( value == 0 ) ΠΈΠ»ΠΈ ΠΏΡ€Π°Π²ΠΎΠ΅ ( value == 1 ). Если Ρ…ΠΎΡ‚ΡŒ ΠΎΠ΄Π½ΠΎ ΠΈΠ· условий β€” true ΠΈΠ»ΠΈ ΠΎΠ±Π° сразу true, Ρ‚ΠΎ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒΡΡ Π±ΡƒΠ΄Π΅Ρ‚ стСйтмСнт if. Если Π½ΠΈ ΠΎΠ΄Π½ΠΎ ΠΈΠ· условий Π½Π΅ являСтся true, Ρ‚ΠΎ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ β€” false ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡ‚ΡŒΡΡ Π±ΡƒΠ΄Π΅Ρ‚ стСйтмСнт else.

Π’Ρ‹ ΠΌΠΎΠΆΠ΅Ρ‚Π΅ ΡΠ²ΡΠ·Π°Ρ‚ΡŒ сразу нСсколько условий:

Новички ΠΈΠ½ΠΎΠ³Π΄Π° ΠΏΡƒΡ‚Π°ΡŽΡ‚ логичСскоС Π˜Π›Π˜ ( || ) с ΠΏΠΎΠ±ΠΈΡ‚ΠΎΠ²Ρ‹ΠΌ Π˜Π›Π˜ ( | ). Π₯ΠΎΡ‚ΡŒ Ρƒ Π½ΠΈΡ… ΠΈ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Π΅ названия, Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ ΠΎΠ½ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ Ρ€Π°Π·Π½Ρ‹Π΅.

ЛогичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ И

Волько ΠΏΡ€ΠΈ условии, Ρ‡Ρ‚ΠΎ ΠΎΠ±Π° ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π° Π±ΡƒΠ΄ΡƒΡ‚ истинными, логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ И Π±ΡƒΠ΄Π΅Ρ‚ true. Если Π½Π΅Ρ‚, Ρ‚ΠΎΠ³Π΄Π° β€” false.

ЛогичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ И (&&)
Π›Π΅Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ ΠŸΡ€Π°Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚
falsefalsefalse
falsetruefalse
truefalsefalse
truetruetrue

НапримСр, ΠΌΡ‹ Ρ…ΠΎΡ‚ΠΈΠΌ ΡƒΠ·Π½Π°Ρ‚ΡŒ, находится Π»ΠΈ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ Ρ… Π² Π΄ΠΈΠ°ΠΏΠ°Π·ΠΎΠ½Π΅ ΠΎΡ‚ 10 Π΄ΠΎ 20. Π—Π΄Π΅ΡΡŒ Ρƒ нас Π΅ΡΡ‚ΡŒ Π΄Π²Π° условия: ΠΌΡ‹ Π΄ΠΎΠ»ΠΆΠ½Ρ‹ ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ, являСтся Π»ΠΈ Ρ… большС 10 ΠΈ являСтся Π»ΠΈ Ρ… мСньшС 20.

Если ΠΎΠ±Π° условия истинны, Ρ‚ΠΎ выполняСтся Ρ‡Π°ΡΡ‚ΡŒ if. Если ΠΆΠ΅ Ρ…ΠΎΡ‚ΡŒ ΠΎΠ΄Π½ΠΎ ΠΈΠ»ΠΈ сразу ΠΎΠ±Π° условия Π»ΠΎΠΆΠ½Ρ‹Π΅, Ρ‚ΠΎ выполняСтся Ρ‡Π°ΡΡ‚ΡŒ else.

Как ΠΈ с логичСским Π˜Π›Π˜, ΠΌΡ‹ ΠΌΠΎΠΆΠ΅ΠΌ ΠΊΠΎΠΌΠ±ΠΈΠ½ΠΈΡ€ΠΎΠ²Π°Ρ‚ΡŒ сразу нСсколько условий И:

ΠšΠΎΡ€ΠΎΡ‚ΠΊΠΈΠΉ Ρ†ΠΈΠΊΠ» вычислСний

Для Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ логичСскоС И Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π°Π»ΠΎ true, ΠΎΠ±Π° ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π° Π΄ΠΎΠ»ΠΆΠ½Ρ‹ Π±Ρ‹Ρ‚ΡŒ истинными. Если ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ вычисляСтся ΠΊΠ°ΠΊ false, Ρ‚ΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ И Π΄ΠΎΠ»ΠΆΠ΅Π½ сразу Π²ΠΎΠ·Π²Ρ€Π°Ρ‰Π°Ρ‚ΡŒ false нСзависимо ΠΎΡ‚ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π° Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π° (Π΄Π°ΠΆΠ΅ Π±Π΅Π· Π΅Π³ΠΎ ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ). Π­Ρ‚ΠΎ называСтся ΠΊΠΎΡ€ΠΎΡ‚ΠΊΠΈΠΌ Ρ†ΠΈΠΊΠ»ΠΎΠΌ вычислСния (Π°Π½Π³Π». Β«short circuit evaluationΒ») ΠΈ выполняСтся ΠΎΠ½, Π² ΠΏΠ΅Ρ€Π²ΡƒΡŽ ΠΎΡ‡Π΅Ρ€Π΅Π΄ΡŒ, Π² цСлях ΠΎΠΏΡ‚ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΠΈ.

Аналогично, Ссли ΠΏΠ΅Ρ€Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ логичСского Π˜Π›Π˜ являСтся true, Ρ‚ΠΎ ΠΈ всё условиС Π±ΡƒΠ΄Π΅Ρ‚ true (Π΄Π°ΠΆΠ΅ Π±Π΅Π· ΠΎΠ±Ρ€Π°Π±ΠΎΡ‚ΠΊΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠ³ΠΎ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄Π°).

Как ΠΈ Π² случаС с ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ Π˜Π›Π˜, Π½ΠΎΠ²ΠΈΡ‡ΠΊΠΈ ΠΈΠ½ΠΎΠ³Π΄Π° ΠΏΡƒΡ‚Π°ΡŽΡ‚ логичСскоС И ( && ) с ΠΏΠΎΠ±ΠΈΡ‚ΠΎΠ²Ρ‹ΠΌ И ( & ).

ИспользованиС логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² И/Π˜Π›Π˜

Иногда Π²ΠΎΠ·Π½ΠΈΠΊΠ°ΡŽΡ‚ ситуации, ΠΊΠΎΠ³Π΄Π° смСшивания логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠ² И ΠΈ Π˜Π›Π˜ Π² ΠΎΠ΄Π½ΠΎΠΌ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ Π½Π΅ ΠΈΠ·Π±Π΅ΠΆΠ°Ρ‚ΡŒ. Π’ΠΎΠ³Π΄Π° слСдуСт Π·Π½Π°Ρ‚ΡŒ ΠΎ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… ΠΏΡ€ΠΎΠ±Π»Π΅ΠΌΠ°Ρ…, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ ΠΌΠΎΠ³ΡƒΡ‚ ΠΏΡ€ΠΎΠΈΠ·ΠΎΠΉΡ‚ΠΈ.

МногиС программисты Π΄ΡƒΠΌΠ°ΡŽΡ‚, Ρ‡Ρ‚ΠΎ логичСскиС И ΠΈ Π˜Π›Π˜ ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹ΠΉ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚ (ΠΈΠ»ΠΈ Π·Π°Π±Ρ‹Π²Π°ΡŽΡ‚, Ρ‡Ρ‚ΠΎ это Π½Π΅ Ρ‚Π°ΠΊ), Ρ‚Π°ΠΊ ΠΆΠ΅ ΠΊΠ°ΠΊ ΠΈ слоТСниС/Π²Ρ‹Ρ‡ΠΈΡ‚Π°Π½ΠΈΠ΅ ΠΈΠ»ΠΈ ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅/Π΄Π΅Π»Π΅Π½ΠΈΠ΅. Π’Π΅ΠΌ Π½Π΅ ΠΌΠ΅Π½Π΅Π΅, ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚ логичСского И Π²Ρ‹ΡˆΠ΅ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚Π° Π˜Π›Π˜. Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ с ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ΠΎΠΌ И всСгда Π±ΡƒΠ΄ΡƒΡ‚ Π²Ρ‹Ρ‡ΠΈΡΠ»ΡΡ‚ΡŒΡΡ ΠΏΠ΅Ρ€Π²Ρ‹ΠΌΠΈ (Ссли Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ с Π˜Π›Π˜ Π½Π΅ находятся Π² ΠΊΡ€ΡƒΠ³Π»Ρ‹Ρ… скобках).

value1 || (value2 && value3)

(value1 || value2) && value3

Π—Π°ΠΊΠΎΠ½Ρ‹ Π”Π΅ ΠœΠΎΡ€Π³Π°Π½Π°

Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Ρ‹ И ΠΈ Π˜Π›Π˜ ΠΌΠ΅Π½ΡΡŽΡ‚ΡΡ мСстами! Π’ Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… случаях, это Π΄Π°ΠΆΠ΅ ΠΏΠΎΠ»Π΅Π·Π½ΠΎ, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ ΡƒΠ»ΡƒΡ‡ΡˆΠ°Π΅Ρ‚ Ρ‡ΠΈΡ‚Π°Π±Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ.

А Π³Π΄Π΅ ΠΆΠ΅ ΠΏΠΎΠ±ΠΈΡ‚ΠΎΠ²ΠΎΠ΅ ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜ (XOR)?

ΠŸΠΎΠ±ΠΈΡ‚ΠΎΠ²ΠΎΠ΅ ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜ (XOR) β€” это логичСский ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€, ΠΊΠΎΡ‚ΠΎΡ€Ρ‹ΠΉ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π² Π½Π΅ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… языках программирования для ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ Π½Π° ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ Π½Π΅Ρ‡Ρ‘Ρ‚Π½ΠΎΠ³ΠΎ количСства условий.

ΠŸΠΎΠ±ΠΈΡ‚ΠΎΠ²ΠΎΠ΅ ΠΈΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜ (XOR)
Π›Π΅Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ ΠŸΡ€Π°Π²Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Π½Π΄ Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚
falsefalsefalse
falsetruetrue
truefalsetrue
truetruefalse

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

Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ°. 7 класс

Π­Π»Π΅ΠΊΡ‚Ρ€ΠΎΠ½Π½ΠΎΠ΅ ΠΏΡ€ΠΈΠ»ΠΎΠΆΠ΅Π½ΠΈΠ΅ ΠΊ ΡƒΡ‡Π΅Π±Π½ΠΎΠΌΡƒ пособию

ΠΠ°ΠΏΠΈΡˆΠΈΡ‚Π΅ Π½Π°ΠΌ

Π±Π΅Π»Ρ‹ΠΉ β€” основныС ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Ρ‹, ΠΎΠ±ΡΠ·Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Π΅ для изучСния;

Π³ΠΎΠ»ΡƒΠ±ΠΎΠΉ β€” ΠΏΡ€ΠΈΠΌΠ΅Ρ€Ρ‹, ΠΈΠ»Π»ΡŽΡΡ‚Ρ€ΠΈΡ€ΡƒΡŽΡ‰ΠΈΠ΅ основныС ΠΌΠ°Ρ‚Π΅Ρ€ΠΈΠ°Π»Ρ‹;

ΠΆΠ΅Π»Ρ‚Ρ‹ΠΉ β€” опрСдСлСния основных понятий;

свСтло-Π·Π΅Π»Π΅Π½Ρ‹ΠΉ β€” историчСскиС свСдСния, информация ΠΎΠ± ΡƒΡ‡Π΅Π½Ρ‹Ρ…, Π²Π½Π΅ΡΡˆΠΈΡ… Π²ΠΊΠ»Π°Π΄ Π² Ρ€Π°Π·Π²ΠΈΡ‚ΠΈΠ΅ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠΈ, ΠΈ Π΄Ρ€ΡƒΠ³ΠΈΠ΅ интСрСсныС Ρ„Π°ΠΊΡ‚Ρ‹.

Π’ ΡƒΡ‡Π΅Π±Π½ΠΎΠΌ пособии ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ΡΡ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ условныС обозначСния:

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈβ€” вопросы ΠΈ задания для ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΊΠΈ Π·Π½Π°Π½ΠΈΠΉ;

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈβ€” Ρ€Π°Π·Π΄Π΅Π» «УпраТнСния» содСрТит задания, ΠΏΡ€ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ ΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€;

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈβ€” Ρ€Π°Π·Π΄Π΅Π» «УпраТнСния» содСрТит задания для выполнСния Π² Ρ‚Π΅Ρ‚Ρ€Π°Π΄ΠΈ;

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈβ€” Ρ€Π°Π·Π΄Π΅Π» «УпраТнСния» содСрТит задания, ΠΏΡ€ΠΈ Π²Ρ‹ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ использована информация, размСщСнная Π½Π° ΠΠ°Ρ†ΠΈΠΎΠ½Π°Π»ΡŒΠ½ΠΎΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΠΌ ΠΏΠΎΡ€Ρ‚Π°Π»Π΅;

* β€” Π·Π°Π΄Π°Π½ΠΈΠ΅ ΠΈΠ»ΠΈ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ для Π»ΡŽΠ±ΠΎΠ·Π½Π°Ρ‚Π΅Π»ΡŒΠ½Ρ‹Ρ….

Β§ 4. ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ И ΠΈ Π˜Π›Π˜

Π›ΠΎΠ³ΠΈΠΊΠ° высказываний позволяСт ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ составныС высказывания. Они ΡΠΎΠ·Π΄Π°ΡŽΡ‚ΡΡ ΠΈΠ· Π½Π΅ΡΠΊΠΎΠ»ΡŒΠΊΠΈΡ… простых высказываний ΠΏΡƒΡ‚Π΅ΠΌ соСдинСния ΠΈΡ… Π΄Ρ€ΡƒΠ³ с Π΄Ρ€ΡƒΠ³ΠΎΠΌ с ΠΏΠΎΠΌΠΎΡ‰ΡŒΡŽ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ НЕ, И, Π˜Π›Π˜ ΠΈ Π΄Ρ€.

4.1. ЛогичСская опСрация И

ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅ истинности ΠΈΠ»ΠΈ лоТности составного высказывания зависит ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, ΡΠ²Π»ΡΡŽΡ‚ΡΡ Π»ΠΈ истинными ΠΈΠ»ΠΈ Π»ΠΎΠΆΠ½Ρ‹ΠΌΠΈ простыС высказывания, входящиС Π² Π΅Π³ΠΎ состав, Π° Ρ‚Π°ΠΊΠΆΠ΅ ΠΎΡ‚ Ρ‚ΠΎΠΉ логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ, которая ΠΈΡ… связываСт.

БоставноС высказываниС А И Π’, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½ΠΎΠ΅ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ объСдинСния Π΄Π²ΡƒΡ… простых высказываний А ΠΈ B логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ И, истинно Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° А ΠΈ Π’ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ истинны (ΠΏΡ€ΠΈΠΌΠ΅Ρ€ 4.1 ΠΈ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ 4.2).

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ И Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ логичСским ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅ΠΌ. РавСнства 1 Β· 1 = 1, 1 Β· 0 = 0, 0 Β· 1 = 0, 0 Β· 0 = 0, Π²Π΅Ρ€Π½Ρ‹Π΅ для ΠΎΠ±Ρ‹Ρ‡Π½ΠΎΠ³ΠΎ умноТСния, Π²Π΅Ρ€Π½Ρ‹ ΠΈ для логичСского умноТСния.

ΠŸΡ€Π΅Π΄ΡΡ‚Π°Π²ΠΈΠΌ Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ истинности для логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ И:

Если хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎ ΠΈΠ· простых высказываний, связанных ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ И, Π±ΡƒΠ΄Π΅Ρ‚ Π»ΠΎΠΆΠ½Ρ‹ΠΌ, Ρ‚ΠΎ ΠΈ составноС высказываниС Π±ΡƒΠ΄Π΅Ρ‚ Π»ΠΎΠΆΠ½Ρ‹ΠΌ.

4.2. ЛогичСская опСрация Π˜Π›Π˜

БоставноС высказываниС А Π˜Π›Π˜ Π’, ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½Π½ΠΎΠ΅ Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ объСдинСния Π΄Π²ΡƒΡ… простых высказываний А ΠΈ B логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ Π˜Π›Π˜, Π»ΠΎΠΆΠ½ΠΎ Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° А ΠΈ Π’ ΠΎΠ΄Π½ΠΎΠ²Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎ Π»ΠΎΠΆΠ½Ρ‹ (ΠΏΡ€ΠΈΠΌΠ΅Ρ€ 4.3).

Π”Ρ€ΡƒΠ³ΠΈΠΌΠΈ словами, составноС высказываниС А Π˜Π›Π˜ Π’ Π±ΡƒΠ΄Π΅Ρ‚ истинным, Ссли истинно хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎ ΠΈΠ· Π΄Π²ΡƒΡ… ΡΠΎΡΡ‚Π°Π²Π»ΡΡŽΡ‰ΠΈΡ… Π΅Π³ΠΎ простых высказываний (ΠΏΡ€ΠΈΠΌΠ΅Ρ€ 4.4).

Π’Π°Π±Π»ΠΈΡ†Π° истинности для логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π˜Π›Π˜ ΠΈΠΌΠ΅Π΅Ρ‚ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΉ Π²ΠΈΠ΄:

ΠžΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ Π˜Π›Π˜ Π½Π°Π·Ρ‹Π²Π°ΡŽΡ‚ логичСским слоТСниСм. РавСнства 1 + 0 = 1, 0 + 1 = 1, 0 + 0 = 0, Π²Π΅Ρ€Π½Ρ‹Π΅ для ΠΎΠ±Ρ‹Ρ‡Π½ΠΎΠ³ΠΎ слоТСния, Π²Π΅Ρ€Π½Ρ‹ ΠΈ для логичСского слоТСния.

Для записи логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π˜Π›Π˜ ΠΌΠΎΠΆΠ½ΠΎ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΠΎΠ²Π°Ρ‚ΡŒ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΠ΅ выраТСния: A Π˜Π›Π˜ B, A OR B, A + B, A ∨ B, A | B.

Если Π² логичСском Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ присутствуСт нСсколько логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ, Ρ‚ΠΎ Π²Π°ΠΆΠ½ΠΎ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ порядок ΠΈΡ… выполнСния. ΠΠ°ΠΈΠ²Ρ‹ΡΡˆΠΈΠΌ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚ΠΎΠΌ ΠΎΠ±Π»Π°Π΄Π°Π΅Ρ‚ опСрация НЕ. ЛогичСская опСрация И, Ρ‚. Π΅. логичСскоС ΡƒΠΌΠ½ΠΎΠΆΠ΅Π½ΠΈΠ΅, выполняСтся Ρ€Π°Π½ΡŒΡˆΠ΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π˜Π›Π˜ β€” логичСского слоТСния (ΠΏΡ€ΠΈΠΌΠ΅Ρ€ 4.5* ΠΈ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ 4.6*).

Для измСнСния порядка выполнСния логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΡŽΡ‚ скобки: Π² этом случаС сначала Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ΡΡ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π² скобках, Π° Π·Π°Ρ‚Π΅ΠΌ β€” всС ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅.

ЛогичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ И ΠΈ Π˜Π›Π˜ ΠΏΠΎΠ΄Ρ‡ΠΈΠ½ΡΡŽΡ‚ΡΡ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅ΡΡ‚ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎΠΌΡƒ Π·Π°ΠΊΠΎΠ½Ρƒ:

Π§Ρ‚ΠΎΠ±Ρ‹ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ составного логичСского выраТСния, ΠΈΠ½ΠΎΠ³Π΄Π° достаточно Π·Π½Π°Ρ‚ΡŒ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΎΠ΄Π½ΠΎΠ³ΠΎ простого высказывания.

Π’Π°ΠΊ, Ссли Π² составном высказывании с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ И Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎΠ³ΠΎ простого высказывания являСтся Π»ΠΎΠΆΠ½Ρ‹ΠΌ, Ρ‚ΠΎ ΠΈ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ составного высказывания Π±ΡƒΠ΄Π΅Ρ‚ Π»ΠΎΠΆΠ½Ρ‹ΠΌ. Если Π² составном высказывании с ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ Π˜Π›Π˜ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ хотя Π±Ρ‹ ΠΎΠ΄Π½ΠΎΠ³ΠΎ простого Π±ΡƒΠ΄Π΅Ρ‚ истинным, Ρ‚ΠΎ ΠΈ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ составного высказывания Π±ΡƒΠ΄Π΅Ρ‚ истинным (ΠΏΡ€ΠΈΠΌΠ΅Ρ€ 4.7).

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 4.1. ΠŸΡ€ΠΎΠ°Π½Π°Π»ΠΈΠ·ΠΈΡ€ΡƒΠ΅ΠΌ высказываниС «Число 456 Ρ‚Ρ€Π΅Ρ…Π·Π½Π°Ρ‡Π½ΠΎΠ΅ ΠΈ Ρ‡Π΅Ρ‚Π½ΠΎΠ΅Β».

Π”Π°Π½Π½ΠΎΠ΅ высказываниС являСтся составным, ΠΏΠΎΡΠΊΠΎΠ»ΡŒΠΊΡƒ ΠΎΠ½ΠΎ содСрТит Π΄Π²Π° простых высказывания:

«Число 456 Ρ‚Ρ€Π΅Ρ…Π·Π½Π°Ρ‡Π½ΠΎΠ΅Β» (высказываниС А) ΠΈ «Число 456 Ρ‡Π΅Ρ‚Π½ΠΎΠ΅Β» (высказываниС Π’). Высказывания А ΠΈ Π’ соСдинСны вмСстС логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ И, Π² Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½ΠΎ составноС высказываниС А И B. ВысказываниС А истинно, высказываниС Π’ истинно. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ высказываниС А И B истинно: (А И B) = 1.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 4.2. ВысказываниС А: Β«Π“Π΅Ρ€Π°ΠΊΠ» β€” Π³Π΅Ρ€ΠΎΠΉ дрСвнСгрСчСской ΠΌΠΈΡ„ΠΎΠ»ΠΎΠ³ΠΈΠΈΒ». Π˜ΡΡ‚ΠΈΠ½Π½ΠΎ, А = 1.

ВысказываниС Π’: Β«Π“Π΅Ρ€Π°ΠΊΠ» β€” сын Π±ΠΎΠ³Π° ЗСвса». Π˜ΡΡ‚ΠΈΠ½Π½ΠΎ, B = 1.

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

ВысказываниС А И Π’: Β«Π“Π΅Ρ€Π°ΠΊΠ» β€” Π³Π΅Ρ€ΠΎΠΉ дрСвнСгрСчСской ΠΌΠΈΡ„ΠΎΠ»ΠΎΠ³ΠΈΠΈ И сын Π±ΠΎΠ³Π° ЗСвса». Π˜ΡΡ‚ΠΈΠ½Π½ΠΎ, (А И Π’) = 1.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 4.3. ΠŸΡ€ΠΎΠ°Π½Π°Π»ΠΈΠ·ΠΈΡ€ΡƒΠ΅ΠΌ высказываниС «БСмиклас-сники ΠΈΠ·ΡƒΡ‡Π°ΡŽΡ‚ Ρ„ΠΈΠ»ΠΎΡΠΎΡ„ΠΈΡŽ ΠΈΠ»ΠΈ Π°ΡΡ‚Ρ€ΠΎΠ½ΠΎΠΌΠΈΡŽΒ».

Π”Π°Π½Π½ΠΎΠ΅ составноС высказываниС ΠΎΠ±Ρ€Π°Π·ΠΎΠ²Π°Π½ΠΎ ΠΈΠ· Π΄Π²ΡƒΡ… простых высказываний: «БСмиклассники ΠΈΠ·ΡƒΡ‡Π°ΡŽΡ‚ Ρ„ΠΈΠ»ΠΎΡΠΎΡ„ΠΈΡŽΒ» (высказываниС А), «БСмиклас-сники ΠΈΠ·ΡƒΡ‡Π°ΡŽΡ‚ Π°ΡΡ‚Ρ€ΠΎΠ½ΠΎΠΌΠΈΡŽΒ» (высказываниС Π’), ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Π΅ связаны логичСской ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠ΅ΠΉ Π˜Π›Π˜. Π’ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚Π΅ ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠ»ΠΎΡΡŒ составноС высказываниС А Π˜Π›Π˜ B. ВысказываниС А Π»ΠΎΠΆΠ½ΠΎ, высказываниС Π’ Π»ΠΎΠΆΠ½ΠΎ. ΠŸΠΎΡΡ‚ΠΎΠΌΡƒ высказываниС А Π˜Π›Π˜ B Π»ΠΎΠΆΠ½ΠΎ: (А Π˜Π›Π˜ B) = 0.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 4.4. ВысказываниС А: «Ѐранциск Π‘ΠΊΠΎΡ€ΠΈΠ½Π° β€” бСлорусский ΠΏΠ΅Ρ€Π²ΠΎΠΏΠ΅Ρ‡Π°Ρ‚Π½ΠΈΠΊΒ». Π˜ΡΡ‚ΠΈΠ½Π½ΠΎ, А = 1.

ВысказываниС Π’: Β«Π‘Ρ‚Π΅Ρ„Π°Π½ Π‘Π°Ρ‚ΠΎΡ€ΠΈΠΉ β€” Ρ‚ΡƒΡ€Π΅Ρ†ΠΊΠΈΠΉ султан». Π›ΠΎΠΆΠ½ΠΎ, B = 0.

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

ВысказываниС «Ѐранциск Π‘ΠΊΠΎΡ€ΠΈΠ½Π° β€” бСлорусский ΠΏΠ΅Ρ€Π²ΠΎΠΏΠ΅Ρ‡Π°Ρ‚Π½ΠΈΠΊ, Π˜Π›Π˜ Π‘Ρ‚Π΅Ρ„Π°Π½ Π‘Π°Ρ‚ΠΎΡ€ΠΈΠΉ β€” Ρ‚ΡƒΡ€Π΅Ρ†ΠΊΠΈΠΉ султан» Π±ΡƒΠ΄Π΅Ρ‚ истинным, (А Π˜Π›Π˜ Π’) = 1.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 4.5*.
Рассмотрим Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅: А Π˜Π›Π˜ B И НЕ Π‘. РаспишСм ΠΏΠΎ дСйствиям вычислСниС значСния логичСского выраТСния:

Π—Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ высказывания F, ΠΏΠΎΠ»ΡƒΡ‡Π΅Π½Π½ΠΎΠ΅ Π² 3-ΠΌ дСйствии, ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ исходного логичСского выраТСния.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 4.6*.
ΠŸΡƒΡΡ‚ΡŒ высказываниС А = 1, B = 0, Π‘ = 0. НайдСм Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ логичСского выраТСния: А Π˜Π›Π˜ B И НЕ Π‘.

Π—Π½Π°Ρ‡ΠΈΡ‚, ΠΏΡ€ΠΈ Π½Π°Ρ‡Π°Π»ΡŒΠ½Ρ‹Ρ… значСниях А = 1, B = 0, Π‘ = 0 Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ логичСского выраТСния А Π˜Π›Π˜ B И НЕ Π‘ истинно.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 4.7. ВысказываниС А: Β«ΠŸΡ€ΠΎΠ³Π½ΠΎΠ· ΠΏΠΎΠ³ΠΎΠ΄Ρ‹ ΠΎΠ±Π΅Ρ‰Π°Π΅Ρ‚ Π΄ΠΎΠΆΠ΄ΠΈΒ». ВысказываниС Π’: «БСйчас Π½Π° ΡƒΠ»ΠΈΡ†Π΅ ΠΈΠ΄Π΅Ρ‚ доТдь».

ВысказываниС А И B Π±ΡƒΠ΄Π΅Ρ‚ Π»ΠΎΠΆΠ½Ρ‹ΠΌ, Ссли ΠΌΡ‹ ΡƒΠ²ΠΈΠ΄Π΅Π»ΠΈ, Ρ‡Ρ‚ΠΎ Π½Π° ΡƒΠ»ΠΈΡ†Π΅ Π½Π΅Ρ‚ доТдя (нСзависимо ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎ ΠΎΠ±Π΅Ρ‰Π°Π» ΠΏΡ€ΠΎΠ³Π½ΠΎΠ· ΠΏΠΎΠ³ΠΎΠ΄Ρ‹).

ВысказываниС А Π˜Π›Π˜ B Π±ΡƒΠ΄Π΅Ρ‚ истинным, Ссли ΠΏΡ€ΠΎΠ³Π½ΠΎΠ· ΠΏΠΎΠ³ΠΎΠ΄Ρ‹ ΠΎΠ±Π΅Ρ‰Π°Π» доТдь (нСзависимо ΠΎΡ‚ Ρ‚ΠΎΠ³ΠΎ, ΠΊΠ°ΠΊΡƒΡŽ ΠΏΠΎΠ³ΠΎΠ΄Ρƒ ΠΌΡ‹ наблюдаСм сСйчас).

ВСсты

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

1 Π’ ΠΊΠ°ΠΊΠΈΡ… условиях составноС высказываниС А И Π’ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ истинным?

2 Π’ ΠΊΠ°ΠΊΠΈΡ… случаях составноС высказываниС А Π˜Π›Π˜ Π’ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ Π»ΠΎΠΆΠ½Ρ‹ΠΌ?

Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈΠ§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈΠ§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

2 О Ρ‚ΠΎΠΌ, ΠΊΠ°ΠΊ ΠΏΡ€ΠΎΡˆΠ»ΠΈ Π»Π΅Ρ‚Π½ΠΈΠ΅ ΠΊΠ°Π½ΠΈΠΊΡƒΠ»Ρ‹, ΠšΠΈΡ€Π° рассказала своим Π΄Ρ€ΡƒΠ·ΡŒΡΠΌ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅Π΅:

ΠŸΠΎΠ΄Π³ΠΎΡ‚ΠΎΠ²ΡŒΡ‚Π΅ ΠΊ ΠΊΠ°ΠΆΠ΄ΠΎΠΌΡƒ ΠΈΠ· высказываний ΠšΠΈΡ€Ρ‹ рисунки, учитывая, Ρ‡Ρ‚ΠΎ всС высказывания истинны.

4 ΠžΡ‚ΠΊΡ€ΠΎΠΉΡ‚Π΅ Ρ„Π°ΠΉΠ» с рисунком ΠΈ ΠΏΠΎΡΡ‚Π°Π²ΡŒΡ‚Π΅ всС Ρ†Π²Π΅Ρ‚Ρ‹ Π² Π²Π°Π·Ρ‹ Ρ‚Π°ΠΊ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Π±Ρ‹Π»ΠΎ истинным высказываниС: Β«Π’ синСй Π²Π°Π·Π΅ всС Ρ†Π²Π΅Ρ‚Ρ‹ Ρ€ΠΎΠ·Ρ‹, ΠΈΠ»ΠΈ Π² красной Π²Π°Π·Π΅ всС Ρ†Π²Π΅Ρ‚Ρ‹ Π½Π΅ красного Ρ†Π²Π΅Ρ‚Π°Β».
Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ логичСскоС ΠΈΠ»ΠΈ

5* НайдитС значСния логичСских Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ, Ссли А = 1, B = 1, Π‘ = 0, D = 0.

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

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

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