Логическая функция – это логическое выражение, состоящее из логических переменных связанных между собой с помощью операций алгебры логики.
В соответствии с вышеприведенными аксиомами (1)-(5) функция может принимать в зависимости от значений переменных xp только два значения 0 и 1.
Для функции n переменных xn-1,…,x0 будем использовать общее обозначение 
где v=(xn-1,…,x0) каждая переменная xp (p=0,1,2,…,n) может принимать только два значения 0 и 1. Поэтому число всех возможных комбинаций значений xn-1,…,x0 конечно и равно 2n.
В общем виде конкретное значение переменной xp (0или1)будем обозначать через ep. Символами i, j и т.п. будем обозначать порядковые десятичные числа. en-1…ep…e0 – обобщающая запись двоичного числа, где ep= 0 или 1, и являются элементами алгебры логики если они используются в качестве значений переменных, для этих элементов не существует соотношений больше или меньше.
