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

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