Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

Π”Π²ΠΎΠΉΠ½ΠΎΠΉ Π·Π½Π°ΠΊ Ρ€Π°Π²Π½ΠΎ ΠΈ Ρ‚Ρ€ΠΎΠΉΠ½ΠΎΠΉ Π·Π½Π°ΠΊ Ρ€Π°Π²Π½ΠΎ Π² php

Какая Ρ€Π°Π·Π½ΠΈΡ†Π° ΠΌΠ΅ΠΆΠ΄Ρƒ двумя ΠΈ трСмя Ρ€Π°Π²Π½ΠΎ!?

Π”Π²Π° Ρ€Π°Π²Π½ΠΎ Π² php «==»

НачнСм нашС повСствованиС с Π΄Π²ΠΎΠΉΠ½ΠΎΠ³ΠΎ Π·Π°Π½ΠΊΠ° Ρ€Π°Π²Π½ΠΎ.

Как называСтся Π΄Π²ΠΎΠΉΠ½ΠΎΠ΅ Ρ€Π°Π²Π½ΠΎ Π² php?

А ΠΌΠΎΠΆΠ΅Ρ‚ Π²Ρ‹ Π½ΠΈΡ‡Π΅Π³ΠΎ странного ΠΈ Π½Π΅ Π²ΠΈΠ΄ΠΈΡ‚Π΅.. Π½Ρƒ ΠΈ Π»Π°Π΄Π½ΠΎ!

Π“Π΄Π΅ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ «Ρ€Π°Π²Π½ΠΎ» Π² php?

Π’ простом условии, ΠΊΠΎΠ³Π΄Π° трСбуСтся ΠΏΡ€ΠΎΠ²Π΅Ρ€ΠΈΡ‚ΡŒ Ρ‡Ρ‚ΠΎ-Ρ‚ΠΎ с Ρ‡Π΅ΠΌ-Ρ‚ΠΎ, Ρ‚ΠΎ скорСС всСго Ρ‚Π°ΠΌ Π±ΡƒΠ΄Π΅Ρ‚ «Π΄Π²ΠΎΠΉΠ½ΠΎΠ΅ Ρ€Π°Π²Π½ΠΎ»

Π”Π°Π²Π°ΠΉΡ‚Π΅ ΠΏΡ€ΠΈΠ΄ΡƒΠΌΠ°Π΅ΠΌ простой ΠΏΡ€ΠΈΠΌΠ΅Ρ€, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΠΌΡ‹ смогли Π² ΠΆΠΈΠ²ΡƒΡŽ ΡƒΠ²ΠΈΠ΄Π΅Ρ‚ΡŒ дСйствиС этого ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π°!

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ Π΄Π²ΠΎΠΉΠ½ΠΎΠ³ΠΎ Ρ€Π°Π²Π½ΠΎ Π² php:

Для Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ²ΠΈΠ΄Π΅Ρ‚ΡŒ дСйствиС Π΄Π°Π½Π½ΠΎΠ³ΠΎ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π° «Π΄Π²Π° Ρ€Π°Π²Π½ΠΎ» Π½Π°ΠΌ понадобится :

Π’Π½ΡƒΡ‚Ρ€ΠΈ Ρ†ΠΈΠΊΠ»Π° условиС if

Π’ условии напишСм, Ссли порядковый Π½ΠΎΠΌΠ΅Ρ€ Ρ†ΠΈΠΊΠ»Π° «$i» Ρ€Π°Π²Π΅Π½ числу «Ρ‚Ρ€ΠΈ», Ρ‚ΠΎ Π²Ρ‹Π²Π΅Π΄Π΅ΠΌ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΡƒΡŽ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ. И подсвСтим красным.

Π˜Π½Π°Ρ‡Π΅ «else», пСрСмСнная «$i» Π½Π΅ Ρ€Π°Π²Π½Π° Ρ‚Ρ€Π΅ΠΌ

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ Ρ€Π°Π±ΠΎΡ‚Ρ‹ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€Π° сравнСниС «Π΄Π²ΠΎΠΉΠ½ΠΎΠ³ΠΎ Ρ€Π°Π²Π½ΠΎ» Π² php

Π’Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² php «===»

ΠžΠΏΡΡ‚ΡŒ Π½Π°Ρ‡Π½Π΅ΠΌ с названия! ΠŸΠΎΡ‚ΠΎΠΌΡƒ, Ρ‡Ρ‚ΠΎ «Ρ‚Ρ€ΠΎΠΉΠ½ΠΎΠ΅ Ρ€Π°Π²Π½ΠΎ» ΠΈΠΌΠ΅Π΅Ρ‚ совС ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½ΠΎΠ΅ Π½Π°Π·Π²Π°Π½ΠΈΠ΅!

Как Π½Π°Π·Ρ‹Π²Π°Π΅Ρ‚ Ρ‚Ρ€ΠΎΠΉΠ½ΠΎΠ΅ Ρ€Π°Π²Π½ΠΎ Π² php?

Но Ρ‡Ρ‚ΠΎ Ρ‚Π°ΠΊΠΎΠ΅ «Π’оТдСствСнно Ρ€Π°Π²Π½ΠΎ«

Π”Π°Π½Π½Ρ‹ΠΉ ΠΎΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€ сравнСния ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π½Π°ΠΌΠ½ΠΎΠ³ΠΎ Ρ€Π΅ΠΆΠ΅, Ρ‡Π΅ΠΌ ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰ΠΈΠΉ!

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ Ρ€Π°Π±ΠΎΡ‚Ρ‹ Ρ‚Ρ€ΠΎΠΉΠ½ΠΎΠ³ΠΎ Ρ€Π°Π²Π½ΠΎ Π² php

Π”Π°Π²Π°ΠΉΡ‚Π΅ ΠΏΠΎΠ²Ρ‚ΠΎΡ€ΠΈΠΌ Ρ‚ΠΎ, Ρ‡Ρ‚ΠΎ ΠΌΡ‹ ΠΏΡ€ΠΎΠ΄Π΅Π»Ρ‹Π²Π°Π»ΠΈ Π² ΠΏΡ€Π΅Π΄Ρ‹Π΄ΡƒΡ‰Π΅ΠΌ ΠΏΡƒΠ½ΠΊΡ‚Π΅, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ вмСсто Π΄Π²ΠΎΠΉΠ½ΠΎΠ³ΠΎ Ρ€Π°Π²Π½ΠΎ ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΠΌ Ρ‚Ρ€ΠΎΠΉΠ½ΠΎΠ΅ Ρ€Π°Π²Π½ΠΎ ΠΈ посмотрим Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ Ρ€Π°Π±ΠΎΡ‚Ρ‹ Ρ‚Ρ€ΠΎΠΉΠ½ΠΎΠ³ΠΎ Ρ€Π°Π²Π½ΠΎ Π² php:

