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

用主合取范式判断公式是否等值：p→（q→r）与（p→q）→r。

问答题用主合取范式判断公式是否等值：p→（q→r）与（p→q）→r。

用主合取范式判断公式是否等值：p→（q→r）与￢（p∧q）∨r。

问答题用主合取范式判断公式是否等值：p→（q→r）与￢（p∧q）∨r。

用主析取范式判断公式是否等值：￢（p∧q）与￢（p∨q）。

问答题用主析取范式判断公式是否等值：￢（p∧q）与￢（p∨q）。