Законы алгебры логики

Из определения вышеприведенных функций можно установить целый ряд простейших свойств:

В алгебре логики установлен целый ряд законов, с помощью которых возможно преобразование логических функций (ЛФ):

• коммутативный (переместительный):

• ассоциативный (сочетательный):

Эти законы полностью идентичны законам обычной алгебры;

• дистрибутивный (распределительный):

• закон поглощения. В дизъюнктивной форме ЛФ конъюнкция мень­шего ранга, т.е. с меньшим числом переменных, поглощает все конъ­юнкции большего ранга, если ее изображение содержится в них. Это же справедливо и для конъюнктивных форм:

• законы склеивания: