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

问答题 求D中v1到自身长度小于或等于3的回路数。

问答题 我们知道，一个S上的等价关系可以用一个S的划分来表示。事实上，一个〈S，*〉上的同余关系还可以用一个特别的划分——同余类的集合来表示．试做出〈{0，1，2，3，4}，max〉上的所有同余关系所对应的划分，这里max为二元求大运算．