Статья Автор: Деникина Н.В., Деникин А.В.

КЕГЭ. Вопрос 2. Построение и анализ таблиц истинности (Аналитическое решение)

Задача

Логическая функция F задаётся выражением:

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

На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки:

? ? ? ? F
1   1   1
0 1   0 1
  1 1 0 1

Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.

Аналитическое решение (построение таблицы истинности для F = 1):

  1. Перепишем выражение в виде (x ∨ y) ∧ ¬(y ≡ z) ∧ ¬w
  2. Поскольку имеем логическое произведение, значение w обязательно должно быть равно 0, то есть, в столбце w таблицы должны быть все нули; это возможно только в последнем столбце:
    ? ? ? w F
    1   1 0 1
    0 1   0 1
      1 1 0 1
  3. Теперь определим все комбинации переменных, для которых функция равна 1 (их не должно быть много!)
  4. Чаще всего в выражении встречается переменная y, поэтому мы сначала примем y = 0, а затем - y = 1.
  5. При y = 0 (и w = 0) получаем (x ∨ 0) ∧ ¬(0 ≡ z) ∧ 1 = x ∧ ¬(0 ≡ z), что справедливо только при x = 1 и z = 1:
    x y z w F
    1 0 1 0 1
  6. При y = 1 (и w = 0) получаем (x ∨ 1) ∧ ¬(1 ≡ z) ∧ 1 = 1 ∧ ¬(1 ≡ z), что справедливо при z = 0 и любом x, это даёт ещё два варианта:
    x y z w F
    0 1 0 0 1
    1 1 0 0 1
  7. Объединим три полученных строки:
    x y z w F
    1 0 1 0 1
    0 1 0 0 1
    1 1 0 0 1
  8. Видим, что в столбце z должна быть одна единица и два нуля, это возможно только в первой строке исходной таблицы:
    z ? ? w F
    1   1 0 1
    0 1   0 1
    0 1 1 0 1
  9. При z = 1 нужно, чтобы y = 0, поэтому второй столбец - это y, а третий - x:
    z y x w F
    1 0 1 0 1
    0 1 0 0 1
    0 1 1 0 1
  10. Ответ: \(\boxed{zyxw}\)
Печать