问答题
用主析取范式判断（pq）与（（p∨q）∧（（p∧q））是否等值。
问答题用主析取范式判断ㄱ（p↔q）与（（p∨q）∧（ㄱ（p∧q））是否等值。
试用过增加最少的元素使得S扩张成一个独异点。
问答题试用过增加最少的元素使得S扩张成一个独异点。
证明：S关于*运算构成半群。
问答题证明：S关于*运算构成半群。
