Основные понятия
Алгебра суждений
Булева алгебра
Логические элементы компьютера
Програмирование логических задач