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

х₁х₂					Обозначение ФАЛ
f₀					тождественный 0, const 0.
f₁					х₁ и х₂, х₁×х₂, х₁&х₂, х₁Ùх₂ – конъюнкция, логическое «и»
f₂					- запрет х₂; х₁, но не х₂
f₃					х₁ повторение первого аргумента
f₄					- запрет х₁; не х₁, но х₂
f₅					х₂ повторение второго аргумента
f₆					, - сложение по модулю 2, неравнозначность
f₇					х₁Úх₂ – дизъюнкция, сумма, логическое «или»
f₈					x₁¯х₂ – стрелка Пирса, функция Вебба, ; логическое “или-не”
f₉					x₁ºх₂ – эквивалентность, равнозначность, тождество
f₁₀					- отрицание, инверсия второго аргумента
f₁₁					x₂®х₁ – обратная импликация
f₁₂					- отрицание первого аргумента
f₁₃					x₁®х₂ – импликация
f₁₄					x₁ \| х₂ – штрих Шеффера, логическое «и-не»,
f₁₅					тождественная 1, константа 1