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

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

问答题 证明下图所示的图G不是哈密顿图。