计算题 将公式B=（￢p→q）∧r化成S₂={￢，∨}上的公式。

将公式A=（p→q）∨r化成S1={￢，∧}上的公式。 点击查看答案

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