"Чистая"
и прикладная математика

ЛОГИЧЕСКИЕ ОСНОВЫ ВЫЧИСЛИТЕЛЬНЫХ МАШИН                                                                                         

Логика высказываний. Тавтологии. Предпосылки и выводы

Булева алгебра (алгебра логики)

Логические схемы и таблицы истинности