离散数学里面的逻辑 等值演算,(p∧q)∨(p∧非q)..(非p∨q)∧(非q∨p).怎么分配 求详细..过程

如题所述

第1个回答  2012-02-15
用分配率:(p∧q)∨(p∧~q) = ((p∧q)∨p)∧((p∧q)∨~q) = p∧(p∨~q)=p
(~p∨q)∧(~q∨p) = ((~p∨q)∧~q)∨((~p∨q)∧p) = (~p∧~q)∨(p∧q) = (p→q)∧(p←q)
第2个是双条件命题,我打不出符号,应该就是这样了吧,用真值表也能看出来的本回答被网友采纳
第2个回答  2012-02-18
(p∧q)∨(p∧非q)=p∧(q∨非q)=p∧1=p
(非p∨q)∧(非q∨p)=(非p∧非q)∨(非p∧p)∨(q∧非q)∨(q∧p)=(非p∧非q)∨0∨0∨(q∧p)=(非p∧非q)∨(p∧q)
相似回答