Минимизация логических функций

О необходимости минимизации структурных формул. Структурные формулы в виде логических функций в СДНФ и СКНФ однозначно определяют структуру логической схемы комбинационного устройства. Однако нельзя быть уверенным в том, что построенное по структурной формуле устройство будет наиболее полно удовлетворять заданным требованиям. Если рассматривать тождество алгебры логики для двух логических функций, то в общем случае количество операций в правой части тождества не равно числу операций в левой части. Так как для реализации каждой операции необходим логический элемент, то следует отдать предпочтение комбинационному устройству, структурная формула которого имеет меньшее число операций. Поэтому путем тождественных преобразований структурной формулы, приводящих только к изменению сс формы, а не значений, можно упростить схему комбинационного устройства. Преобразование структурной формулы с целью упрощения комбинационного устройства называется ее минимизацией. В качестве критерия сложности структурной формулы можно также использовать число входящих в нее первичных термов (Х_т или Х_т).