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

• Логика высказываний в информатике. Теория и примеры решений
• Булева алгебра (алгебра логики)
• Логические схемы и таблицы истинности