Логічні функції однієї та двох змінних

Логічні функції двох змінних є основними функціями алгебри логіки. Чотирьом наборам двох змінних відповідають 16 різноманітних логічних функцій. Ці функції наведені у таблицях.

Таблиця 1.

Логічні функції однієї змінної

			Символьне позначення	Контактна схема	Умовне позначення
					–
			А
					–

Таблиця 2.

Логічні функції двох змінних

a		Назва функції	Символ	Умовне графічне позначення	Логічне вираження
b
		Нульова		–
		Або-не
		Заборона а
		Інверсія а
		Заборона b
		Інверсія b
		Виключне або
		І-не
		І
		Рівнозначність
		Повтор b
		Імплікація b
		Повтор а			а
		Імплікація а
		Або
		Одинична		–

Якщо дану таблицю розділити навпіл, то видно, що

і т.д., тобто або .