Минимизация частично определенных функций

Полностью определенными называются такие булевы функции, точное значение которых (1 или 0) определено при всех возможных наборах.

Если булева функция определена не на всех наборах, то такая функция называется частично определенной или недоопределенной.