Полиномиальное разложение булевых функций

Определение.Под полиномом булевой функции F понимается представление F посредством сложения по модулю два попарно различных элементарных конъюнкций. Иначе такое представление F называется полиномиальным разложением или полиномиальной нормальной формой (ПНФ) функции F.

Например, полиномом булевой функции F, заданной вектором значений таблицы истинности w(F)=(00100111), является следующее выражение .

Число конъюнкций, образующих полином, называется длинойполинома, а максимальный ранг элементарной конъюнкции - степеньюполинома.

В приведенном выше примере длина полинома функции F равна 3, а степень – 2.

Определение.Полином функции F, состоящий только из полных элементар­ных конъюнкций, называется совершенной ПНФ (СПНФ).По аналогии с СДНФ такое представление конкретной булевой функции F явля­ется единственным.

Рассмотрим на примерах построение СПНФ, используя преобразование СДНФ булевой функции.

Пример. Составить СПНФ булевой функции, заданной вектором значений таблицы истинности w(F)=(10010010).

Решение.Так как вектор значений заданной булевой функции имеет 8=2³ разрядов, следовательно, булевой функции соответствует следующая таблица истинности:

			F

СДНФ данной булевой функции, построенная по таблице истинности будет иметь вид: .

Заменим операцию дизъюнкции на операцию сложения по модулю два по формуле: . При этом воспользуемся тем, что произведение (конъюнкция) любых полных дизъюнкций СДНФ всегда равно нулю (при построении СДНФ по таблице истинности это очевидно ― все наборы отличаются хотя бы по отрицанию одной переменной). Следовательно, СПНФ будет иметь вид:

.

Ответ:

Пример. Составить СПНФ булевой функции, если СДНФ данной булевой функции, имеет вид: .

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

.

Полином F, содержащий наименьшее число слагаемых среди всех полиномов, реализующих функцию F, называется кратчайшей ПНФ (КрПНФ).Полином функции F, содержащий наименьшее число вхождений литералов, называется минимальной ПНФ.

Сущес­твует задача минимизации булевых функций в классе ПНФ, которая формулируется как задача нахождения для заданной булевой функ­ции КрПНФ иди МПНФ. Такая задача также является весьма трудое­мкой, и для ее решения разработано немало методов (отдельные из которых представляют собой соответствующую интерпретацию известных методов минимизации функций в классе ДНФ).

В следующем пункте настоящей методической разработки будет рассмотрено построение канонических поляризо­ванных полиномов булевых функций (в частности, полинома Жегалкина), как наиболее часто применяемых при синтезе логических схем.