25 БАЛОВ доказать закон общей инверсии¬(X /\ Y) = ¬X / ¬Y
Проще всего доказать, построив таблицу истинности для каждого из выражений. Значения выражений совпадают при всех возможных наборах значений аргументов X и Y. Следовательно, выражения тождественны.
