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

В некоторых задачах нам известно, что определенные входные комбинации никогда не возникнут. В таком случае неопределенные значения интерпретируются так, как удобно.

Пусть дана частично определенная логическая функция:	1. Составим для данной функции диаграмму Вейча (МДНФ), считая неопределенные значения истинными. По данной диаграмме составим формулу:
2. Составим для данной функции диаграмму Вейча (МКНФ), считая неопределенные значения ложными. По данной диаграмме составим формулу:

Приведение минимизированной функции к заданному логическому базису

На примере .

(МДНФ к базису ИЛИ-НЕ)

(МДНФ к базису И-НЕ)

(МКНФ к базису ИЛИ-НЕ)

(МКНФ к базису И-НЕ)