Cтраница 4
Установим еще один полезный критерий дистрибутивности решетки с единственными дополнениями. [46]
В алгебре логики действует закон дистрибутивности сложения по отношению к умножению. [47]
Третья операция представляет собой преобразование дистрибутивности логического сложения по отношению к умножению. Эта операция применяется, когда одно из слагаемых в формуле ( а) является произведением и вместе с тем не является примитивной формулой. [48]
В качестве примера проведем доказательства дистрибутивности операции объединения относительно спе-рации пересечения графов и одного из правил де Моргана. [49]