简答题 用消解原理证明p∧（ㄱp∨q）∧（ㄱr）∧（ㄱp∨ㄱq∨r）是矛盾式。

证明b*b=b

问答题证明b*b=b

证明a*b=b*a

问答题证明a*b=b*a

用主析取范式判断（pq）与（（p∨q）∧（（p∧q））是否等值。

问答题用主析取范式判断ㄱ（p↔q）与（（p∨q）∧（ㄱ（p∧q））是否等值。