Минимизация функций
Определение. ДНФ логической функции называется минимальной, если она
реализует зту функцию и имеет наименьшее суммарное число сомножителей в своих слагаемых по сравнению с другими эквивалентными ей ДНФ.
Нахождение минимальной ДНФ функции называется минимизацией.
Рассмотрим минимизацию логических функций, заданных таблично, методом неопределенных коэффициентов.
Пусть дана функция трех переменных. Составим для нее (формальное выра-жение) дизъюнктивную форму, включающую всевозможные конъюнкции, первого, второго и третьего рангов:
f(x,y,z) = a1x 
a2y a3z a4
a5
a6
b1xy b2xz b3yz
b4y
b5z b6x b7z b8x b9y b10