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

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

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