问答题
用消解原理证明下述公式是矛盾式: (ㄱp∨q)∧(ㄱp∨r)∧(ㄱq∨ㄱr)∧(p∨ㄱr)∧r。
问答题 如图是一颗有7个结点的树,这里用黑白两色对T的结点着色,如果交换T的某个左子树与右子树以后,一种着色方案变成另一种着色方案,则认为这两张方案是同样的方案,问不同的着色方案有多少种。
问答题 给出下面每一对C1,C2的消解结果: C1:p∨q∨r,C2:p∨r∨s。
问答题 用3种颜色涂色3×3的方格棋盘,每个方格一个颜色,如果允许棋盘任意旋转或翻转,问有多少种不同的涂色方案。