Distributivgesetz

Einfache Sprache

Def. Distributivgesetz

Im Kontext einer Boolesche Algebra hier Aussagenlogik besagt das Distributivgesetz

$$P\land(Q\lor R) \Longleftrightarrow (P\land Q)\lor(P\land R)$$

und

$$P\lor(Q\land R) \Longleftrightarrow (P\lor Q)\land(P\lor R)$$