Задание 1. Следующую формулу преобразуйте аким образом, чтобы они содержали только отрицаиие й | и дизьюнкцию: (х∧ у)-> (—х-›z)  Задание 2. Следующую формулу преобразуйте таким образом, чтобы они содержали только отрицание и коньюнкцию: (—x-› у)∨ ( х-> у) | Задание 3. Максимально упростите следующие формулы (чтобы они содержали как можно меньше логических операций): 1) —у∧х∧(х —> y) 2)x —> (х-> у) .

Конечно! Давайте разберем каждое задание по порядку.

Задание 1

Необходимо преобразовать формулу \((x \land y) \to (\neg x \to z)\) так, чтобы использовать только отрицание (\(\neg\)) и дизъюнкцию (\(\lor\)).

Мы знаем, что импликацию можно выразить через дизъюнкцию: \[ A \to B \equiv \neg A \lor B \]

Применим это к нашей формуле:

1. Преобразуем \((x \land y) \to (\neg x \to z)\) в \(\neg (x \land y) \lor (\neg x \to z)\)

2. Теперь преобразуем \(\neg x \to z\): \[ \neg x \to z \equiv \neg (\neg x) \lor z \equiv x \lor z \]

3. Подставим это обратно в формулу: \[ \neg (x \land y) \lor (x \lor z) \]

4. Применим закон де Моргана к \(\neg (x \land y)\): \[ \neg (x \land y) \equiv \neg x \lor \neg y \]

5. Теперь подставим это: \[ (\neg x \lor \neg y) \lor (x \lor z) \]

Таким образом, итоговая формула будет: \[ \neg x \lor \neg y \lor x \lor z \]

Задание 2

Теперь преобразуем \((\neg x \to y) \lor (x \to y)\), чтобы использовать только отрицание и конъюнкцию.

Сначала преобразуем каждую импликацию в эквивалентную форму через отрицание и конъюнкцию.

1. Сначала преобразуем \(\neg x \to y\): \[ \neg x \to y \equiv \neg (\neg x) \lor y \equiv x \lor y \]

2. Теперь преобразуем \(x \to y\): \[ x \to y \equiv \neg x \lor y \]

Таким образом, \[ (\neg x \to y) \lor (x \to y) \equiv (x \lor y) \lor (\neg x \lor y) \]

3. Объединим: Это можно упростить, если обратить внимание, что \(y\) является общим: \[ (x \lor \neg x) \lor y \equiv \text{(по закону исключенного третьего)} \equiv y \]

Но, поскольку нужно использовать конъюнкцию, постараемся выразить в нужной форме.

Рассмотрим: \[ \neg x \lor y \equiv \neg (x \land \neg y) \] и тогда получается: \[ \neg (x \land \neg y) \lor \neg (x \land \neg y) \equiv \neg (x \land \neg y) \]

Окончательной формулой будет: \[\neg (x \land \neg y)\]

Задание 3

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

1. Для \(\neg y \land x \land (x \to y)\):

   • Сначала упростим \(x \to y\) как \(\neg x \lor y\), то есть: \[ (x \to y) \equiv \neg x \lor y \]

   • Получаем: \[ \neg y \land x \land (\neg x \lor y) \]

   • Используя дистрибуцию: \[ = \neg y \land x \land \neg x \lor \neg y \land x \land y \] Но, так как \(x \land \neg x\) равно 0: \[ \equiv 0 \lor \neg y \land x \land y \equiv \neg y \land 0 \equiv 0 \]

2. Для \(x \to (x \to y)\):

   • Применим правило для импликации: \[ x \to (x \to y) \equiv \neg x \lor (\neg x \lor y) \]
   • Это эквивалентно: \[ \equiv \neg x \lor y \]

После упрощения:

1. \(0\) (т.е. всегда ложь),
2. \(\neg x \lor y\) (это конец).

Если будут еще вопросы или нужна дополнительная помощь, не стесняйтесь обращаться!