计算题 在整个环中定义*和◇两个运算，∀a，b∈Z有a*b=a+b-1，a◇b=a+b-ab，证明＜Z，*，◇＞构成环。

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

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

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

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

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

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