2015-10-16
4979
—для дизъюнкции
отрицание дизъюнкции логических переменных эквивалентно конъюнкции отрицаний этих переменных;
—для конъюнкции
отрицание конъюнкции переменных эквивалентно дизъюнкции отрицаний этих переменных.
Справедливость законов отрицания (де Моргана) докажем с помощью таблиц истинности.
Таблица. Закон отрицания (де Моргана) для дизъюнкции
Таблица. Закон отрицания (де Моргана) для конъюнкции
Таблицы 1.5; 1.6 показывают, что на одинаковых наборах переменных значения функций совпадает. Законы де Моргана доказаны.
