Алгебра логики
Обозначения
— истина (логическая единица);
— ложь (логический нуль);
— отрицание (логическое НЕ);
— конъюнкция (логическое И);
— дизъюнкция (логическое ИЛИ);
— импликация (следствие);
— эквиваленция (равносильность).
Аксиомы
Законы де Моргана
Импликация
Таблицы истинности
Last updated