Distributive Laws

Farklı operatörler arasında parantez açma/kapama kuralıdır.

• $p\vee (q\wedge r)\equiv (p\vee q)\wedge (p\vee r)$
• $p\wedge (q\vee r)\equiv (p\wedge q)\vee (p\wedge r)$