离散数学的用等值演算法求命题公式┐(P∨Q)→R的主析范式（用极小项表示），并求该公式的所有成真赋值？ ？(P∨Q)→R？？(？(PVQ))∨R？(PVQ)VR？PVQVR使该式为真2113，则P，Q，R中至少有一项5261为真即可，因此所4102有成真赋值列举1653如下P Q R0 0 10 1 00 1 11 0 01 0 11 1 01 1 1
离散数学的用等值演算法求命题公式┐(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
命题符号化. 1，（1）P：我吃饭前完成家庭作业，Q：天不下雨，R：我们去看球赛P∧Q->；R（2）P：天气好，Q：老王来.P->；√Q2，P→(Q→R)→＾P∨(＾Q∨R)→＾P∨＾Q∨RQ→(P→R）→＾Q∨(＾P∨R)→＾Q∨＾P∨R3，求公式 的主析取范式：构造真值表；利用等价公式求4，（1）P(x)：实数，Q(x)：有理数(存在x)(P(x)→Q(x))(2)P(x)：人，Q(x)：犯错误；((存在x)(P(x)∧＾Q(x)))“存在”符号没法打，
