Лекция: Законы алгебры логики.

· Свойства ассоциативности (сочетательный закон):

x1+(x2+x3)=(x1+x2)+x3

x1(x2×x3)=(x1×x2)x3

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

x1+x2=x2+x1

· Свойства дистрибутивности (распределительный закон):

x1&(x3+x3)=(x1&x2)+(x1&x3)

· Законы де Моргана:

Следствие:

· Законы поглощения:

x1=x1x2=x1

x1(x1+x2)=x1

· Закон склеивания:

(x1x2)+(x2x2)=x2

Логическая функция двух переменных. Правила построения совершенной дизъюнктивной нормальной формы.