Минимизация не полностью определенных фал

Если при синтезе логической схемы, реализующей некоторую ФАЛ n переменных, окажется, что некоторые наборы из общего числа 2ⁿ никогда не смогут появиться на входах схемы, то данная логическая функция не определена на этих наборах. Тогда 2ⁿ наборов переменных можно подразделить на три группы: множество наборов L, на которых функция принимает единичное значение, множество наборов D, на которых функция принимает нулевое значение, и множество наборов N, на которых функция не определена (неопределенные наборы). ФАЛ, содержащая неопределенные наборы, называется не полностью или частично определенной. Неопределенные наборы могут быть использованы для улучшения качества минимизации. При этом неопределенные наборы (при минимизации, например, картами Вейча, Карно) могут участвовать в образовании контуров как с единичными, так и с нулевыми наборами. Это приводит к формированию более простой минимизированной логической функции.

Приведем примеры минимизации частичных булевых функций (рис.22).