Главная страница.
		Основные понятия.
		Переключательные функции.
		Теорема об универсальном логическом базисе.
		Альтернативные универсальному логическому:
			Базис Шеффера.
			Базис Пирса.

Здесь я расскажу о том, что такое логические базисы и с чем (и зачем) и едят.Для начала введём некоторые определения :

def Композицией, или суперпозицией функций называется функция, получаемая подстановкой значений одних функций в качестве аргументов в другие функции.

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

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

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