Постройте таблицы истинности для следующих выражений: 1) 2)

Выражение 1: (¬x → z) → (y → x)

Нам нужно рассмотреть все возможные комбинации значений переменных x, y и z (всего 2³ = 8 вариантов) и вычислить значения промежуточных подвыражений.

Обозначим:
• ¬x – отрицание переменной x;
• A → B – импликация, которая ложна только тогда, когда A истинно, а B ложно; во всех других случаях A → B истинно;
• y → x – импликация с предпосылкой y и следствием x;
• ¬x → z – импликация с предпосылкой ¬x и следствием z.

Ниже приведён пошаговый расчёт для каждого набора (x, y, z).

Набор 1: x...