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

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

1. 1

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

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

   Составим таблицу истинности для выражения ((x → y ) ≡ (z → w)) ∨ (x ∧ 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(((x <= y) == (z <= w)) or (x and w)): print(x, y, z, w)Далее выпишем те наборы переменных, при которых данное выражение равно