Как Π²ΠΈΠ΄ΠΈΠΌ, Ρ‡Ρ‚ΠΎ ΠΈ Π² ΠΏΠ΅Ρ€Π²ΠΎΠΌ ΠΈ Π²Ρ‚ΠΎΡ€ΠΎΠΌ случаС, сработало Π΄Π²Π° Ρ€Π°Π²Π½ΠΎ ΠΈ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ!

Π’ Ρ‡Π΅ΠΌ ΠΆΠ΅ Ρ€Π°Π·Π½ΠΈΡ†Π° ΠΌΠ΅ΠΆΠ΄Ρƒ двумя Π·Π½Π°ΠΊΠ°ΠΌΠΈ «Π΄Π²Π° Ρ€Π°Π²Π½ΠΎ» ΠΈ «Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ«?

Π― Π²Π°ΠΌ ΠΏΠΎΠΊΠ°ΠΆΡƒ Π½Π° простом ΠΏΡ€ΠΈΠΌΠ΅Ρ€Π΅, ΠΊΠ°ΠΊ ΠΈ Ρ‡Π΅ΠΌ отличаСтся ΠΌΠ΅ΠΆΠ΄Ρƒ собой эти Π΄Π²Π° Π²Π°Ρ€ΠΈΠ°Π½Ρ‚Π° сравнСниС!

Π§Π΅ΠΌ ΠΎΡ‚Π»ΠΈΡ‡Π°ΡŽΡ‚ΡΡ «Π΄Π²Π° Ρ€Π°Π²Π½ΠΎ» ΠΈ «Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ«?

Но для этого придСтся Π²ΠΊΠ»ΡŽΡ‡ΠΈΡ‚ΡŒ Ρ‚Π΅Ρ€ΠΏΠ΅Π½ΠΈΠ΅, Π° Π»ΡƒΡ‡ΡˆΠ΅ ΠΌΠ½ΠΎΠ³ΠΎ тСрпСния ΠΈ ΠΏΡ€ΠΎΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ Π΄Π°Π½Π½Ρ‹ΠΉ ΠΏΡƒΠ½ΠΊΡ‚ с максимальной Π²Π½ΠΈΠΌΠ°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒΡŽ!

ΠŸΠΎΡ‚ΠΎΠΌΡƒ! Π§Ρ‚ΠΎ ΠΊΠΎΠ³Π΄Π° с этим ΡΡ‚Π°Π»ΠΊΠΈΠ²Π°Π΅ΡˆΡŒΡΡ Π²ΠΏΠ΅Ρ€Π²Ρ‹Π΅, Ρ‚ΠΎ это каТСтся ΠΏΠΎΠ»Π½Ρ‹ΠΌ Π±Ρ€Π΅Π΄ΠΎΠΌ!
Но это Π½Π΅ Ρ‚Π°ΠΊ!

По ΠΎΠ΄Π½ΠΎΠΉ простой ΠΏΡ€ΠΈΡ‡ΠΈΠ½Π΅! Π― Π²Π½ΡƒΡ‚Ρ€ΠΈ, Π° Π²Ρ‹ снаруТи!

Для Ρ‚ΠΎΠ³ΠΎ, Ρ‡Ρ‚ΠΎΠ±Ρ‹ Ρ€Π°Π·ΠΎΠ±Ρ€Π°Ρ‚ΡŒΡΡ Π½Π°ΠΌ потрСбуСтся ΠΌΠ½ΠΎΠ³ΠΎ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, Π½Π°Ρ‡Π½Π΅ΠΌ с Π΄Π²ΡƒΡ…:

Π’Ρ‹ ΠΌΠΎΠΆΠ΅Ρ‚Π΅ ΡΠΊΠ°Π·Π°Ρ‚ΡŒ, Ρ‡Ρ‚ΠΎ эти Π΄Π²Π΅ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅ Ρ€Π°Π²Π½Ρ‹. И Π΄Π΅ΠΉΡΡ‚Π²ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ Ρ€Π°Π²Π½Ρ‹! Но Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΏΠΎ Π·Π½Π°Ρ‡Π΅Π½ΠΈΡŽ, Π½ΠΎ Π½Π΅ ΠΏΠΎ Ρ‚ΠΈΠΏΡƒ! И Ρ‚ΡƒΡ‚ Π½Π°ΠΌ понадобится:

Π˜Π½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡ ΠΎ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ

Π§Ρ‚ΠΎΠ±Ρ‹ ΡƒΠ·Π½Π°Ρ‚ΡŒ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ†ΠΈΡŽ ΠΎ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ, Π½Π°ΠΌ Π½ΡƒΠΆΠ½Π° функция var_dump, Π΄Π°Π²Π°ΠΉΡ‚Π΅ ΠΏΡ€ΠΈΠΌΠ΅Π½ΠΈΠΌ Π΄Π°Π½Π½ΡƒΡŽ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΡŽ ΠΊ ΠΏΠ΅Ρ€Π²ΠΎΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ :

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

Π’Π°Π±Π»ΠΈΡ†Π° истинности Ρ‚Ρ€ΠΎΠΉΠ½ΠΎΠ΅ Ρ€Π°Π²Π½ΠΎ

