Π›ΠΎΠ³ΠΈΠΊΠ° ΠΈ ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€ΠΈΠΊΠ° Β· 9–10 классыЛогика: Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹

Π’Π°Π±Π»ΠΈΡ†Ρ‹ истинности

ВычисляСм Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ логичСской Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ Π½Π° Π½Π°Π±ΠΎΡ€Π°Ρ… Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ, заполняСм столбСц Ρ‚Π°Π±Π»ΠΈΡ†Ρ‹ истинности ΠΈ считаСм, сколько строк Π΄Π°ΡŽΡ‚ Π΅Π΄ΠΈΠ½ΠΈΡ†Ρƒ.

Π’Π°Ρ€ΠΈΠ°Π½Ρ‚ β„– 58674

Π’Π°Π±Π»ΠΈΡ†Ρ‹ истинности Β· Π’Π°Ρ€ΠΈΠ°Π½Ρ‚ β„– 58674 Β· ΠžΠ±Ρ‹Ρ‡Π½Ρ‹ΠΉ Β· Имя: ____________________
  1. 1
    Π”Π°Π½Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° F=(A∧B)∧AF=(A \land B) \land A. Π’Π°Π±Π»ΠΈΡ†Π° истинности заполняСтся ΠΏΠΎ строкам, Π² порядкС 00, 01, 10, 11 (значСния A, B). Π—Π°ΠΏΠΈΡˆΠΈ столбСц Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ FF ΠΊΠ°ΠΊ строку ΠΈΠ· Π½ΡƒΠ»Π΅ΠΉ ΠΈ Π΅Π΄ΠΈΠ½ΠΈΡ†.
    ABF00011011
  2. 2
    Бколько Π½Π°Π±ΠΎΡ€ΠΎΠ² Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… A, B, C ΠΎΠ±Ρ€Π°Ρ‰Π°ΡŽΡ‚ Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρƒ F=(B∧¬A)βŠ•CF=(B \land \neg A) \oplus C Π² истину? (ВсСго Π½Π°Π±ΠΎΡ€ΠΎΠ² 88.)
    ABCF000001010011100101110111
  3. 3
    Π”Π°Π½Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° F=(Bβ†’B)βŠ•AF=(B \to B) \oplus A. Π’Π°Π±Π»ΠΈΡ†Π° истинности заполняСтся ΠΏΠΎ строкам, Π² порядкС 00, 01, 10, 11 (значСния A, B). Π—Π°ΠΏΠΈΡˆΠΈ столбСц Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ FF ΠΊΠ°ΠΊ строку ΠΈΠ· Π½ΡƒΠ»Π΅ΠΉ ΠΈ Π΅Π΄ΠΈΠ½ΠΈΡ†.
    ABF00011011
  4. 4
    Π”Π°Π½Π° Ρ„ΠΎΡ€ΠΌΡƒΠ»Π° F=Β¬B∧(Β¬B∨¬A)F=\neg B \land (\neg B \lor \neg A). Π’Π°Π±Π»ΠΈΡ†Π° истинности заполняСтся ΠΏΠΎ строкам, Π² порядкС 00, 01, 10, 11 (значСния A, B). Π—Π°ΠΏΠΈΡˆΠΈ столбСц Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ FF ΠΊΠ°ΠΊ строку ΠΈΠ· Π½ΡƒΠ»Π΅ΠΉ ΠΈ Π΅Π΄ΠΈΠ½ΠΈΡ†.
    ABF00011011
  5. 5
    Π§Π΅ΠΌΡƒ Ρ€Π°Π²Π½ΠΎ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ F=(Β¬AβŠ•Β¬B)βŠ•(BβŠ•C)F=(\neg A \oplus \neg B) \oplus (B \oplus C) ΠΏΡ€ΠΈ A=0, B=0, C=0? Π—Π°ΠΏΠΈΡˆΠΈ 0 ΠΈΠ»ΠΈ 1.

ΠšΠΎΡ€ΠΎΡ‚ΠΊΠΎ ΠΎ Ρ‚Π΅ΠΌΠ΅

  • Π’Π°Π±Π»ΠΈΡ†Π° истинности пСрСчисляСт всС Π½Π°Π±ΠΎΡ€Ρ‹ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠΉ ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… (00 β€” лоТь, 11 β€” истина) ΠΈ Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ Ρ„ΠΎΡ€ΠΌΡƒΠ»Ρ‹ Π½Π° ΠΊΠ°ΠΆΠ΄ΠΎΠΌ ΠΈΠ· Π½ΠΈΡ…. Для nn ΠΏΠ΅Ρ€Π΅ΠΌΠ΅Π½Π½Ρ‹Ρ… строк 2n2^n.
  • A∧BA\land B истинно, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° истинны; A∨BA\lor B Π»ΠΎΠΆΠ½ΠΎ, Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΊΠΎΠ³Π΄Π° ΠΎΠ±Π° Π»ΠΎΠΆΠ½Ρ‹; Β¬A\neg A мСняСт Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅.
  • Aβ†’BA\to B Π»ΠΎΠΆΠ½ΠΎ Ρ‚ΠΎΠ»ΡŒΠΊΠΎ ΠΏΡ€ΠΈ A=1A=1, B=0B=0. Π­ΠΊΠ²ΠΈΠ²Π°Π»Π΅Π½Ρ‚Π½ΠΎΡΡ‚ΡŒ A↔BA\leftrightarrow B истинна, ΠΊΠΎΠ³Π΄Π° значСния ΠΎΠ΄ΠΈΠ½Π°ΠΊΠΎΠ²Ρ‹, Π° AβŠ•BA\oplus B β€” ΠΊΠΎΠ³Π΄Π° Ρ€Π°Π·Π½Ρ‹Π΅.
  • ДСйствия Π²Ρ‹ΠΏΠΎΠ»Π½ΡΡŽΡ‚ Π² порядкС скобок: сначала Π²Π½ΡƒΡ‚Ρ€ΠΈ Π½ΠΈΡ…, ΠΏΠΎΡ‚ΠΎΠΌ ΠΎΡ‚Ρ€ΠΈΡ†Π°Π½ΠΈΠ΅, Π·Π°Ρ‚Π΅ΠΌ ΠΎΡΡ‚Π°Π»ΡŒΠ½Ρ‹Π΅ ΠΎΠΏΠ΅Ρ€Π°Ρ†ΠΈΠΈ.

Π£Ρ€ΠΎΠ²Π½ΠΈ: Π Π°Π·ΠΌΠΈΠ½ΠΊΠ° Β· ΠžΠ±Ρ‹Ρ‡Π½Ρ‹ΠΉ Β· Challenge. ВсС ΠΎΡ‚Π²Π΅Ρ‚Ρ‹ вычислСны ΠΏΡ€ΠΎΠ³Ρ€Π°ΠΌΠΌΠΎΠΉ ΠΈΠ· Ρ‚Π΅Ρ… ΠΆΠ΅ чисСл, Ρ‡Ρ‚ΠΎ ΠΈ условиС.

Π•Ρ‰Ρ‘ Ρ‚Ρ€Π΅Π½Π°ΠΆΡ‘Ρ€Ρ‹