问答题
将公式化成与之等值且仅含{￢，∧，∨}中联结词的公式：p↔（q↔r）。
问答题 将公式化成与之等值且仅含{￢，∧，∨}中联结词的公式：（p∧q）∨￢r。
问答题 将公式化成与之等值且仅含{￢，∧，∨}中联结词的公式：￢（p→（q（q∧r）））。
问答题 用主合取范式判断公式是否等值：p→（q→r）与（p→q）→r。
