问答题
将公式化成与之等值且仅含{￢，∧，∨}中联结词的公式：￢（p→（q（q∧r）））。
问答题将公式化成与之等值且仅含{￢，∧，∨}中联结词的公式：￢（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。
