问答题
用归结推理证明:P→(Q→R),Q→(R→O)。
问答题 若不允许有两面蓝旗相邻,又有多少种不同的排列方法?
问答题 这些彩旗有多少种不同的排列方法?
问答题 用归结推理证明:(P→Q)→(P→R)。