问答题
用消解原理证明p∧（ㄱp∨q）∧（ㄱr）∧（ㄱp∨ㄱq∨r）是矛盾式。
问答题 证明b*b=b
问答题 证明a*b=b*a
问答题 用主析取范式判断（pq）与（（p∨q）∧（（p∧q））是否等值。
