共用题干题S={a，b，c}，*是S上的二元运算，且∀x，y∈S，x*y=x。 试用过增加最少的元素使得S扩张成一个独异点。

证明：S关于*运算构成半群。

问答题证明：S关于*运算构成半群。

将公式p→（q→r）化成与之等值且仅含{，∧}中联结词的公式为（）。

填空题将公式p→（q→r）化成与之等值且仅含{ㄱ，∧}中联结词的公式为（）。

用真值表求公式（p→q）r的主析取范式为（）。

填空题用真值表求公式（p→q）↔r的主析取范式为（）。