Составить таблицы истинности для логических функций: ) ) )

Для решения задачи составим таблицы истинности для каждой из логических функций по отдельности.

a) $x \leftrightarrow(\bar{y} \wedge(y \rightarrow x))$

1. Определим переменные: $x, y$.
2. Вычислим промежуточные значения:
   • $\bar{y}$ (не $y$)
   • $y \rightarrow x$ (импликация: $\neg y \vee x$)
   • $\bar{y} \wedge (y \rightarrow x)$
3. Вычислим $x \leftrightarrow(\bar{y} \wedge(y \rightarrow x))$ (эквивалентность: $(x \wedge z) \vee (\neg x \wedge \neg z)$)

Теперь составим таблицу истинности:

| $x$ | $y$ | $\bar{y}$ | $y \rightarrow x$...