Любое логическое выражение, составленное из n переменных с помощью конечного числа операций алгебры логики, можно рассматривать как некоторую функцию n переменных. Такую функцию называют логической. В соответствии с аксиомами алгебры логики функция может принимать в зависимости от значения переменных значение 0 или 1. Функция n логических переменных может быть определена для 2n значений переменных, соответствующих всем возможным комбинациям n-разрядных двоичных чисел. Основной практический интерес представляют следующие функции двух переменных х и у:
f1(x,y) = x & y = x 
y = x 
– логическое умножение (конъюнкция);
f2(x,y) = x 
y – логическое сложение (дизъюнкция);
f3(x,y) = 
= 
– штрих Шеффера;
f4(x,y) = 
= 
– стрелка Пирса;
f5(x,y) = x 
y = 
– сложение по модулю 2;
f6(x,y) = 
– равнозначность.
Таблица истинности
Так как область определения любой логической функции n переменных конечна (2n значений), то она может быть задана таблицей значений f(i), которые функция принимает на наборах переменных с номерами i, где i = 0,…, 2n-1. Такие таблицы называют таблицами истинности. В табл. 1 представлены таблицы истинности, задающие перечисленные выше функции.
В таблице номер строки (№) есть десятичная запись соответствующего двоичного кода набора переменных.
