Властивості логічних операцій

комутативність

AB = ВА

AB = ВА

асоціативність

(AB)С = А(ВС);

(AB)С = А(ВС);

дистрибутивність

(AB)С=(АС)  (ВС);

(AB)С=(АС)  (ВС);

закон подвійного заперечення

(А)=А

закони де Моргана

(AB)= (А  В);

(AB)= (А  В);

закон множення на нуль

A0=0;

закон множення на одиницю

A1=А

A0=А

A1=1;

(АА)=0

(АА)=1