Упрости логические формулы: 1)x∨¬x&y 2)x→(x→y)

Давайте упростим данные логические формулы.

1. Рассмотрим первую формулу: \( x ∨ ¬x ∧ y \).

Сначала применим закон дистрибутивности и упрощения. Мы можем заметить, что \( x ∨ ¬x \) — это тавтология, то есть это всегда верно. Поэтому вся формула будет равна:

\[ x ∨ (¬x ∧ y) = x ∨ y \]

Здесь мы видим, что если \( x \) истинно, то выражение истинно, и если \( x \) ложно, то значение будет зависеть от \( y \). Таким образом, упрощением формулы является:

\[ x ∨ y \]

2. Теперь рассмотрим вторую формулу: \( x → (x → y) \).

Используем закон импликации. Импликация \( a → b \) эквивалентна \( ¬a ∨ b \).

Итак, мы можем переписать формулу следующим образом:

\[ x → (x → y) = ¬x ∨ (¬x ∨ y) \]

Теперь упрощаем:

\[ ¬x ∨ ¬x ∨ y = ¬x ∨ y \]

Таким образом, упрощение второй формулы будет:

\[ ¬x ∨ y \]

В итоге, у нас есть следующие упрощения:

1. \( x ∨ y \)
2. \( ¬x ∨ y \)

Если возникнут дополнительные вопросы или нужны уточнения, не стесняйтесь спрашивать!