2 qq 33339144 qq_33339144 于 2016.03.01 22:32 提问

离散数学等价式证明题,,,,求急!!!!!!!!

第8题第一个
图片

1个回答

caozhy
caozhy   Ds   Rxr 2016.03.01 22:46
 q->p
!(q & !p)
!q | p

p->(q->p)
!p | !q | p
!q

p->q
!p | q

!(p->(p->q))
(!p | !p | q)
!q

左右都是!q
Csdn user default icon
上传中...
上传图片
插入图片
准确详细的回答,更有利于被提问者采纳,从而获得C币。复制、灌水、广告等回答会被删除,是时候展现真正的技术了!
其他相关推荐
【离散数学】逻辑与证明
离散数学是计算机专业很重要的基础课程,是后续数据结构,算法的基础。在学习数据结构的时候,接触到图论算法的时候,遇到了困难。于是决定回来学习离散数学。离散数学(课本)包括了数理逻辑、集合论、计数技术、关系、树、图和布尔代数等。每个章节都是数学与算法的基础,都接触过,但都没有太过深入。唯一一节算是深入了一点的应该就是布尔代数了,这在学习数字电路时是详细学习过的。所以我计划花费大概半个月时间看...
《离散数学》加分题:已知命题p和q的真值,求他们的合取、析取、异或……
已知命题p和q的真值,求他们的合取、析取、异或、条件语句和双条件语句的真值。 从命令行输入p、q的真值,计算并输出出组合的真值
离散数学 02.03 命题公式的等价关系和蕴涵关系
命题公式的等价关系和蕴涵关系
离散数学简单析取合取程序连接词的运算
1. 从键盘输入两个命题变元P和Q的真值,求它们的合取、析取、条件和双条件的真值。(A) 2. 求任意一个命题公式的真值表(B,并根据真值表求主范式(C))
范式 合取 析取 蕴含 等价
范式 合取 析取 蕴含 等价 1. 消除等价式 2. 消除蕴含式 3. 化简否定式 4. 去掉多余的括号 5. 化简成为合取范式 6. 判断是否有互补对,是否为永真式
离散数学 等价类 等价关系 划分
等价关系: 如果关系R在集合A上是自反的,对称的和可传递的,就称关系R是集合A上的等价关系 例如:模m同余关系便是整数集上的等价关系 等价类:设R是集合A上的等价关系,与A中的一个元素a有关系的所有元素的集合叫做a的等价类 A的关于R的等价类记作[a]R 与元素a有关系的意思,即对于元素a,凡是满足aRb的元素b,都称之为有关系 例如:对于模4同余关系 【0】={
离散数学-5 一阶逻辑等值演算与推理
定义5.1 设A, B是两个谓词公式, 如果AB是永真式, 则称A与B等值, 记作AB, 并称AB是等值式 基本等值式 第一组 命题逻辑中16组基本等值式的代换实例以及推理定律的代换实例 第二组 (1) 消去量词等值式 设D ={a1, a2, … , an} ① x A(x) A(a1)A(a2
c语言离散数学程序设计,求真值表,析取,合取
c语言离散数学程序设计,求真值表,析取,合取 真值表,析取,合取程序设计,离散数学,C语言,小程序,报告 自己编的小程序,拿来和大家分享 希望有用,初学离散懒得算的也可以用用
离散数学中输出律的证明:(P∧Q→R)恒等于(P→(Q→R))
证明(P∧Q→R)恒等于(P→(Q→R)): 因为: 蕴含式 A->B 的一条性质是:当且仅当 A 真 B 假时,(A->B) 为假 ①:所以: (P∧Q→R)可以表述为:当且仅当 (P∧Q) 真R 假时,(P∧Q→R)为假 //(P∧Q) 真等价于 P 真 且 Q 真 所以:当且仅当(P真,Q真,R假)时,(P∧Q→R)为假 ②:所以:(P→(Q→R))可以表述
离散数学输入表达式打印真值表和主析/合取范式
这是我们学校离散数学的作业题目,我用JAVA写的,不废话,上代码:package lisanExperiment; import java.io.BufferedReader; import java.io.InputStreamReader; public class li { //用户输入的表达式(以字符串形式输入) StringBuilder inputStr; //flag代表