简答题

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

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

问答题

用消解原理证明下述公式是矛盾式：
（ㄱ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。