计算题 用主析取范式判断公式的类型，并对可满足式求成真赋值：p→（（p∧q）∨（p∧￢q））。

证明公司等值式：q→（p→r）（p∧q）→r。 点击查看答案

证明公司等值式：（（p∨q）∧￢（p∧q）￢（pq）） 点击查看答案