ΠšΠ»Π°Π²ΠΈΡˆΠ°ΠžΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€
!Β¬ΠžΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ (НЕ)
||Π¨Ρ‚Ρ€ΠΈΡ… Π¨Π΅Ρ„Ρ„Π΅Ρ€Π° (И-НЕ)
#↓БтрСлка ΠŸΠΈΡ€ΡΠ° (Π˜Π›Π˜-НЕ)
*&ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ (И)
+vΠ”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ (Π˜Π›Π˜)
^βŠ•Π˜ΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜, сумма ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 2 (XOR)
@β†’Π˜ΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΡ (Π•Π‘Π›Π˜-ВО)
%β†ΠžΠ±Ρ€Π°Ρ‚Π½Π°Ρ импликация
=≑ (

Π­ΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ (Π ΠΠ’ΠΠž)

bc Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ввСсти Ρ‚Π°ΠΊ: a*b*c+a*b=c+a=b*c
Для Π²Π²ΠΎΠ΄Π° Π΄Π°Π½Π½Ρ‹Ρ… Π² Π²ΠΈΠ΄Π΅ логичСской схСмы ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠΉΡ‚Π΅ этот сСрвис.

ΠŸΡ€Π°Π²ΠΈΠ»Π° Π²Π²ΠΎΠ΄Π° логичСской Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ

ВсС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ Ρ‚Π°Π±Π»ΠΈΡ†Π°ΠΌΠΈ истинности Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ. Π’Π°Π±Π»ΠΈΡ†Π° истинности опрСдСляСт Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ выполнСния ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ для всСх Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… логичСских Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ исходных высказываний. ΠšΠΎΠ»ΠΈΡ‡Π΅ΡΡ‚Π²ΠΎ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚ΠΎΠ², ΠΎΡ‚Ρ€Π°ΠΆΠ°ΡŽΡ‰ΠΈΡ… Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ примСнСния ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ, Π±ΡƒΠ΄Π΅Ρ‚ Π·Π°Π²ΠΈΡΠ΅Ρ‚ΡŒ ΠΎΡ‚ количСства высказываний Π² логичСском Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ. Если число высказываний Π² логичСском Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ N, Ρ‚ΠΎ Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности Π±ΡƒΠ΄Π΅Ρ‚ ΡΠΎΠ΄Π΅Ρ€ΠΆΠ°Ρ‚ΡŒ 2 N строк, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ сущСствуСт 2 N Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΉ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ².

ЭквивалСнция
Π˜ΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜-НЕ, EQ, XNOR
Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅
Π”ΠΈΠ°Π³Ρ€Π°ΠΌΠΌΠ° Π’Π΅Π½Π½Π°
ΠžΠΏΡ€Π΅Π΄Π΅Π»Π΅Π½ΠΈΠ΅x = y Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅
Π’Π°Π±Π»ΠΈΡ†Π° истинности( 1001 ) Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅
ЛогичСский Π²Π΅Π½Ρ‚ΠΈΠ»ΡŒΠ§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅
ΠΠΎΡ€ΠΌΠ°Π»ΡŒΠ½Ρ‹Π΅ Ρ„ΠΎΡ€ΠΌΡ‹
Π”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Π°Ρx β‹… y + x Β― β‹… y Β― >cdot >> Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅
ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ‚ΠΈΠ²Π½Π°Ρ( x Β― + y ) β‹… ( x + y Β― ) >+y)cdot (x+ >)> Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅
Полином Π–Π΅Π³Π°Π»ΠΊΠΈΠ½Π°1 βŠ• x βŠ• y Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅
ΠŸΡ€ΠΈΠ½Π°Π΄Π»Π΅ΠΆΠ½ΠΎΡΡ‚ΡŒ ΠΏΡ€Π΅Π΄ΠΏΠΎΠ»Π½Ρ‹ΠΌ классам
БохраняСт 0НСт
БохраняСт 1Π”Π°
ΠœΠΎΠ½ΠΎΡ‚ΠΎΠ½Π½Π°ΠΠ΅Ρ‚
Π›ΠΈΠ½Π΅ΠΉΠ½Π°Π”Π°
БамодвойствСннаНСт

ЛогичСская Ρ€Π°Π²Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΡΡ‚ΡŒ ΠΈΠ»ΠΈ эквивалС́нция (ΠΈΠ»ΠΈ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅ΜΠ½Ρ‚Π½ΠΎΡΡ‚ΡŒ [1] ) β€” это логичСскоС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅, ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ΅ являСтся истинным Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° простых логичСских выраТСния ΠΈΠΌΠ΅ΡŽΡ‚ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²ΡƒΡŽ ΠΈΡΡ‚ΠΈΠ½Π½ΠΎΡΡ‚ΡŒ. ДвумСстная логичСская опСрация ΠΎΠ±Ρ‹Ρ‡Π½ΠΎ обозначаСтся символом ≑ ΠΈΠ»ΠΈ ↔.

ЭквивалСнция A ⟺ B Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅β€” это сокращённая запись для выраТСния ( Β¬ A ∧ Β¬ B ) ∨ ( A ∧ B ) Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

Задаётся ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π΅ΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ истинности:

Π’Π°ΠΊΠΈΠΌ ΠΎΠ±Ρ€Π°Π·ΠΎΠΌ, высказываниС A ≑ B ΠΎΠ·Π½Π°Ρ‡Π°Π΅Ρ‚ Β«A Ρ‚ΠΎ ΠΆΠ΅ самоС, Ρ‡Ρ‚ΠΎ BΒ», Β«A эквивалСнтно BΒ», Β«A Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, ΠΊΠΎΠ³Π΄Π° BΒ».

НС Π½Π°Π΄ΠΎ ΠΏΡƒΡ‚Π°Ρ‚ΡŒ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ†ΠΈΡŽ β€” Π»ΠΎΠ³ΠΈΡ‡Π΅ΡΠΊΡƒΡŽ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΡŽ с логичСской ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒΡŽ [en] высказываний β€” Π±ΠΈΠ½Π°Ρ€Π½Ρ‹ΠΌ ΠΎΡ‚Π½ΠΎΡˆΠ΅Π½ΠΈΠ΅ΠΌ. Бвязь ΠΌΠ΅ΠΆΠ΄Ρƒ Π½ΠΈΠΌΠΈ ΡΠ»Π΅Π΄ΡƒΡŽΡ‰Π°Ρ:

ЛогичСскиС выраТСния A Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ΠΈ B Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² информатикСэквивалСнтны Π² Ρ‚ΠΎΠΌ ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Π² Ρ‚ΠΎΠΌ случаС, ΠΊΠΎΠ³Π΄Π° эквивалСнция A ⟺ B Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² информатикСистинна ΠΏΡ€ΠΈ всСх значСниях логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ….

