Функциональная полнота системы булевых функций

Определение. Система булевых функций S={f₁ , f₂,..., f_m} называется функционально полной, если с помощью функций этой системы можно выразить любую булеву функцию с использованием метода суперпозиции.

Под суперпозицией в отношении булевых функций понимается подстановка одних функций в другие вместо их аргумента.

Примером полной системы является.

S₁ ={ù , &, Ú} (булев базис);

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

Система S₁ является избыточной, так как из нее можно удалить одну из функций (& или Ú) без нарушения функциональной полноты.

Получаемые при этом системы S₂ ={ù , &} и S₃{ù , Ú} обычно называют сокращенным булевым базисом.

Недостающие операции (Ú в системе S₂ и & в системе S₃) могут быть выражены с помощью следствий из законов де Моргана:

Другими примерами функционально полных систем являются системы из одной функции: S₄={¯} (стрелка Пирса), S₅={|} (штрих Шеффера), которые принято называть универсальным базисом, а также система S₆= {&, Å, 1}, которую называют базисом Жегалкина.

Определение. Функционально полная система булевых функций называется минимальной, если удаление из нее какой-либо функции приводит к нарушению свойства функциональной полноты.

Понятие функциональной полноты системы булевых функций связано с аналогичным понятием для системы логических элементов.

Эта связь заключается в следующем: если каждой функции из некоторой функционально полной системы сопоставить логический элемент, реализующий эту функцию, то система логических элементов соответствующая некоторой функционально полной системе булевых функций естественным образом оказывается тоже функционально полной. С использованием функционально полной системы логических элементов можно построить комбинационную схему, реализующую любую, сколь угодно сложную булеву функцию.

Доказательство функциональной полноты некоторой системы булевых функций можно осуществлять одним из двух способов:

1) с использованием теоремы о функциональной полноте;

2) с использованием конструктивного подхода.