Построение ДСНФ и КСНФ логической функции (на примере ЛФ, зависящей от 4-х переменных)

При описании логических устройств оказывается, что способ задания (определения) логических функций и форма их представления существенно влияют на трудность достижения конечного результата. В зависимости от поставленной цели способы задания и формы представления функций могут быть различными. Например, при построении логических устройств на программируемых постоянных запоминающих устройствах (ППЗУ) алгебраические формы логических функций нежелательны и не целесообразны. Однако при построении устройств на микросхемах малой степени интеграции, на ИМС логических элементов, требуются минимальные алгебраические формы логических функций, так как в противном случае не обеспечить минимальные аппаратурные затраты. Таким образом, выбор способа задания зависит от поставленной цели описания устройств.

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