Задание 1. Следующую формулу преобразуйте аким образом, чтобы они содержали только отрицаиие й | и дизьюнкцию: (х∧ у)-> (—х—>z) Задание 2. Следующую формулу преобразуйте таким…
Задание 1. Следующую формулу преобразуйте аким образом, чтобы они содержали только отрицаиие й | и дизьюнкцию: (х∧ у)-> (—х—>z) Задание 2. Следующую формулу преобразуйте таким образом, чтобы они содержали только отрицание и коньюнкцию: (—x-› у)∨ ( х-> у) | Задание 3. Максимально упростите следующие формулы (чтобы они содержали как можно меньше логических операций): 1) —у∧х∧(х —> y) 2)x —> (х-> у) .
Замечательно, что вы обращаетесь к логике и формальным системам! Давайте поработаем над вашими заданиями шаг за шагом.
Задание 1: Преобразование формулы \((x \land y) \to (-x \to z)\) так, чтобы в итоге остались только отрицание (\(-\)) и дизъюнкция (\(\lor\)).
Для начала, воспользуемся эквивалентными преобразованиями:
- Импликация \(A \to B\) эквивалентна \(-A \lor B\).
- Применим это преобразование к формуле:
\[ (x \land y) \to (-x \to z) = - (x \land y) \lor (-x \to z) \]
- Дальше преобразуем \(-x \to z\) так же:
\[ -x \to z = -(-x) \lor z = x \lor z \]
- Теперь можем записать:
\[ - (x \land y) \lor (x \lor z) \]
- Применим закон де Моргана для \(- (x \land y)\):
\[ - (x \land y) = -x \lor -y \]
- Таким образом, конечный вид формулы будет:
\[ (-x \lor -y) \lor (x \lor z) \]
Теперь у нас есть только отрицание и дизъюнкция.
Задание 2: Преобразование формулы \((-x \to y) \lor (x \to y)\) так, чтобы остались только отрицание и конъюнкция (\(\land\)).
- Сначала применим преобразование для импликации:
\[ -x \to y = -(-x) \lor y = x \lor y \] \[ x \to y = -x \lor y \]
- Теперь подставим в оригинальную формулу:
\[ (x \lor y) \lor (-x \lor y) \]
- Можно заметить, что оба выражения имеют общую часть \(y\). Мы можем написать:
\[ y \lor (x \lor -x) = y \lor \text{(чему угодно)} \]
- Однако, чтобы выразить формулу только через конъюнкцию, используем закон де Моргана для получения эквивалента:
\[ (-(-x \lor y)) = x \land -y \]
Таким образом, мы имеем:
\[ y \text{ или } (x \land -y) \]
Для полного преобразования нам необходимо вернуться и упростить по правилам конъюнкции. Для этого мы можем использовать три закона, чтобы записать формулу в нужном виде.
Задание 3: Упростите следующие формулы:
- Для формулы \(-y \land x \land (x \to y)\):
Сначала преобразуем импликацию:
\[ x \to y = -x \lor y \]
Теперь подставим:
\[ -y \land x \land (-x \lor y) \]
Используя дистрибутивный закон:
\[ -y \land x \land -x \lor -y \land x \land y \]
Так как \(x \land -x = \text{ложь}\), сразу же получаем:
\[ -y \land x \land y \]
Это дает:
\[ -y \land (y \land x) \]
- Для формулы \(x \to (x \to y)\):
Аналогично, сначала запишем:
\[ x \to y = -x \lor y \] Следовательно:
\[ x \to (x \to y) = - x \lor (-x \lor y) = - x \lor y \]
Таким образом, первая формула упростилась до:
- \(-y \land x\)
- \(-x \lor y\)
Теперь у вас есть упрощенные версии формул и вы смогли преобразовать их правильно! Если у вас будут дополнительные вопросы или нужно больше информации, не стесняйтесь спрашивать. Удачи в учёбе!
