В книге излагаються способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности функционирования цифровых автоматов при выполнении различиих операций, методам минимизации логических выражений. Теоретический материал иллюстрируется примерами и сопровождается вопросами для самоконтроля.