ΠšΠ»Π°Π²ΠΈΡˆΠ°ΠžΠΏΠ΅Ρ€Π°Ρ‚ΠΎΡ€
!Β¬ΠžΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ (НЕ)
||Π¨Ρ‚Ρ€ΠΈΡ… Π¨Π΅Ρ„Ρ„Π΅Ρ€Π° (И-НЕ)
#↓БтрСлка ΠŸΠΈΡ€ΡΠ° (Π˜Π›Π˜-НЕ)
*&ΠšΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ (И)
+vΠ”ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ (Π˜Π›Π˜)
^βŠ•Π˜ΡΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰Π΅Π΅ Π˜Π›Π˜, сумма ΠΏΠΎ ΠΌΠΎΠ΄ΡƒΠ»ΡŽ 2 (XOR)
@β†’Π˜ΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΡ (Π•Π‘Π›Π˜-ВО)
%β†ΠžΠ±Ρ€Π°Ρ‚Π½Π°Ρ импликация
=≑ (

Π­ΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ (Π ΠΠ’ΠΠž)

bc Π½Π΅ΠΎΠ±Ρ…ΠΎΠ΄ΠΈΠΌΠΎ ввСсти Ρ‚Π°ΠΊ: a*b*c+a*b=c+a=b*c
Для Π²Π²ΠΎΠ΄Π° Π΄Π°Π½Π½Ρ‹Ρ… Π² Π²ΠΈΠ΄Π΅ логичСской схСмы ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠΉΡ‚Π΅ этот сСрвис.

ΠŸΡ€Π°Π²ΠΈΠ»Π° Π²Π²ΠΎΠ΄Π° логичСской Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ

ВсС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π°Π»Π³Π΅Π±Ρ€Ρ‹ Π»ΠΎΠ³ΠΈΠΊΠΈ ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΡΡŽΡ‚ΡΡ Ρ‚Π°Π±Π»ΠΈΡ†Π°ΠΌΠΈ истинности Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ. Π’Π°Π±Π»ΠΈΡ†Π° истинности опрСдСляСт Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ выполнСния ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ для всСх Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… логичСских Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ исходных высказываний. ΠšΠΎΠ»ΠΈΡ‡Π΅ΡΡ‚Π²ΠΎ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚ΠΎΠ², ΠΎΡ‚Ρ€Π°ΠΆΠ°ΡŽΡ‰ΠΈΡ… Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚ примСнСния ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ, Π±ΡƒΠ΄Π΅Ρ‚ Π·Π°Π²ΠΈΡΠ΅Ρ‚ΡŒ ΠΎΡ‚ количСства высказываний Π² логичСском Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ. Если число высказываний Π² логичСском Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ N, Ρ‚ΠΎ Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности Π±ΡƒΠ΄Π΅Ρ‚ ΡΠΎΠ΄Π΅Ρ€ΠΆΠ°Ρ‚ΡŒ 2 N строк, Ρ‚Π°ΠΊ ΠΊΠ°ΠΊ сущСствуСт 2 N Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ†ΠΈΠΉ Π²ΠΎΠ·ΠΌΠΎΠΆΠ½Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ².

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

ЛогичСскиС выраТСния ΠΈ Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности

ЛогичСскиС выраТСния ΠΈ Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности

Π’Π°Π±Π»ΠΈΡ†Π° истинности β€” Ρ‚Π°Π±Π»ΠΈΡ†Π°, ΠΏΠΎΠΊΠ°Π·Ρ‹Π²Π°ΡŽΡ‰Π°Ρ, ΠΊΠ°ΠΊΠΈΠ΅ значСния ΠΏΡ€ΠΈΠ½ΠΈΠΌΠ°Π΅Ρ‚ составноС высказываниС ΠΏΡ€ΠΈ всСх сочСтаниях (Π½Π°Π±ΠΎΡ€Π°Ρ…) Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ входящих Π² Π½Π΅Π³ΠΎ простых высказываний.

ЛогичСскоС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ β€” составныС высказывания Π² Π²ΠΈΠ΄Π΅ Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹.

Π Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½Ρ‹Π΅ логичСскиС выраТСния – логичСскиС выраТСния, Ρƒ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… послСдниС столбцы Ρ‚Π°Π±Π»ΠΈΡ† истинности ΡΠΎΠ²ΠΏΠ°Π΄Π°ΡŽΡ‚. Для обозначСния Ρ€Π°Π²Π½ΠΎΡΠΈΠ»ΡŒΠ½ΠΎΡΡ‚ΠΈ ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅Ρ‚ΡΡ Π·Π½Π°ΠΊ Β«=Β».

Алгоритм построСния Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности:

1. ΠΏΠΎΠ΄ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ количСство ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… n Π² логичСском Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ;

3. ΠΏΠΎΠ΄ΡΡ‡ΠΈΡ‚Π°Ρ‚ΡŒ количСство логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π² Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅;

4. ΡƒΡΡ‚Π°Π½ΠΎΠ²ΠΈΡ‚ΡŒ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒ выполнСния логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ с ΡƒΡ‡Π΅Ρ‚ΠΎΠΌ скобок ΠΈ ΠΏΡ€ΠΈΠΎΡ€ΠΈΡ‚Π΅Ρ‚ΠΎΠ²;

5. ΠΎΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚ΡŒ количСство столбцов: число ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… + число ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ;

6. Π²Ρ‹ΠΏΠΈΡΠ°Ρ‚ΡŒ Π½Π°Π±ΠΎΡ€Ρ‹ Π²Ρ…ΠΎΠ΄Π½Ρ‹Ρ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…;

7. провСсти Π·Π°ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности ΠΏΠΎ столбцам, выполняя логичСскиС ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π² соотвСтствии с установлСнной Π² ΠΏΡƒΠ½ΠΊΡ‚Π΅ 4 ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎΡΡ‚ΡŒΡŽ.

Π—Π°ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹:

1. Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΊΠΎΠ»ΠΎΠ½ΠΊΡƒ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ΅Ρ€Π²ΠΎΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ ΠΏΠΎΠΏΠΎΠ»Π°ΠΌ ΠΈ Π·Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ Π²Π΅Ρ€Ρ…Π½ΡŽΡŽ Ρ‡Π°ΡΡ‚ΡŒ Β«0Β», Π° ниТнюю Β«1Β»;

2. Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚ΡŒ ΠΊΠΎΠ»ΠΎΠ½ΠΊΡƒ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Π²Ρ‚ΠΎΡ€ΠΎΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½ΠΎΠΉ Π½Π° Ρ‡Π΅Ρ‚Ρ‹Ρ€Π΅ части ΠΈ Π·Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ ΠΊΠ°ΠΆΠ΄ΡƒΡŽ Ρ‡Π΅Ρ‚Π²Π΅Ρ€Ρ‚ΡŒ Ρ‡Π΅Ρ€Π΅Π΄ΡƒΡŽΡ‰ΠΈΠΌΠΈΡΡ Π³Ρ€ΡƒΠΏΠΏΠ°ΠΌΠΈ Β«0Β» ΠΈ Β«1Β», начиная с Π³Ρ€ΡƒΠΏΠΏΡ‹ Β«0Β»;

3. ΠΏΡ€ΠΎΠ΄ΠΎΠ»ΠΆΠ°Ρ‚ΡŒ Π΄Π΅Π»Π΅Π½ΠΈΠ΅ ΠΊΠΎΠ»ΠΎΠ½ΠΎΠΊ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠΎΡΠ»Π΅Π΄ΡƒΡŽΡ‰ΠΈΡ… ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… Π½Π° 8, 16 ΠΈ Ρ‚.Π΄. частСй ΠΈ Π·Π°ΠΏΠΎΠ»Π½Π΅Π½ΠΈΠ΅ ΠΈΡ… Π³Ρ€ΡƒΠΏΠΏΠ°ΠΌΠΈ Β«0Β» ΠΈΠ»ΠΈ Β«1Β» Π΄ΠΎ Ρ‚Π΅Ρ… ΠΏΠΎΡ€, ΠΏΠΎΠΊΠ° Π³Ρ€ΡƒΠΏΠΏΡ‹ Β«0Β» ΠΈ Β«1Β» Π½Π΅ Π±ΡƒΠ΄ΡƒΡ‚ ΡΠΎΡΡ‚ΠΎΡΡ‚ΡŒ ΠΈΠ· ΠΎΠ΄Π½ΠΎΠ³ΠΎ символа.

ΠŸΡ€ΠΈΠΌΠ΅Ρ€ 1. Для Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ A/\ (B \/ Β¬B /\Β¬C) постройтС Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ истинности.

ΠšΠΎΠ»ΠΈΡ‡Π΅ΡΡ‚Π²ΠΎ логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… 3, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ, количСство строк β€” 2 3 = 8.

ΠšΠΎΠ»ΠΈΡ‡Π΅ΡΡ‚Π²ΠΎ логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Π² Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ 5, количСство логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… 3, ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚Π΅Π»ΡŒΠ½ΠΎ количСство столбцов β€” 3 + 5 = 8.

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

1. Π’ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΈ Π΄Π²Π΅ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Π΅ А ΠΈ Π’ (n=2).

3. Π’ Ρ„ΠΎΡ€ΠΌΡƒΠ»Π΅ 5 логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ.

4. РасставляСм порядок дСйствий

1) А\/ Π’; 2) ¬А; 3) Β¬Π’; 4) ¬А\/Β¬Π’; 5) (А\/ Π’)/\(¬А\/Β¬Π’).

