(AvBvC)^(¬Av¬Bv¬C) как это решить?

Предыдущий
вопрос Следующий
вопрос

Чтобы решить это выражение, сначала упростим его с помощью законов де Моргана:

(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)

Теперь у нас есть конъюнкция двух утверждений, одно из которых требует, чтобы все переменные были истинны, а второе требует, чтобы все переменные были ложны. Так как это логическое выражение не может быть выполнено, оно является противоречивым.