如何按步骤求命题公式的主合取范式与主析取范式，我们知道在离散数学中，有主合取范式与主析取范式的概念。本文分享什么是主合取范式与主析取范式，以及如何按步骤求命题。
明天就要上交了，急用， 1、用等值演算法证明（（P→Q）∧P）→Q为真（（P→Q）∧P）→Q=>；（。P∨Q）∧P）→Q=>；。P∧P∨Q∧P）→Q=>；（F∨Q∧P）→Q=>；。（Q∧P）∨Q=>；。Q∨。P∨Q=>；。Q∨Q∨。P=>；T∨。P=>；T2、推理证明前提R→。Q，R.
离散数学-用等值演算法求下列命题公式的主析取范式，并由此指出该公式的类型 如下图所示，点击放大。其中用到的等值式在书上都有，若有疑问，请追问。向左转|向右转
离散数学的用等值演算法求命题公式┐(P∨Q)→R的主析范式（用极小项表示），并求该公式的所有成真赋值？ ？(P∨Q)→R？？(？(PVQ))∨R？(PVQ)VR？PVQVR使该式为真，则P，Q，R中至少有一项为真即可，因此所有成真赋值列举如下P Q R0 0 10 1 00 1 11 0 01 0 11 1 01 1 1
将下列命题符号化，并讨论其真值． P→Q．其中，P：今天是1号，Q：明天是2号． ；nbsp；在这里，P的真值未知，但若P为真，则Q也为真，且P为假时，Q也为假，因而P→Q中不会出现前件为真、后件为假的情况，。
1 请使用真值表证明：命题公式 ？p∧(p→？q)∨p为永真式． 1真值表p q 命题？p∧(p→？q)∨pT T TT F TF F TF T T另外？p∧(p→？q)∨p ？ ？p∧(？p∨？q)∨p ？(？p∧？p)∨(？p∧？q)∨p ？ ？p∨(？.
