Логическими функциями называют такие функции, аргументы которых могут принимать только два значения – 0 и 1 («логический 0» и «логическая 1»). Например, функция логического сложения имеет вид:
.
Выражение 
обозначает, что Y не может принимать больше никаких значений кроме 0 или 1, то есть даже если имеем X1 = 1 и X2 = 1, то Y = X1 + X2 = 1, а не 2, как в обычной арифметике чисел.