搜狗做题网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))
由于
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++编写程序,要求：输入命题公式,给出它的主合取范式和主析取范式.
离散数学判断是否为命题
[离散数学]推导如下命题公式是等价的.