Метод минимизации логических выражений заключается в преобразовании заданной логической функции с целью уменьшения общего числа переменных и операций. elis.psu.ru
Некоторые методы минимизации:
- Метод непосредственных преобразований. infourok.ru Осуществляется с использованием основных теорем алгебры логики. infourok.ru При этом выявляются в исходном выражении соседние термы (члены), в которых есть по одной не совпадающей переменной. infourok.ru К ним применяют закон склейки. infourok.ru Полученные после этого импликанты по возможности склеивают до тех пор, пока это не становится невозможным. infourok.ru
- Метод карт Карно. spravochnick.ru portal.tpu.ru Основан на табличном представлении логических функций. spravochnick.ru Используется для «ручной» минимизации логических функций с числом переменных, не превышающих шести. spravochnick.ru Алгоритм включает выделение прямоугольных областей, объединяющих выбранные значения функции, и выбор минимального числа максимально больших областей, включающих все клетки с выбранным значением логической функции. spravochnick.ru
- Метод Квайна. elis.psu.ru Выполняется в два этапа. elis.psu.ru Первый этап направлен на получение тупиковой формы, представляющей собой дизъюнкцию, в качестве слагаемых которой используются конъюнкции, каждая из которых не склеивается ни с одной другой конъюнкцией, входящей в это выражение. elis.psu.ru
Минимизация логических выражений важна при технической реализации дискретных устройств, так как при этом уменьшается общее количество элементов, увеличивается надёжность и устройства становятся более экономичными. elis.psu.ru