5. ΠšΡΡ‚ΠΎΠ»Π±Ρ†ΠΎΠ²=n+5=2+5=7 столбцов.

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

Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

2) ЛогичСскоС слоТСниС ΠΈΠ»ΠΈ Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ:

Π’Π°Π±Π»ΠΈΡ†Π° истинности для Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΠΈ

ABF
111
101
011
000

3) ЛогичСскоС ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅ ΠΈΠ»ΠΈ инвСрсия:

Π’Π°Π±Π»ΠΈΡ†Π° истинности для инвСрсии

A¬ А
10
01

4) ЛогичСскоС слСдованиС ΠΈΠ»ΠΈ импликация:

Β«A β†’ BΒ» истинно, Ссли ΠΈΠ· А ΠΌΠΎΠΆΠ΅Ρ‚ ΡΠ»Π΅Π΄ΠΎΠ²Π°Ρ‚ΡŒ B.

ΠžΠ±ΠΎΠ·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅: F = A β†’ B.

Π’Π°Π±Π»ΠΈΡ†Π° истинности для ΠΈΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΠΈ

ABF
111
100
011
001

5) ЛогичСская Ρ€Π°Π²Π½ΠΎΠ·Π½Π°Ρ‡Π½ΠΎΡΡ‚ΡŒ ΠΈΠ»ΠΈ ΡΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ:

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

Π Π°Π·Π±ΠΎΡ€ 2 задания Π•Π“Π­ ΠΏΠΎ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

ОбъяснСниС задания 2 Π•Π“Π­ ΠΏΠΎ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

2-Π΅ Π·Π°Π΄Π°Π½ΠΈΠ΅: Β«Π’Π°Π±Π»ΠΈΡ†Ρ‹ истинности»
Π£Ρ€ΠΎΠ²Π΅Π½ΡŒ слоТности β€” Π±Π°Π·ΠΎΠ²Ρ‹ΠΉ,
ВрСбуСтся использованиС спСциализированного ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠ½ΠΎΠ³ΠΎ обСспСчСния β€” Π½Π΅Ρ‚,
ΠœΠ°ΠΊΡΠΈΠΌΠ°Π»ΡŒΠ½Ρ‹ΠΉ Π±Π°Π»Π» β€” 1,
ΠŸΡ€ΠΈΠΌΠ΅Ρ€Π½ΠΎΠ΅ врСмя выполнСния β€” 3 ΠΌΠΈΠ½ΡƒΡ‚Ρ‹.

ΠŸΡ€ΠΎΠ²Π΅Ρ€ΡΠ΅ΠΌΡ‹Π΅ элСмСнты содСрТания: Π£ΠΌΠ΅Π½ΠΈΠ΅ ΡΡ‚Ρ€ΠΎΠΈΡ‚ΡŒ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности ΠΈ логичСскиС схСмы

«Π˜Π³Π½ΠΎΡ€ΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅ прямо ΡƒΠΊΠ°Π·Π°Π½Π½ΠΎΠ³ΠΎ Π² условии задания трСбования, Ρ‡Ρ‚ΠΎ заполнСнная Ρ‚Π°Π±Π»ΠΈΡ†Π° истинности Π½Π΅ Π΄ΠΎΠ»ΠΆΠ½Π° ΡΠΎΠ΄Π΅Ρ€ΠΆΠ°Ρ‚ΡŒ ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Ρ… строк. Π­Ρ‚ΠΎ ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΡ‚ ΠΊ внСшнС ΠΏΡ€Π°Π²Π΄ΠΎΠΏΠΎΠ΄ΠΎΠ±Π½ΠΎΠΌΡƒ, Π½ΠΎ Π½Π° самом Π΄Π΅Π»Π΅ Π½Π΅Π²Π΅Ρ€Π½ΠΎΠΌΡƒ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡŽ»

Π’Π°Π±Π»ΠΈΡ†Ρ‹ истинности ΠΈ порядок выполнСния логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ

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

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

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ НЕ

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

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ И (ΠΊΠΎΠ½ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ)

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

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π˜Π›Π˜ (Π΄ΠΈΠ·ΡŠΡŽΠ½ΠΊΡ†ΠΈΡ)

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

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π˜ΠΌΠΏΠ»ΠΈΠΊΠ°Ρ†ΠΈΡ (Ссли…, то…)

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

Π’Π°Π±Π»ΠΈΡ†Π° истинности ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ Π­ΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ (Ρ‚ΠΎΠ³Π΄Π° ΠΈ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ Ρ‚ΠΎΠ³Π΄Π°, …)

О прСобразованиях логичСских ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΉ Ρ‡ΠΈΡ‚Π°ΠΉΡ‚Π΅ здСсь.

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

РСшСниС Π·Π°Π΄Π°Π½ΠΈΠΉ 2 Π•Π“Π­ ΠΏΠΎ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

ΠŸΠ»Π΅ΠΉΠ»ΠΈΡΡ‚ Π²ΠΈΠ΄Π΅ΠΎΡ€Π°Π·Π±ΠΎΡ€ΠΎΠ² задания Π½Π° YouTube: Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Ρ„ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π‘ΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ ΠΊΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΡƒ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. ΠšΠ°Ρ€Ρ‚ΠΈΠ½ΠΊΠ° ΠΏΡ€ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅. Π€ΠΎΡ‚ΠΎ Π§Ρ‚ΠΎ Π·Π½Π°Ρ‡ΠΈΡ‚ Ρ‚Ρ€ΠΈ Ρ€Π°Π²Π½ΠΎ Π² ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅

