Основы алгебры логики

Математическим аппаратом анализа и синтеза цифровых систем служит алгебра логики (булева алгебра), которая изучает связь между переменными (сигналами), принимающими только два («0», «1») значения. Символы «0» и «1» в алгебре логики характеризуют состояния переменных или состояния их функций, в связи с чем эти символы нельзя рассматривать как арифметические числа. Алгебра логики является алгеброй состояний, а не алгеброй чисел, и для нее характерны основные действия, отличные от принятых в обычной алгебре действий над числами. В алгебре логики любая переменная может иметь состояние «0» или «1». Поэтому в алгебре логики каждой двоичной переменной, например х, ставится в соответствие обратная или дополнительная к ней (инверсная) переменная, такая, что:

Переменную следует читать как НЕ х. В алгебре логики в случае одной переменной х действуют следующие правила (аксиомы):

(1)

Правила 1-4 характеризуют операцию логического сложения (дизъюнкции), правила 6-9 - операцию логического умножения (конъюнкции) и правила 5, 10 - операцию инверсии. Знак логического сложения «+» читается ИЛИ (например, правило 1: «х или 0 равен х»). Знак логического умножения «•» читается И (например, «х и 0 равен 0»).