问答题 用主析取范式判断公式是否等值：（p→q）与q→（p→r）。

问答题 用真值表求公式的主析取范式和主合取范式：￢（q→￢p）∧￢p。

问答题 用真值表求公式的主析取范式和主合取范式：p→（p∨q∨r）。