问答题
计算题
用主析取范式判断两个公式是否等着：设A=（p∧q）∨（￢p∧q∧r），B=（P∨（q∧r））∧（q∨（￢p∧r）），判断A与B是否等着。
【参考答案】
点击查看答案
