В теории автоматов комбинационная логика (также называемая независимой от времени логикой [1] ) — это тип цифровой логики , реализуемой логическими схемами , где выходной сигнал является чистой функцией только текущего входного сигнала. В этом отличие от последовательной логики , в которой вывод зависит не только от текущего ввода, но и от истории ввода. Другими словами, последовательная логика имеет память , а комбинационная — нет.
Комбинационная логика используется в компьютерных схемах для выполнения булевой алгебры над входными сигналами и хранимыми данными. Практические компьютерные схемы обычно содержат смесь комбинационной и последовательной логики. Например, часть арифметико-логического устройства или АЛУ, выполняющая математические вычисления, построена с использованием комбинационной логики. Другие схемы, используемые в компьютерах, такие как полусумматоры , полные сумматоры , полувычитатели , полные вычитатели , мультиплексоры , демультиплексоры , кодеры и декодеры , также созданы с использованием комбинационной логики.
Практическое проектирование систем комбинационной логики может потребовать учета конечного времени, необходимого практическим логическим элементам для реагирования на изменения на их входах. Если выходной сигнал является результатом комбинации нескольких разных путей с разным количеством переключающих элементов, выходной сигнал может на мгновение изменить состояние, прежде чем установиться в конечном состоянии, поскольку изменения распространяются по разным путям. [2]
Комбинационная логика используется для построения схем, которые производят определенные выходные данные из определенных входных данных. Построение комбинационной логики обычно осуществляется с использованием одного из двух методов: суммы произведений или произведения сумм. Рассмотрим следующую таблицу истинности :
Используя сумму произведений, все логические утверждения, дающие истинные результаты, суммируются, давая результат:
Используя булеву алгебру , результат упрощается до следующего эквивалента таблицы истинности:
Минимизация (упрощение) формул комбинационной логики осуществляется с помощью следующих правил, основанных на законах булевой алгебры :
С использованием минимизации (иногда называемой логической оптимизацией ) можно получить упрощенную логическую функцию или схему, а комбинационная логическая схема становится меньше и ее легче анализировать, использовать или строить.
