О приближении частичной булевой функции монотонной булевой функцией

Задача нахождения монотонной булевой функции, наилучшим образом приближающей заданную частичную (не всюду определенную) булеву функцию, решается потоковым алгоритмом. Среди монотонных функций, дающих наилучшее приближение, выбирается функция, имеющая простейшую дизъюнктивную нормальную форму.