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

Упростить формулы:

Условие:

Упростить формулы: $

\begin{array}{l} (\overline{x \vee y} \rightarrow x \vee y) \& y \\ \overline{\boldsymbol{X} \rightarrow \overline{\boldsymbol{Y}}} \wedge \overline{\boldsymbol{Y} \rightarrow \overline{\boldsymbol{X}}} \end{array}

Первое выражение: $(\overline{x \vee y} \rightarrow x \vee y) \& y$
Второе выражение: $\overline{X \rightarrow \overline{Y}} \wedge \overline{Y \rightarrow \overline{X}}$

Упростить оба логических выражения.

Шаг 1: Упростим первое выражение.

Первое выражение имеет вид:

(\overline{x \vee y} \rightarrow x \vee y) \& y

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

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

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

Какое логическое правило используется для преобразования импликации $A \rightarrow B$ в выражение с дизъюнкцией и отрицанием?

Правило де Моргана

Закон поглощения

Эквивалентность импликации: $\overline{A} \vee B$