Упростить формулу с помощью равносильных преобразований

Привет! Давай упростим эту формулу вместе.

Формула выглядит так: \[ \neg(x \rightarrow \neg y) \vee x \wedge y \]

1. Первым делом заменим импликацию на её эквивалент: \[ x \rightarrow \neg y \] это то же самое, что \[\neg x \vee \neg y. \] Получаем: \[ \neg(\neg x \vee \neg y) \vee x \wedge y \]

2. Применим закон Де Моргана для отрицания диспозиции: \[ \neg(\neg x \vee \neg y) = x \wedge y. \] Получаем: \[ x \wedge y \vee x \wedge y \]

3. Следует отметить, что дважды встретившееся выражение можно сократить. Поэтому: \[ x \wед y \]

Таким образом, упрощённая формула: \[ x \wед y \]

Если есть ещё вопросы, не стесняйся спрашивать!