共用题干题S={a，b，c}，*是S上的二元运算，且∀x，y∈S，x*y=x。 证明：S关于*运算构成半群。

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

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

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

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

求公式（（p∨q）∧（p→q））（q→p）的主合取范式。

问答题求公式（（p∨q）∧（p→q））↔（q→p）的主合取范式。