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






