Докажите с таблиц истинности справедливость следующего равенства:
¬(А * В) = ¬А ˅ ¬В

Данное тождество справедливо.

Объяснение:

При решении данного равенства, мы проверяем данное тождество. (Логическая операция - Эквивалентность)

По таблице истинности составляем значения для левой и для правой части.

Если обе части тождественны, то результат конечного столбика с операцией эквивалентности будет 1 (неравенство справедливо), если разные(не тождественны) - 0.

По таблице прекрасно видно, что данное тождество справедливо.