问答题
我们知道，一个S上的等价关系可以用一个S的划分来表示。事实上，一个〈S，*〉上的同余关系还可以用一个特别的划分——同余类的集合来表示．试做出〈{0，1，2，3，4}，max〉上的所有同余关系所对应的划分，这里max为二元求大运算．
问答题 求以下公式的主析取范式，并求成真赋值： （p∨（q∧r））→（p∨q∨r）
问答题 试求图中有向图的强分图、单向分图和弱分图。
问答题 设A={a，b，c，d}，在A上定义一个二元运算如表1所示．又设B={α，β，γ，δ}，在B上定义一个二元运算如表2所示．证明〈A，*〉和〈B，*〉是同构的．
