Таблицы истинности для логических функций двух переменных

Обозначение функции и выражение через операции И, ИЛИ, НЕ	х₁		Название	Специальное обозначение	Чтение
х₂
f₀ = 0			Константа «0»		Всегда «0»
f₁ = х₁х₂		Конъюнкция	х₁х₂	х₁ и х₂
f₂ =		Запрет по х₂		Неверно, что если х₁, то х₂
f₃ = х₁		Переменная х₁	х₁
f₄ =		Запрет по х₁		Неверно, что если х₂, то х₁
f₅ = х₂		Переменная х₂	х₂
f₆ = Ú		Сложение по модулю 2	х₁Åх₂	х₁ неравнозначно х₂
f₇ = х₁Úх₂		Дизъюнкция	х₁Úх₂	х₁ или х₂
f₈ =		Функция (стрелка) Пирса	x₁¯x₂	Ни х₁, ни х₂
f₉ = Ú		Эквивалентность	x₁«x₂	х₁ равнозначно х₂
f₁₀ =		Инверсия х₂		Не х₂
f₁₁ = Ú		Импликация	x₂®x₁	Если х₂, то х₁
f₁₂ =		Инверсия х₁		Не х₁
f₁₃ = Ú		Импликация	x₁®x₂	Если х₁, то х₂
f₁₄ = Ú		Функция (штрих) Шеффера	x₁/x₂	Неверно, что х₁ и х₂
f₁₅ = 1		Константа «1»		Всегда «1»