Минимальная ДНФ частичной функции.
Функция алгебры логики называется частичной, если она не определена на некоторых наборах своих аргументов.
Полностью определенную функцию называют эквивалентной частичной функции , если ее значения совпадают со значениями функции на тех наборах, на которых функция определена.
Задача минимизации частичной функции сводится к отысканию такой эквивалентной ей функции , которая имеет простейшую минимальную форму.