ЛогичСская функция F задаСтся Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ

(¬x ∨ y ∨ z) ∧ (x ∨ ¬z ∨ ¬w)

НиТС ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F, содСрТащСй всС Π½Π°Π±ΠΎΡ€Ρ‹ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… функция F Π»ΠΎΠΆΠ½Π°.

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, ΠΊΠ°ΠΊΠΎΠΌΡƒ столбцу Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F соотвСтствуСт каТдая ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… x, y, z, w.

ΠŸΠ΅Ρ€Π΅ΠΌ.1ΠŸΠ΅Ρ€Π΅ΠΌ.2ΠŸΠ΅Ρ€Π΅ΠΌ.3ΠŸΠ΅Ρ€Π΅ΠΌ.4F
....F
01100
01110
10000
11000

Π’ ΠΎΡ‚Π²Π΅Ρ‚Π΅ Π·Π°ΠΏΠΈΡˆΠΈΡ‚Π΅ Π±ΡƒΠΊΠ²Ρ‹ Π² Ρ‚ΠΎΠΌ порядкС, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ΄ΡƒΡ‚ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΈΠΌ столбцы.

✍ РСшСниС:

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

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

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

print(‘x y z w’) for x in 0, 1: for y in 0, 1: for z in 0, 1: for w in 0, 1: F = (not(x) or y or z) and (x or not(z) or not(w)) if not(F): print(x, y, z, w)

Π―Π·Ρ‹ΠΊ pascalAbc.net:

begin writeln(‘x’:7, ‘y’:7, ‘z’:7,’w’:7); for var x:=false to true do for var y:=false to true do for var z:=false to true do for var w:=false to true do if not((not x or y or z) and (x or not z or not w)) then writeln(x:7, y:7, z:7,w:7); end.

ΠžΡ‚Π²Π΅Ρ‚:

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

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: xwzy

🎦 Π’ΠΈΠ΄Π΅ΠΎ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ 169 задания К.Полякова (Π±Π΅ΡΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π½Ρ‹ΠΉ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚):

Миша заполнял Ρ‚Π°Π±Π»ΠΈΡ†Ρƒ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ:

(Β¬z ∧ Β¬(x ≑ y)) β†’ Β¬(y ∨ w)

Π½ΠΎ успСл Π·Π°ΠΏΠΎΠ»Π½ΠΈΡ‚ΡŒ лишь Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ ΠΈΠ· Ρ‚Ρ€Π΅Ρ… Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Π΅Π΅ строк, Π΄Π°ΠΆΠ΅ Π½Π΅ ΡƒΠΊΠ°Π·Π°Π², ΠΊΠ°ΠΊΠΎΠΌΡƒ столбцу Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ соотвСтствуСт каТдая ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… w, x, y, z:

ΠŸΠ΅Ρ€Π΅ΠΌ.1ΠŸΠ΅Ρ€Π΅ΠΌ.2ΠŸΠ΅Ρ€Π΅ΠΌ.3ΠŸΠ΅Ρ€Π΅ΠΌ.4F
....F
110
100
1100

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, ΠΊΠ°ΠΊΠΎΠΌΡƒ столбцу Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ соотвСтствуСт каТдая ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… x, y, z, w.

Π’ ΠΎΡ‚Π²Π΅Ρ‚Π΅ Π½Π°ΠΏΠΈΡˆΠΈΡ‚Π΅ Π±ΡƒΠΊΠ²Ρ‹ w, x, y, z Π² Ρ‚ΠΎΠΌ порядкС, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ΄ΡƒΡ‚ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΈΠΌ столбцы.

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

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

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: ywxz

✎ Бпособ 2. ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅:

