Вариант С · Исследование. Сравнить: ¬(A ∨ B); ¬A ∧ ¬B. Проверить все наборы значений и обосновать вывод.

Вычислим значения обоих выражений для всех наборов A и B. Если итоговые столбцы совпадают, выражения равносильны.

В двух последних столбцах получены одинаковые значения для всех наборов A и B. Следовательно, выражения равносильны: это закон де Моргана.

Ответ: ¬(A ∨ B) = ¬A ∧ ¬B.