Все устройства ЭВМ состоят из элементарных логических схем, работа которых основана на законах и правилах алгебры логики. Алгебра логики оперирует 2 понятиями: истинность и ложность высказываний, которые принято обозначать 1 и 0. высказывания могут быть простыми и сложными. Простое высказывание содержит одно законченное утверждение, сложное образуется из двух более высказываний, объединенных логическими связями. Формализация и преобразование логических связей осуществляется в соответствии с законами алгебры логики. Две логические переменные a и b, принимающие значения 0 или 1, могут образовывать логические функции. Из 16 логических функций наибольший интерес представляют 3:
1. логическое отрицание «не» переменной a есть логическая функция x которая принимает значение 0 если а=1 и наоборот;
2. функция логического умножения «и» - функция двух переменных a и b, которая истинна, если истинны обе переменные;
3. логическое сложение «или» - функция двух переменных а и b, которая принимает значение истинности в случае истинности одной из переменных a или b.
Три приведенные функции позволяют реализовать любую зависимость.
