Логических функций одной переменной всего четыре. Они приведены в таблице 3.2.

Таблица 3.2 – Логические функции одной переменной

Функции j₀ и j₃ – константы 0 и 1 соответственно; их значения не зависят от значения переменной, и , следовательно, переменная x для них несущественна. Функция j₁ повторяет x. Функция j₂ называется "отрицанием" или функцией "НЕ" и обозначается или . Ее значение противоположно значению x.

Логических функций двух переменных – 16. Они приведены в таблице 3.3.

Таблица 3.3 – Логические функции двух переменных

Функции j₀ и j₁₅ константы 0 и 1, т.е. функции с двумя несущественными переменными. Отметим, что эти функции отличаются от приведенных в таблице 3.2. Там они унарные, а здесь бинарные операции на В.

Функция j₁ называется конъюнкцией х₁ и х₂; ее обозначают: или _{& .} Во всех случаях знак конъюнкции аналогично знаку умножения часто опускают и пишут х₁ х₂ . Она равна 1, только если х₁ и х₂ равны 1, поэтому ее часто называют функцией И. Еще одно ее название – "логическое умножение", поскольку ее таблица действительно совпадает с таблицей обычного умножения для чисел 0 и 1.

Функция j₇ называется дизъюнкцией х₁ и х₂; ее обозначают: или . Она равна 1, если х₁ или х₂ равен 1 ("или" здесь понимается в неразделительном смысле – хотя бы одно из двух). Поэтому ее часто называют функцией ИЛИ.

Функция j₆ – это сложение по модулю 2. Ее обозначение х₁Åх₂. Она равна 1, когда значения ее аргументов различны, и равна 0, когда они равны.

Другие функции имеют название: j₁₃ – импликация: х₁®х₂; j₈ – стрелка Пирса: х₁¯х₂; j₁₄ – штрих Шеффера: х₁ ½ х₂.