begin writeln(‘x’:7, ‘y’:7, ‘z’:7,’w’:7); for var x:=false to true do for var y:=false to true do for var z:=false to true do for var w:=false to true do if not((not z and (x xor y)) false = 0, True = 1

Бопоставив ΠΈΡ… с исходной Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ, ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: ywxz

print (‘x y z w’) for x in 0,1: for y in 0,1: for z in 0,1: for w in 0,1: F=(not z and not(x==y)) F=0 :

Бопоставив ΠΈΡ… с исходной Ρ‚Π°Π±Π»ΠΈΡ†Π΅ΠΉ, ΠΏΠΎΠ»ΡƒΡ‡ΠΈΠΌ Ρ€Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: ywxz

🎦 Доступно Π²ΠΈΠ΄Π΅ΠΎ Ρ€Π΅ΡˆΠ΅Π½ΠΈΡ этого задания (Π±Π΅ΡΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π½Ρ‹ΠΉ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚):


🎦 Π’ΠΈΠ΄Π΅ΠΎ (Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ 2 Π•Π“Π­ Π² Excel):

ЛогичСская функция F задаСтся Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ

¬a ∧ b ∧ (c ∨ ¬d)

НиТС ΠΏΡ€ΠΈΠ²Π΅Π΄Π΅Π½ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F, содСрТащСй всС Π½Π°Π±ΠΎΡ€Ρ‹ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… функция F истинна.

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, ΠΊΠ°ΠΊΠΎΠΌΡƒ столбцу Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F соотвСтствуСт каТдая ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… a, b, c, d.

ΠŸΠ΅Ρ€Π΅ΠΌ.1ΠŸΠ΅Ρ€Π΅ΠΌ.2ΠŸΠ΅Ρ€Π΅ΠΌ.3ΠŸΠ΅Ρ€Π΅ΠΌ.4F
....F
01001
11001
11011

Π’ ΠΎΡ‚Π²Π΅Ρ‚Π΅ Π·Π°ΠΏΠΈΡˆΠΈΡ‚Π΅ Π±ΡƒΠΊΠ²Ρ‹ Π² Ρ‚ΠΎΠΌ порядкС, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ΄ΡƒΡ‚ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΈΠΌ столбцы.

✍ РСшСниС:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: cbad

🎦 (Π‘Π΅ΡΠΊΠΎΠΌΡŒΡŽΡ‚Π΅Ρ€Π½Ρ‹ΠΉ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚) ΠŸΡ€Π΅Π΄Π»Π°Π³Π°Π΅ΠΌ ΠΏΠΎΠ΄Ρ€ΠΎΠ±Π½Ρ‹ΠΉ Ρ€Π°Π·Π±ΠΎΡ€ ΠΏΠΎΡΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Π½Π° Π²ΠΈΠ΄Π΅ΠΎ:

ЛогичСская функция F задаётся Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ Β¬x ∨ y ∨ (Β¬z ∧ w).
На рисункС ΠΏΡ€ΠΈΠ²Π΅Π΄Ρ‘Π½ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ Ρ‚Π°Π±. ист-Ρ‚ΠΈ Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F, содСрТащий всС Π½Π°Π±ΠΎΡ€Ρ‹ Π°Ρ€Π³ΡƒΠΌΠ΅Π½Ρ‚ΠΎΠ², ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… функция F Π»ΠΎΠΆΠ½Π°.
ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, ΠΊΠ°ΠΊΠΎΠΌΡƒ столбцу Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F соотвСтствуСт каТдая ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… w, x, y, z.

ΠŸΠ΅Ρ€Π΅ΠΌ. 1ΠŸΠ΅Ρ€Π΅ΠΌ. 2ΠŸΠ΅Ρ€Π΅ΠΌ. 3ΠŸΠ΅Ρ€Π΅ΠΌ. 4F
....F
10000
11000
11100

Π’ ΠΎΡ‚Π²Π΅Ρ‚Π΅ Π½Π°ΠΏΠΈΡˆΠΈΡ‚Π΅ Π±ΡƒΠΊΠ²Ρ‹ w, x, y, z Π² Ρ‚ΠΎΠΌ порядкС, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ΄ΡƒΡ‚ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΈΠΌ столбцы (сначала – Π±ΡƒΠΊΠ²Π°, ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π°Ρ ΠΏΠ΅Ρ€Π²ΠΎΠΌΡƒ столбцу; Π·Π°Ρ‚Π΅ΠΌ – Π±ΡƒΠΊΠ²Π°, ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π°Ρ Π²Ρ‚ΠΎΡ€ΠΎΠΌΡƒ столбцу, ΠΈ Ρ‚.Π΄.) Π‘ΡƒΠΊΠ²Ρ‹ Π² ΠΎΡ‚Π²Π΅Ρ‚Π΅ ΠΏΠΈΡˆΠΈΡ‚Π΅ подряд, Π½ΠΈΠΊΠ°ΠΊΠΈΡ… Ρ€Π°Π·Π΄Π΅Π»ΠΈΡ‚Π΅Π»Π΅ΠΉ ΠΌΠ΅ΠΆΠ΄Ρƒ Π±ΡƒΠΊΠ²Π°ΠΌΠΈ ΡΡ‚Π°Π²ΠΈΡ‚ΡŒ Π½Π΅ Π½ΡƒΠΆΠ½ΠΎ.

✍ РСшСниС:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: xzwy

✎ Бпособ 2. ΠŸΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠΈΡ€ΠΎΠ²Π°Π½ΠΈΠ΅:
Π―Π·Ρ‹ΠΊ pascalABC.NET:

begin writeln(‘x ‘,’y ‘,’z ‘,’w ‘); for var x:=false to true do for var y:=false to true do for var z:=false to true do for var w:=false to true do if not(not x or y or(not z and w)) then writeln(x:7,y:7,z:7,w:7); end.

🎦 (Π±Π΅ΡΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π½Ρ‹ΠΉ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚) ΠŸΠΎΠ΄Ρ€ΠΎΠ±Π½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ Π΄Π°Π½Π½ΠΎΠ³ΠΎ 2 задания ΠΈΠ· дСмовСрсии Π•Π“Π­ 2018 Π³ΠΎΠ΄Π° смотритС Π½Π° Π²ΠΈΠ΄Π΅ΠΎ:

ЛогичСская функция F задаётся Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, ΠΊΠ°ΠΊΠΎΠΌΡƒ столбцу Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F соотвСтствуСт каТдая ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… x, y, z, w.
Π’ ΠΎΡ‚Π²Π΅Ρ‚Π΅ Π½Π°ΠΏΠΈΡˆΠΈΡ‚Π΅ Π±ΡƒΠΊΠ²Ρ‹ x, y, z, w Π² Ρ‚ΠΎΠΌ порядкС, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ΄ΡƒΡ‚ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΈΠΌ столбцы.

ΠŸΠ΅Ρ€Π΅ΠΌ.1ΠŸΠ΅Ρ€Π΅ΠΌ.2ΠŸΠ΅Ρ€Π΅ΠΌ.3ΠŸΠ΅Ρ€Π΅ΠΌ.4F
....F
000
01010
100

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: xwzy

🎦 Π’ΠΈΠ΄Π΅ΠΎΡ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ (Π±Π΅ΡΠΊΠΎΠΌΠΏΡŒΡŽΡ‚Π΅Ρ€Π½Ρ‹ΠΉ Π²Π°Ρ€ΠΈΠ°Π½Ρ‚):

Задания для Ρ‚Ρ€Π΅Π½ΠΈΡ€ΠΎΠ²ΠΊΠΈ

КаТдоС ΠΈΠ· логичСских Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ F ΠΈ G содСрТит 5 ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Π’ Ρ‚Π°Π±Π». истинности для F ΠΈ G Π΅ΡΡ‚ΡŒ Ρ€ΠΎΠ²Π½ΠΎ 5 ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹Ρ… строк, ΠΏΡ€ΠΈΡ‡Π΅ΠΌ Ρ€ΠΎΠ²Π½ΠΎ Π² 4 ΠΈΠ· Π½ΠΈΡ… Π² столбцС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ стоит 1.

Бколько строк Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности для F ∨ G содСрТит 1 Π² столбцС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ?

✍ РСшСниС:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: 31

ΠŸΠΎΠ΄Ρ€ΠΎΠ±Π½ΠΎΠ΅ объяснСниС Π΄Π°Π½Π½ΠΎΠ³ΠΎ задания смотритС Π½Π° Π²ΠΈΠ΄Π΅ΠΎ:

КаТдоС логичСскоС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ A ΠΈ B зависит ΠΎΡ‚ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΈ Ρ‚ΠΎΠ³ΠΎ ΠΆΠ΅ Π½Π°Π±ΠΎΡ€Π° ΠΈΠ· 7 ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Π’ Ρ‚Π°Π±Π»ΠΈΡ†Π°Ρ… истинности ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· этих Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ Π² столбцС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ стоит Ρ€ΠΎΠ²Π½ΠΎ ΠΏΠΎ 4 Π΅Π΄ΠΈΠ½ΠΈΡ†Ρ‹.

Каково максимально Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ число Π΅Π΄ΠΈΠ½ΠΈΡ† Π² столбцС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности выраТСния A ∨ B?

✍ РСшСниС:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: 8

КаТдоС логичСскоС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ A ΠΈ B зависит ΠΎΡ‚ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΈ Ρ‚ΠΎΠ³ΠΎ ΠΆΠ΅ Π½Π°Π±ΠΎΡ€Π° ΠΈΠ· 8 ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…. Π’ Ρ‚Π°Π±Π»ΠΈΡ†Π°Ρ… истинности ΠΊΠ°ΠΆΠ΄ΠΎΠ³ΠΎ ΠΈΠ· этих Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ Π² столбцС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ стоит Ρ€ΠΎΠ²Π½ΠΎ ΠΏΠΎ 6 Π΅Π΄ΠΈΠ½ΠΈΡ†.

Каково максимально Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ число Π½ΡƒΠ»Π΅ΠΉ Π² столбцС Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности выраТСния A ∧ B?

✍ РСшСниС:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: 256

Π”Π°Π½ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности выраТСния F.

x1x2x3x4x5x6x7F
10011110
01001011
01011010

Каким ΠΈΠ· ΠΏΡ€ΠΈΠ²Π΅Π΄Ρ‘Π½Π½Ρ‹Ρ… Π½ΠΈΠΆΠ΅ Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠΉ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ F?
1) ¬x1 ∧ x2 ∧ ¬x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7
2) x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7
3) x1 ∧ ¬x2 ∧ x3 ∧ ¬x4 ∧ x5 ∧ x6 ∧ ¬x7
4) x1 ∨ ¬x2 ∨ x3 ∨ x4 ∨ ¬x5 ∨ ¬x6 ∨ x7

