合取对析取的分配律

合取对析取的分配律（distributive law of conjunction relative to disjunction）是命题演算的定理。可以用符号写成:“p∧（qVr）=（p∧q）v（p∧r）”意思是指:有三个命题变项p、q、r。p和q，r的析取的合取，与p、q合取和p、r合取后再取两者的析取，两公式的真值是相同的。