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

问答题 以自然数集N为载体，数加运算“+”为二元运算组成一个代数结构，记为〈N，+〉．

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