✍ РСшСниС:

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

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

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

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

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: 1

РСшСниС 2 задания Π“Π’Π­ ΠΏΠΎ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ смотритС Π½Π° Π²ΠΈΠ΄Π΅ΠΎ:

Π”Π°Π½ΠΎ логичСскоС Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅, зависящСС ΠΎΡ‚ 5 логичСских ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…:

(¬x1 ∨ ¬x2 ∨ ¬x3 ∨ x4 ∨ x5) ∧ (x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5)

Бколько сущСствуСт Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… Π½Π°Π±ΠΎΡ€ΠΎΠ² Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ…, ΠΏΡ€ΠΈ ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ истинно?

✍ РСшСниС:

Π’Π΅ΠΏΠ΅Ρ€ΡŒ рассмотрим ΠΊΠ°ΠΆΠ΄Ρ‹ΠΉ случай ΠΎΡ‚Π΄Π΅Π»ΡŒΠ½ΠΎ:

¬x1 ∨ ¬x2 ∨ ¬x3 ∨ x4 ∨ x5 = 0
ΠΈ
x1 ∨ x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 = 0.

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: 2

ΠŸΠΎΠ΄Ρ€ΠΎΠ±Π½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ задания смотритС Π² Π²ΠΈΠ΄Π΅ΠΎΡƒΡ€ΠΎΠΊΠ΅:

Π”Π°Π½ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности для выраТСния F:

x1x2x3x4x5x6F
0011001
0000111
1010111
0111010

Π£ΠΊΠ°ΠΆΠΈΡ‚Π΅ максимально Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ число Ρ€Π°Π·Π»ΠΈΡ‡Π½Ρ‹Ρ… строк ΠΏΠΎΠ»Π½ΠΎΠΉ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности этого выраТСния, Π² ΠΊΠΎΡ‚ΠΎΡ€Ρ‹Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ x3 Π½Π΅ совпадаСт с F.

✍ РСшСниС:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: 62

Π”Π°Π½ Ρ„Ρ€Π°Π³ΠΌΠ΅Π½Ρ‚ Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности для выраТСния F:

x1x2x3x4x5x6x7F
000
001
111

Каким Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ ΠΌΠΎΠΆΠ΅Ρ‚ Π±Ρ‹Ρ‚ΡŒ F?
1) x1 ∧ (x2 β†’ x3) ∧ Β¬x4 ∧ x5 ∧ x6 ∧ Β¬x7
2) x1 ∨ (Β¬x2 β†’ x3) ∨ Β¬x4 ∨ Β¬x5 ∨ x6 ∨ Β¬x7
3) Β¬x1 ∧ (x2 β†’ Β¬x3) ∧ x4 ∧ Β¬x5 ∧ x6 ∧ x7
4) Β¬x1 ∨ (x2 β†’ Β¬x3) ∨ x4 ∨ x5 ∨ x6 ∧ x7

✍ РСшСниС:

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

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: 4

Π’ Π²ΠΈΠ΄Π΅ΠΎΡƒΡ€ΠΎΠΊΠ΅ рассмотрСно ΠΏΠΎΠ΄Ρ€ΠΎΠ±Π½ΠΎΠ΅ Ρ€Π΅ΡˆΠ΅Π½ΠΈΠ΅ 2 задания:

ЛогичСская функция F задаСтся Π²Ρ‹Ρ€Π°ΠΆΠ΅Π½ΠΈΠ΅ΠΌ
(y β†’ x) ∧ (y β†’ z) ∧ z.

ΠžΠΏΡ€Π΅Π΄Π΅Π»ΠΈΡ‚Π΅, ΠΊΠ°ΠΊΠΎΠΌΡƒ столбцу Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности Ρ„ΡƒΠ½ΠΊΡ†ΠΈΠΈ F соотвСтствуСт каТдая ΠΈΠ· ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… x, y, z.

β„–ΠŸΠ΅Ρ€Π΅ΠΌ. 1ΠŸΠ΅Ρ€Π΅ΠΌ. 2ΠŸΠ΅Ρ€Π΅ΠΌ. 3F
...F
10000
20010
30101
40111
51000
61010
71100
81111

Π’ ΠΎΡ‚Π²Π΅Ρ‚Π΅ Π½Π°ΠΏΠΈΡˆΠΈΡ‚Π΅ Π±ΡƒΠΊΠ²Ρ‹ x, y, z Π² Ρ‚ΠΎΠΌ порядкС, Π² ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠΌ ΠΈΠ΄ΡƒΡ‚ ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰ΠΈΠ΅ ΠΈΠΌ столбцы.

✍ РСшСниС:

Π Π΅Π·ΡƒΠ»ΡŒΡ‚Π°Ρ‚: yzx

Π”Π΅Ρ‚Π°Π»ΡŒΠ½Ρ‹ΠΉ Ρ€Π°Π·Π±ΠΎΡ€ Π΄Π°Π½Π½ΠΎΠ³ΠΎ задания 2 Π•Π“Π­ ΠΏΠΎ ΠΈΠ½Ρ„ΠΎΡ€ΠΌΠ°Ρ‚ΠΈΠΊΠ΅ ΠΏΡ€Π΅Π΄Π»Π°Π³Π°Π΅ΠΌ ΠΏΠΎΡΠΌΠΎΡ‚Ρ€Π΅Ρ‚ΡŒ Π² Π²ΠΈΠ΄Π΅ΠΎ:

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

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

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