Разбор задачи

(¬(x∧y)→¬x)∧¬(x∧y→¬y)

Условие:

Начнем с исходного выражения:

(¬(x∧y)→¬x)∧¬(x∧y→¬y)

Импликация (A → B) может быть преобразована в (\neg A ∨ B). Применим это к обеим импликациям.

¬(x∧y)→¬x \equiv ¬(¬(x∧y)) ∨ ¬x \equiv (x∧y) ∨ ¬x

x∧y→¬y \equiv ¬(x∧y) ∨ ¬y

Теперь подставим эти преобразования обратно в исходное выражение:

((x∧y) ∨ ¬x) ∧ ¬(¬(x∧y) ∨ ¬y)

Теперь упростим вторую...

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое из следующих утверждений является эквивалентным преобразованием импликации A → B?

¬B → ¬A

¬A ∨ B

A ∧ ¬B