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