问答题 用2种颜色对正四面体的棱涂色，如果允许正四面体在空间任意转动，问有多少种不同的涂色方案？

问答题 求以下公式的主析取范式，并求成真赋值： （￢p→q）→（￢q∨p）

问答题 给定无向图G=〈V，E〉，且对任意结点ν∈V，有d（ν）≥2.试证G至少有一基本圈。