Алгебра логики изучает связь между переменными, принимающими только значения "1" и "0".

Логическая функция у = f(х₁,х₂. х_n) задана, когда каждому набору х однозначно сопоставляется у. Количество функций, образуемых n переменными равно:

В таблице 1 приведены некоторые из возможных функций при n=2.

1) Конъюнкция (операция "и", логическое умножение). Конъюнкция нескольких переменных равна 1 лишь тогда, когда все переменные равны 1.Конъюнкция обозначается в виде произведения у = х₁·х₂, или у = х₁х₂, или у = х₁Λх₂. Обозначение элемента в схеме приведено на рис 2-1.

2) Дизъюнкция (операция "или", логическое сложение). Дизъюнкция нескольких переменных равна 1, если хотя бы одна из переменных равна 1. Дизъюнкция обозначается в виде суммы: у = х₁+х₂, или у = х₁Vх₂. Обозначение элемента в схеме приведено на рис.2-2.

3) Инверсия (операция "не", логическое отрицание). Обозначение элемента в схеме приведено на рис 2-3.

Возможны комбинированные операции. Примеры элементов,выполняющих такие действия приведены на рис.2-4.

4) Исключающее "или" – функция равна 1,когда только одна переменная равна 1. Обозначается значком

5) Сумма по модулю 2 - функция равна 1,когда нечетное число переменных равно 1, функция равна 0, когда четное число переменных равно 1. Функция обозначается: в виде у = Σ_mod2 = х₁ х₂ . х_n. Для двух переменных Σ_mod2 совпадает с функцией исключающее "или". Для трех переменных в таблице 4 приведены данные для функций "исключающее или" и "сумма по модулю 2". Они уже неполностью совпадают.