计算题 设A，B为任意的命题公式，证明：￢A⇔￢B当且A⇔B。

证明：（p↓q）↓rp↓（q↓r），（p↑q）↑rp↑（q↑r）。

问答题证明：（p↓q）↓r⇔p↓（q↓r），（p↑q）↑r⇔p↑（q↑r）。

证明：p↑qq↑p，p↓qq↓p。

问答题证明：p↑q⇔q↑p，p↓q⇔q↓p。

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

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