计算题 用主析取范式判断两个公式是否等着：设A=（p→（p∧q））∨r，B=（￢p∨q）∧（￢r→q），判断A与B是否等值。

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

用主析取范式判断公式的类型，并对可满足式求成真赋值：￢（p→q）∧r∧q。 点击查看答案