В алгебре логики выполняются следующие
основные законы, позволяющие производить тождественные преобразования логических
выражений.
Пример 1. Какое логическое выражение равносильно выражению ¬(A\/¬B)
1) A\/B
2) A/\B
3) ¬A\/¬B
4) ¬A/\B
Чтобы преобразовать высказывание, воспользуемся законами Де Моргана и законом двойного отрицания ¬(A\/¬B) = ¬A/\ ¬(¬B) = ¬A/\ B, что соответствует ответу №4.