Дискретная математика Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания Преобразовать данную формулу так, чтобы она со-
держала только операции тесного отрицания, дизъюнкции и конъюнкции.
Пользуясь свойствами операций дизъюнкции и конъюнкции, привести
формулу к виду, не содержащему скобок.
x2 * -x1 > -(x3 v x1).
Дискретная математика Преобразовать данную формулу так, чтобы она содержала только операции тесного отрицания Преобразовать данную формулу так, чтобы она со-
держала только операции тесного отрицания, дизъюнкции и конъюнкции.
Пользуясь свойствами операций дизъюнкции и конъюнкции, привести
формулу к виду, не содержащему скобок.
x2 * -x1 > -(x3 v x1).
держала только операции тесного отрицания, дизъюнкции и конъюнкции.
Пользуясь свойствами операций дизъюнкции и конъюнкции, привести
формулу к виду, не содержащему скобок.
x2 * -x1 > -(x3 v x1).
1
Helper
(x2 * -x1) > -(x3 v x1)-x1 > -(x3 v x1) ^ x2-x1 > (-x3 ^ -x1) v x2 (закон де Моргана)-x1 > (-x1 v -x3) v x2 (коммутативность дизъюнкции)-x1 > -x1 v -x3 v x2 (ассоциативность дизъюнкции)-x1 > -x1 v x2 v -x3 (коммутативность дизъюнкции)x1 v -x1 > x2 v -x3 (закон противоречия)1 > x2 v -x3x2 v -x3 < 1
Ответить
18 Апр
в 10:39
Похожие вопросы
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Интересные статьи из справочника
Поможем написать учебную работу
Отвечай на вопросы, зарабатывай баллы и трать их на призы.
Подробнее
Подробнее
