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

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

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