Определение. Множество функций N называется функционально полной системой (ФПС), если любая булева функция представима суперпозицией функций из N.
Договоримся опускать аргументы при перечислении функций множества N и рассматривать термин ''система'' в данном контексте как синоним множества.
Пример 1. Множество
N1={,
, –} является
функционально полной системой, так
как любую булеву функцию, кроме константы 0, можно представить
совершенной ДНФ, то есть суперпозицией функций из N1
а константу 0 – формулой xx . •
Пример 2. Множество N2={,
, 1}
является ФПС, так
как любую булеву функцию можно представить полиномом Жегалкина,
то есть суперпозицией функций из N2,
а полином 0 – формулой 1
1. •
Следующая теорема позволяет сводить вопрос о функциональной полноте одних систем к вопросу о полноте других систем.
Теорема о двух функционально полных системах. Если даны два множества N1 и N2 булевых функций и известно, что N1 – функционально полная система, а каждая функция из N1 представима суперпозицией функций из N2, то N2тоже является функционально полной системой.
Доказательство. Рассмотрим произвольную булеву функцию f(x1, …, xn). Она может быть представлена суперпозицией функций из множества N1={f0,f1 …, fm}, так как N1 – ФПС:
По условию теоремы каждая из функций f0, f1 …, fm может быть представлена суперпозицией функций из N2, значит, функция f(x1, …, xn) представима суперпозицией функций из N2, следовательно, N2 – ФПС. •
Пример 1. N1={ , –,
},
N2={
, –}. Как показано ранее,
N1 – ФПС. Конъюнкция и инверсия содержатся
в N2, а дизъюнкция представима суперпозицией функций из
N2:
x
y =
,
значит, N2 – ФПС. •
Пример 2. N1={, –},
N2={↓ }. Как показано в предыдущем
примере, N1 – ФПС. Инверсия и конъюнкция
могут быть
представлены суперпозицией стрелки Пирса:
x = x↓ x,
xy =
=
(x↓ x)↓ (y↓ y),
следовательно N2 – ФПС. •