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

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

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