1.用主析取范式判断命题公式是否等价.例如:(1) G = (P∧Q)∨(ØP∧Q∧R)(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R))

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/15 04:01:17

1.用主析取范式判断命题公式是否等价.例如:(1) G = (P∧Q)∨(ØP∧Q∧R)(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R))
1.用主析取范式判断命题公式是否等价.
例如:
(1) G = (P∧Q)∨(ØP∧Q∧R)
(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R))

1.用主析取范式判断命题公式是否等价.例如:(1) G = (P∧Q)∨(ØP∧Q∧R)(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R))
由于
G = (P∧Q)∨(┐P∧Q∧R)
(P∧Q∧R)∨(P∧Q∧┐R)∨(┐P∧Q∧R)
m7∨m6∨m3,
H = (P∨(Q∧R))∧(Q∨(┐P∧R))
(P∧Q)∨((Q∧R)∧Q)∨(P∧(┐P∧R))∨((Q∧R)∧(┐P∧R))
(P∧Q)∨(Q∧R)∨0∨(┐P∧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)
m7∨m6∨m3
得知
G H

1.用主析取范式判断命题公式是否等价.例如:(1) G = (P∧Q)∨(ØP∧Q∧R)(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R)) 《离散数学》试题1一、判断题(每题1分,1.在命运题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的.( )2.011是公式 的成真赋值 ( )3.( )4.( )5.三种重要的二元关系是等价关系 求命题公式(P->Q)R主合取范式.急 求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦 求命题公式(P∧Q)∨R的主析取范式和主合取范式 定理3:任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的.证明 设A¢是A的析取范式,即AÛA¢.若A¢的某个简单合取式Ai中不含命题变元P及其否定ØP, 试判断命题A:三角形内角和为180度与命题B:三角形外角和为360度是否为等价命题,并说明理由 关于等价命题.试判断命题A:三角形任意两边之和大于第三边与命题B:三角形任意两边之差小于第三边是否为等价命题,并说明理由. 判断命题是否正确, 求问:判断下列各式是否前束范式 离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分 利用真值表,求命题公式P∧Q∨R的主范式 求命题公式 ((p∨q)→r)→p 的主析取范式 数据库范式判断 主析取范式主合取范式成真赋值成假赋值(pv(q∧r))→(p∧qVr)求此命题公式的主析取范式,主合取范式,成真赋值,成假赋值.等值演算步骤的那种 若两个命题等价,它们的逆风命题是否等价,若等价,请证明之.逆否命题,不是逆风命题“ 判断下列命题是否正确 命题公式A与B是等价的含义