合取對析取的分配律

合取對析取的分配律（ distributive law of conjunction relative to disjunction）命題演算的定理。可以用符號寫成:“p∧（qVr）+（p∧q）v（p∧r）”意思是指:有三個命題變項p、q、r。p和q，r的析取的合取，與p、q合取和p、r合取後再取兩者的析取，兩公式的真值是相同的。