Пусть задано выражение x → y, зависящее от двух переменных x и y, и

Решение по шагам

1. 1

   Как рассуждать

   Решение. Рассмотрим данное выражение. Преобразуем логическое выражение (z ∧ y) ∨ ((x → z ) ≡ (y → w)) и получим систему, при которой оно ложно: $система выражений совокупность выражений z=0,y=0, конец системы . \bar x + z \neq \bar y + w конец совокупности . ( * )$ Заметим, что второй столбец таблицы истинности — это z, тогда четвёртый столбец таблицы истинности — это переменная x. Из условия $\bar x + z \neq \bar y + w$ следует, что переменная y соответствует третьему столбцу таблицы истинности, а переменная w соответствует первому столбцу таблицы истинности. Приведем другое решение.

   Составим таблицу истинности для выражения (z ∧ y) ∨ ((x → z ) ≡ (y → w)) вручную или при помощи языка Python: print("x y z w")for x in range(0, 2): for y in range(0, 2): for z in range(0, 2): for w in range(0, 2): if not((z and y) or ((x <= z) == (y <= w))): print(x, y, z, w)Далее выпишем те наборы переменных, при которых данное выражение равно