简答题

用消解原理证明下述公式是矛盾式：
（ㄱp∨q）∧（ㄱp∨r）∧（ㄱq∨ㄱr）∧（p∨ㄱr）∧r。

如图是一颗有7个结点的树，这里用黑白两色对T的结点着色，如果交换T的某个左子树与右子树以后，一种着色方案变成另...

问答题

如图是一颗有7个结点的树，这里用黑白两色对T的结点着色，如果交换T的某个左子树与右子树以后，一种着色方案变成另一种着色方案，则认为这两张方案是同样的方案，问不同的着色方案有多少种。

给出下面每一对C1，C2的消解结果： C1：p∨q∨r，C2：p∨r∨s。

问答题

给出下面每一对C₁，C₂的消解结果：
C₁：ㄱp∨q∨r，C₂：p∨ㄱr∨ㄱs。

用3种颜色涂色3×3的方格棋盘，每个方格一个颜色，如果允许棋盘任意旋转或翻转，问有多少种不同的涂色方案。

问答题用3种颜色涂色3×3的方格棋盘，每个方格一个颜色，如果允许棋盘任意旋转或翻转，问有多少种不同的涂色方案。