лекция 04.09.2024

Высказывания. Логические связки (отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция). Формулы алебры высказываний. Таблицы истинности. Тавтологии, равносильность формул. Совершенная дизъюнктивная нормальная форма.