Question

Какое логическое выражение эквивалентно выражению -(--Av-BvC)?

Answer 1

Ответ:

¬A ∧ B ∧ ¬C

Объяснение:

¬(¬¬A ∨ ¬B ∨ C)  парное отрицание можно убирать

¬(A ∨ ¬B ∨ C)  используем правило де-Моргана

¬A ∧ B ∧ ¬C