求一离散数学解答过程及答案 设命题公式G=┐（P→Q）∨（Q∧（┐P→R）），求G的主析取范式
发布网友
发布时间：2022-04-29 20:28
我来回答
共1个回答
热心网友
时间：2023-10-08 20:49
解法一：
G=┐（P→Q）∨（Q∧（┐P→R））
=┐（┐P∨Q）∨（Q∧（P∨R））
=（P∧┐Q）∨（（Q∧P）∨（Q∧R））
=（P∧┐Q）∨（Q∧P）∨（Q∧R）
=（（P∧┐Q）∧（┐R∨R））∨（（Q∧P）∧（┐R∨R））∨（（Q∧R）∧（┐p∨p））
=（P∧┐Q∧┐R）∨（P∧┐Q∧R）∨（Q∧P∧┐R）∨（Q∧P∧R）∨（Q∧R∧┐p）
解法二：真值表法，更简单。（略）不懂就问我。
离散数学:求P∨( P→(Q∨(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）
求大神解答,谢谢了···离散数学题目,将下列命题符号化,并构造推理...
以下以A代表全称量词。设F(x):x是猫，G(x):x爱吃鱼，a:咪咪。前提：Ax(F(x)→G(x))，F(a)结论：G(a)证明：1 Ax(F(x)→G(x)) 前提引入 2 F(a)→G(a) 1UI 3 F(a) 前提引入 4 G(a) 23假言三段论
(离散数学方面的)下午要考试 跪求师傅给个答案!!!
1.支配集：给定无向图G =〈V , E〉,其中V 是大小为n 的点集, E 是边集, 那么V 的一个子集S称为支配集当且仅当对于V - S 中任何一个点v ,都有S 中的某个定点u , 使得( u , v) ∈E。独立集：设S是图G的顶点的子集，如果S中任意两个顶点不邻接，则称S是G的一个点独立集。...
高分急求高人做几道离散数学的题目,急~~~谢谢哦!!!
1.证明：P→（Q→P）<=>┐P∨（┐Q∨P）<=> P∨（┐Q∨┐P）<=>┐P→（P→ ┐Q)2.┐（∨x）（R（x）→∨（x）Q（x））∨代表全称量词的符号 好好看书，自己练练 。不要离开课本
...下述公式等值的合取范式和主合取范式(p→q)∨﹁r
主析取：m1vm3vm5vm6vm7 主合取：M0^M2^M4 用真值表或等值演算
用命题演算法证明: (g∩h)ofc gof∩hof.
x∈P(A)∩P(B) x∈P(A)∩ x∈P(B) (x包含于A)且(x包含于B) x包含于(A∩B) x∈P(A∩B).所以,P(A)∩P(B)=P(A∩B).其中的“包含于”符号难输入,自行改写吧.
1。已知图G=<V,E>如下所示,试求: 离散数学求解 1)图的邻接矩阵A; 2...
你好，答案如下所示。(1) A = 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 (2) P = 1 0 0 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 1 (3) v1与v4 v2与v5 v3单独 希望你能够详细查看。如果你有不会的，你可以提问 我有时间就会...
离散数学 前提:∀x(F(x)VG(x)) 结论:¬∀xF(x)→∃xG(x)_百度...
离散数学 构造下列推理的证明~前提∀x(F(x)∨G(x))结论┐∀xF(x)→∃G(x)这个吗？
求啊啊各位大神离散数学相助,急,帮帮小弟,在线等,真的很急
（4）¬q （2）（3）（5）p→q p规则 （6）¬p （4）（5）四、证明 若 G 不连通,则k(G)＝λ(G)＝0,故上式成立.若 G 连通,1) 证明λ(G)≤δ(G) 如果 G 是平凡图,则 λ(G)＝0≤δ(G),若G是非平凡图,则因每一结点的所有关联边必含一个边割集,故...
离散数学习题,求告知!!
⇔(¬p∧¬q)∨(p∧¬q)∨(p∧q) 德摩根定律 得到主析取范式 成真赋值 (p,q)=(0,0)(p,q)=(1,0)(p,q)=(1,1)2 ∀xF(x)∧¬∃xG(x)⇔∀xF(x) ∧∀x¬G(x)⇔∀x(F(x) ∧¬G(x))
