问答题
设V=＜S，*＞是可交换半群，若a，b是V中的幂等元，证明：a*b也是V中的幂等元。
问答题 用消解原理证明p∧（p∨q）∧（r）∧（p∨q∨r）是矛盾式。
问答题 证明b*b=b
问答题 证明a*b=b*a
