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

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

Логика высказываний в информатике. Теория и примеры решений

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

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