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