Элементарные логические функции

Существуют четыре различные ПФ, зависящие от одного аргумента. При этом для функций и аргумент x является фиктивным (табл. 3.4).

Таблица 3.4

\ x			Условное обозначение	Название функции
				Константа 0
				Переменная х
				Инверсия х
				Константа 1

Существуют 16 различных ПФ, зависящих от двух аргументов (табл. 3.5). При этом для функций и оба аргумента являются фиктивными, а для функций , , и один из аргументов является фиктивным.

Таблица 3.5

					Условное обозначение	Название функции
						Константа 0
						Конъюнкция
						Запрет по
						Переменная
						Запрет по
						Переменная
						Сложение по модулю 2
						Дизъюнкция
						Стрелка Пирса
					~	Эквивалентность
						Инверсия
						Импликация в
						Инверсия
						Импликация в
						Штрих Шеффера
						Константа 1

Все ПФ одного аргумента, а также функции двух аргументов с номерами 1, 6, 7, 8, 9, 11, 14 называют элементарными и используют для построения более сложных функций путем изменения номеров аргументов и с помощью суперпозиции, т.е. подстановки вместо аргументов других переключательных функций.