... и пусть, интересующийся Булевой Алгеброй, НАРОД
всегда помнит интересующий его адрес booleanalgebra.narod ...
... и пусть следит за обновлениями этого сайта ...

      Здесь я расскажу о базисе Пирса. Нам уже известно, что такое функция Пирса (она же - Стрелка Пирса). Это всего лишь на всего отрицание Дизъюнкции.
      Эту функцию двух аргументов можно обобщить на произвольное другое количество аргументов. Делается это следующим образом:
      Рассмотрим случай, когда количество аргументов не равно единице:
      Берётся произвольное количество аргументов: x₁ , x₂ , ..., x_n и находится их дизъюнкции. После чего берётся отрицание этой Дизъюнкции, и функции Пирса от этих всех аргументов присваивается значение отрицания этой самой Дизъюнкции.
      Рассмотрим случай, когда количество аргументов равно единице:
      В этом случае мы поступаем ещё проще: значению функции Пирса от этого единственного аргумента присваивается просто отрицание самого этого аргумента.
      Вот и всё!!!
      Но, оказывается, полученная таким образом серия функций Пирса (обратите внимание: здесь имеет место целая серия функций, а не одна только одиночная функция, хотя эту серию функций мы и называем функцией Пирса, но надо иметь в виду, что функция Пирса от, скажем, семи аргументов, это не то же самое, что функция Пирса от, скажем, четырёх аргументов!!! Конечно, с точки зрения ПРОГРАММИСТА - это всё одно и тоже, а вот с точки зрения МАТЕМАТИКА здесь имеет место не одна функция, а целая серия функций!!!) образует базис на множестве всех переключательных функций.

Доказательство

      Воспользуемся уже ранее доказанной теоремой об универсальном логическом базисе. По этой теореме, множество функций КОНЪЮНКЦИЯ, ДИЗЪЮНККЦИЯ, ИНВЕРСИЯ образуют базис на множестве всех переключательных функций.
      Значит, для того, чтобы доказать, что функция Пирса образует базис на множестве всех переключательных функций, мы должны для любого выражения в универсальном логическом базисе написать, как это выражение можно представить в виде суперпозиции (композиции) той самой серии функций, которая вся вместе именуется функцией Пирса.
      Делается это очень просто:

      Таким образом, любое выражение в универсальном логическом базисе может быть представлено в виде суперпозиции (композиции) той самой серии функций, которая вся вместе именуется функцией Пирса. Значит семейство функций, именуемое функцией Пирса, образует логический базис (или базис на множестве всех переключательных функций), что и требовалось доказать.