Аппарат алгебры логики оперирует с логическими переменными(0;1). Применительно к дискретным схемам «1»-соответствует выдаче командного сигнала, наличию сигнала от датчика контроля, замкнутому состоянию контакта реле, включенному состоянию усилителя, высокому уровню потенциального сигнала бесконтактного элемента. Значение «0»-отсутствие перечисленных ранее сигналов, соответствует разомкнутому состоянию контактов реле, низкому уровню потенциального сигнала безконтактного элемента.
Логическая функция-зависимость выходных сигналов от входных.
у=f(x1,x2,x3…xn)
Такую функцию называют n-разрядной, переключательной или двоичной функцией. Функции могут быть определены таблицами. Они называются таблицами истинности

Рис. 10