Номер §20 № 2

Второй закон де Моргана имеет вид $\overline{}$. Переберём все четыре возможных набора значений и . Сначала найдём и его отрицание, затем отдельно отрицания аргументов и их конъюнкцию.

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