Задание №32559 ЕГЭ Информатике

Составим таблицу истинности для выражения (x → w) ∧ (w ≡ ¬y) ∧ (¬w ∨ z) и выпишем те наборы переменных, при которых данное выражение равно 1. В наборах переменные запишем в порядке х, y, z, w. Получим следующие наборы:

(0, 1, 0, 0),

(0, 1, 1, 0),

(0, 0, 1, 1),

(1, 0, 1, 1).

Сопоставим эти наборы с приведенным в задании фрагментом таблицы истинности.

Первая строка таблицы (как минимум три единицы) может соответствовать только набору (1, 0, 1, 1), следовательно, второй столбец таблицы соответствует переменной y и во втором столбце первой строки стоит 0.

Рассмотрим третью строку таблицы. Эта строка может соответствовать только набору (0, 0, 1, 1). Следовательно, в ней x = 0 и y = 0 и x соответствует четвёртому столбцу.

Во второй строке таблицы единичное значение принимает одна из переменных z или w, следовательно, эта строка может соответствовать только набору (0, 1, 1, 0). Тогда третий столбец — это переменная z, а первый — переменная w.