代数范式 (~P || Q) && (P || ~Q)

糟糕！没有 JavaScript，Wolfram|Alpha 无法运行。

请启用 JavaScript。如果您不知道如何启用，请点击这里查看说明。完成后，刷新本页面即可开始使用 Wolfram|Alpha。