问答题 试用过增加最少的元素使得S扩张成一个独异点。

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

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