1.用主析取范式判断命题公式是否等价.
来源:学生作业帮 编辑:搜狗做题网作业帮 分类:数学作业 时间:2024/05/04 19:41:55
1.用主析取范式判断命题公式是否等价.
例如:
(1) G = (P∧Q)∨(ØP∧Q∧R)
(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R))
例如:
(1) G = (P∧Q)∨(ØP∧Q∧R)
(2) H = (P∨(Q∧R))∧(Q∨(ØP∧R))
![1.用主析取范式判断命题公式是否等价.](/uploads/image/z/6403893-69-3.jpg?t=1.%E7%94%A8%E4%B8%BB%E6%9E%90%E5%8F%96%E8%8C%83%E5%BC%8F%E5%88%A4%E6%96%AD%E5%91%BD%E9%A2%98%E5%85%AC%E5%BC%8F%E6%98%AF%E5%90%A6%E7%AD%89%E4%BB%B7.)
由于
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
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.用主析取范式判断命题公式是否等价.
定理3:任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的.
命题公式(PvQ)→R的析取范式是 ( )
求命题公式(P->Q)R主合取范式.急
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求命题公式(P∧Q)∨R的主析取范式和主合取范式
关于等价命题.试判断命题A:"三角形任意两边之和大于第三边"与命题B:"三角形任意两边之差小于第三边"是否为等价命题,并
《离散数学》试题1一、判断题(每题1分,1.在命运题逻辑中,任何命题公式的主合取范式都是存在的,并且是惟一的.( )2.
求问:判断下列各式是否前束范式
用C或C++编写程序,要求:输入命题公式,给出它的主合取范式和主析取范式.
离散数学判断是否为命题
[离散数学]推导如下命题公式是等价的.