Конечно, давайте разберем каждое задание по порядку.
Задание 1
Чтобы преобразовать формулу \((x ∧ y) → (¬x → y)\), используя только отрицание (¬) и дизъюнкцию (∨), необходимо начать с преобразования импликации. Импликация \(A → B\) может быть выражена через дизъюнкцию как \(¬A ∨ B\).
Начнем с преобразования главной импликации: \[ (x ∧ y) → (¬x → y) \equiv ¬(x ∧ y) ∨ (¬¬x ∨ y). \] Здесь мы применили правило преобразования импликации.
Упростим \(¬¬x\): \[ ¬(x ∧ y) ∨ (x ∨ y). \]
Применим закон де Моргана к \(¬(x ∧ y)\): \[ ¬x ∨ ¬y ∨ (x ∨ y). \]
Итак, конечный результат для задания 1: \[ ¬x ∨ ¬y ∨ (x ∨ y). \]
Задание 2
Теперь преобразуем формулу \((¬x → y) ∨ (x → y)\), чтобы она содержала только отрицание (¬) и конъюнкцию (∧).
Сначала преобразуем каждую из импликаций: \[ ¬x → y \equiv ¬¬x ∨ y \equiv x ∨ y, \] \[ x → y \equiv ¬x ∨ y. \]
Подставим эти преобразования в исходную формулу: \[ (x ∨ y) ∨ (¬x ∨ y). \]
Это выражение можно упростить как: \[ y ∨ (x ∨ ¬x). \] Поскольку \(x ∨ ¬x\) всегда истинно (закон исключенного третьего), получаем: \[ y ∨ 1 \equiv 1. \]
Из этого следует, что формула не может быть выражена с помощью только отрицания и конъюнкции, так как она всегда истинна.
Задание 3
Максимально упростим нижеуказанные формулы.
Для первой формулы \(-y ∧ x ∧ (x → y)\): \[ x → y \equiv ¬x ∨ y. \] Подставим: \[ -y ∧ x ∧ (¬x ∨ y). \] Применим дистрибутивность: \[ -y ∧ x ∧ ¬x ∨ -y ∧ x ∧ y. \] Заметим, что \(x ∧ ¬x\) всегда ложь (0): \[ 0 ∨ -y ∧ x ∧ y. \] Это упрощается до: \[ -y ∧ x ∧ y. \]
Для второй формулы \(x → (x → y)\): Подставим правило преобразования импликации: \[ x → (¬x ∨ y). \] Дальше преобразуем: \[ ¬x ∨ (¬x ∨ y) \equiv ¬x ∨ y. \]
Итак, результаты для задания 3:
- \(-y ∧ x ∧ y\),
- \(-x ∨ y\).
Если есть еще вопросы или вам нужно больше разъяснений, пожалуйста, дайте знать!