问答题
用消解原理证明p∧（p∨q）∧（r）∧（p∨q∨r）是矛盾式。
问答题用消解原理证明p∧（ㄱp∨q）∧（ㄱr）∧（ㄱp∨ㄱq∨r）是矛盾式。
证明b*b=b
问答题证明b*b=b
证明a*b=b*a
问答题证明a*b=b*a
