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

Логические основы вычислительных машин                                                                                          

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

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

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