(AvBvC)^(¬Av¬Bv¬C) как это решить?
(AvBvC)^(¬Av¬Bv¬C) как это решить?
Похожие вопросы
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Интересные статьи из справочника
Поможем написать учебную работу
Отвечай на вопросы, зарабатывай баллы и трать их на призы.
Подробнее
Подробнее
Чтобы решить это выражение, сначала упростим его с помощью законов де Моргана:
(A v B v C) ^ (¬A v ¬B v ¬C)
¬(¬A ^ ¬B ^ ¬C) ^ (¬A v ¬B v ¬C)
(А ^ B ^ C) ^ (¬A v ¬B v ¬C)
Теперь у нас есть конъюнкция двух утверждений, одно из которых требует, чтобы все переменные были истинны, а второе требует, чтобы все переменные были ложны. Так как это логическое выражение не может быть выполнено, оно является противоречивым.