Конспект лекций по математической логике. - Минск, БГПУ им. М.
Танка, 2004, 15 с.
Высказывания и операции над ними
Формулы. Таблицы истинности
Тавтологии. Противоречия. Выполнимые формулы
Проблема разрешения. Равносильные формулы
Нормальные формы
СДНФ и СКНФ, их существование и единственность
Закон двойственности
Высказывания и операции над ними
Формулы. Таблицы истинности
Тавтологии. Противоречия. Выполнимые формулы
Проблема разрешения. Равносильные формулы
Нормальные формы
СДНФ и СКНФ, их существование и единственность
Закон двойственности