合取对析取的分配律( distributive law of conjunction relative to disjunction)命题演算的定理.可以用符号写成:"p∧(qVr)=(p∧q)v(p∧r)"意思是指:有三个命题变项p,q,r.p和q,r的析取的合取,与p,q合取和p,r合取后再取两者的析取,两公式的真值是相同的 [1] . 参考资料 1. 金炳华等编,哲学大辞典(修订本) (上,下册),上海辞书出版社,2001年06月第1版,第513页