Чтобы упростить логическое выражение НЕ(НЕА V НЕВ) /\ C, давайте сначала упростим его внутреннюю часть.
Рассмотрим выражение внутри скобок: НЕА V НЕВ.
Применим закон Де Моргана к этому выражению:
Закон Де Моргана гласит, что отрицание дизъюнкции (логического ИЛИ) равно конъюнкции (логическому И) отрицаний:
НЕ(НЕА V НЕВ) = НЕ НЕА /\ НЕ НЕВ.
Отрицание отрицания дает нам исходные значения:
НЕ НЕА = А,
НЕ НЕВ = В.
Следовательно, выражение упрощается до: А /\ В.
Теперь у нас есть упрощенное выражение: А /\ В.
Возвращаемся к исходному выражению, заменяя упрощенное выражение:
НЕ(НЕА V НЕВ) /\ C = (А /\ В) /\ C.
Конъюнкция (логическое И) является ассоциативной операцией, то есть порядок выполнения операций не влияет на результат:
(А /\ В) /\ C = А /\ В /\ C.
Таким образом, логическое выражение НЕ(НЕА V НЕВ) /\ C равносильно выражению А /\ В /\ C.