Определение. Булева функция (формула логики высказываний) F называется частично (не всюду) определённой, если не для всех возможных наборов значений входящих в функцию F переменных указаны её значения. Алгоритм минимизации частично определенных функций в классе дизъюнктивных нормальных форм (ДНФ) включает в себя следующие шаги. Шаг 1. Доопределить булеву функцию F нулями на тех наборах значений переменных, где она не определена. Полученную булеву функцию обозначить через F0. Шаг 2. Построить совершенную дизъюнктивную нормальную форму (СДНФ) булевой функции F0...