离散数学前束范式例题

易筠沾944试求下列命题公式的取范式与取范式或.()(¬P∨¬Q)→(P↔¬Q)()¬...
瞿尹荆18280892094 ______[答案] 离散数学期末复习要点与重点 第1章 集合及其运算 复习要点 1.理解集合、元素、集合的包含、子集、相等,以及全集、空集和幂集等概念,熟练掌握集合的表示方法.具有确定的,可以区分的若干事物的全体称为集合,其中的事物叫元素..集合的表示...

易筠沾944离散数学题:已知公式A含3个命题变项p,q,r,并且它的成真赋值为000.011.110.求A的主合取范式,主析取范式 -
瞿尹荆18280892094 ______[答案] 把成真赋值对应的三位二进制数转换为十进制数是0,3,6,所以主析取范式是m0∨m3∨m6.主合取范式是M1∧M2∧M4∧M5∧M7.

易筠沾944离散数学 2求下面公式的析取范式,合取范式,主合范式 公式:P∨(¬P→(Q∨(¬P→R)离散数学 2求下面公式的析取范式,合取范式,主合范式 公式:P∨... -
瞿尹荆18280892094 ______[答案] P∨(¬P→(Q∨(¬P→R))) ⇔P∨(P∨(Q∨(¬P→R))) 变成 合取析取 ⇔P∨(P∨(Q∨(P∨R))) 变成 合取析取 ⇔P∨P∨(Q∨(P∨R)) 结合律 ⇔P∨Q∨R 结合律 等幂律 得到主合取范式,再检查遗漏的极大项 ⇔¬(P∨Q∨¬R)∨¬(P∨¬Q∨R)∨¬(P∨...

易筠沾944离散数学数理逻辑题已知命题公式A中含3个命题变项p,q,r,并知道它的成真赋值为001,010,111,求A的主析取范式和主合取范式,及A对应的真值函数.P90A... -
瞿尹荆18280892094 ______[答案] 由于公式含3个命题变项,并且已知有3个成真赋值001,010,111,因而有5个 成假赋值000,011,100,101,110. 成真赋值对应的极小项分别为m1,m2,m7,故主析取范式为A m1∨m2∨m7 成假赋值对应的极大项分别为M0,M3,M4,M5,M6,故主合取范式为...

易筠沾944离散数学题目求主合取范式和主析取范式求 ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P))的主合取范式和主析取范式 -
瞿尹荆18280892094 ______[答案] 利用等价命题公式,一步一步就写出来了: ┐((P→Q)∧(R→P))∨┐((R→┐Q)→┐P) ┐((┐P∨Q)∧(┐R∨P))∨┐(┐(┐R∨┐Q)∨┐P) (┐(┐P∨Q)∨┐(┐R∨P))∨(┐┐(┐R∨┐Q)∧┐┐P) (P∧┐Q)∨(R∧┐P)∨((...

易筠沾944离散数学:┐(┐R→P)∧P∧Q如何求主合取范式与主析取范式,求步骤 -
瞿尹荆18280892094 ______ 答:┐(┐R→P)∧P∧Q =┐(┐┐RVP)∧P∧Q =┐R∧┐P∧P∧Q =0 所以,原式的主析取范式为 0 主合取范式为:(┐PV┐QV┐R)∧ (┐PV┐QVR)∧(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QV┐R)∧(PV┐QVR)∧(PVQV┐R)∧(PVQVR)

易筠沾944求离散数学(P→ Q)→ R主合取范式和主析取范式 -
瞿尹荆18280892094 ______[答案] 主析取:m1vm3vm4vm5vm7 主合取:M0^M2^M6 可以用真值表法或是等值演算法.

易筠沾944离散数学 简单逻辑题
瞿尹荆18280892094 ______ 归谬法,也就是反证法 1 (否定)任意x(F(x)→G(x)) 结论否定代入 2 存在x(F(x)∧否G(x)) 1置换 3 F(c)∧否G(c) 2EI 4 F(c) 3化简 5 否G(c) 3化简 6 存在xF(x) 4EG 7 存在x(否G(x)) 5EG 8 否(任意x(G(x))) 7置换 9 存在xF(x) ∧ 否(任意x(G(x)) 78合并 10 否(否(存在xF(x))∨任意xG(x)) 9置换 11 否(存在xF(x)→任意xG(x)) 10置换 最后的结论与前提相反