逻辑等价理解

最新推荐文章于 2023-03-09 01:04:13 发布
最新推荐文章于 2023-03-09 01:04:13 发布
阅读量2.3k 收藏 7
点赞数 2
分类专栏： 离散数学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/YQXLLWY/article/details/107366760
版权
本文详细探讨了离散数学中的逻辑等价概念，包括分配律、德摩根定律和吸收律。通过实例解释了分配律如何应用于解决实际问题，如婚姻和参军场景，帮助读者更好地理解逻辑操作的本质。德摩根定律和吸收律的阐述同样配以直观的图像辅助理解。
摘要由CSDN通过智能技术生成

离散数学

1 逻辑等价理解

1.1 分配律

1.1.1 分配律1

假设你要找一个女孩子结婚，但是父母亲死活不同意，那么为了你能结婚，你必须说动你爸妈，或者你离家出走。

  • p：你离家出走
  • q：父亲同意
  • r：母亲同期

左侧：要么你离家出走，要么你爸妈都同意

右侧：你拿离家出走跟你爸沟通，你再拿离家出走跟你妈沟通

这里的情况就很简单了，为了追求真，我们要么离家出走，要么父母亲都同意。

1.1.2 分配律2

在这里插入图片描述

  • p：成年
  • q：父亲签字
  • r：母亲签字

左侧：你成年，并且有父亲或者母亲的签字，才能参军

右侧：你成年，并且有父亲的签字。或者。你成年，并且有母亲的签字。这两项满足一项，你就可以去参军了。

这个是不是理解起来更加简单。

<

最低0.47元/天 解锁文章
trouble-i-am-in
关注
专栏目录
【非iOS】逻辑等价是什么？求有爱的大大帮忙举例。
aihuo4431的博客
12-29 264
我知道和iOS关联不大，但是我不知道发到哪个版块。 事情是这样的，最近在使用按键精灵写脚本。 发现Eqv这个运算符，叫做“逻辑等价”。 逻辑等价？实质等价？ 我从维基百科上面查了一下，完全晕菜了，根本看不懂。 求论坛有爱的大神帮忙点拨一下。 谢谢了，谢谢了。
逻辑等价式
weixin_30553065的博客
02-14 752
转载： http://star.aust.edu.cn/~xjfang/AiPrinciple/logical.html 逻辑等价式 ～～A<=>A 双重否定 A∧A<=>A 等幂律 A∨A<=>A A∧B<=>B∧A 交换律 A∨B<=>B∨A (A∧B)∧C&lt...
基础逻辑等价式的证明
雁庸良的博客
06-24 9533
本文所证逻辑等价式来源于离散数学及其应用（原书第7版）,基于这些逻辑等价式,我们可以根据需要造构出自己易于操作的复合命题,是数学证明的逻辑基础. 没有难度,但非常重要,需要记忆及熟练运用. 文章最后有自己小结的记忆方法. 1.基于合取∧\land∧,析取∨\lor∨,否定¬\lnot¬运算符的逻辑等价式 1.1 恒等律 p∧\land∧T≡\equiv≡p p∨\lor∨F≡\equiv≡p ...
逻辑表达式等价判断
HarvestWu的博客
09-19 7154
题目要求： 给出两个c语言中的逻辑表达式，判断两个表达式是否完全一样(对变量所有的取值，两个表达式的值一样),表达式中的变量可由字母a-z中的任何一个表示，运算符由'|'(或),'&'(与),'^'(异或)，'~'(非)组成,表达式中还可能有圆括号,各运算符的优先级跟c语言一样。 输入每两行一组，分别为两个表达式(长度不大于100)． 如果两个表达式一样，则输出Equivalent,否则输出
【离散数学】数理逻辑 第一章 命题逻辑(3) 逻辑等价与蕴含
memcpy0的博客
09-11 4503
本文属于「离散数学」系列文章之一。这一系列着重于离散数学的学习和应用。由于内容随时可能发生更新变动，欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘。此外，在本系列学习文章中，为了透彻理解数学知识，本人参考了诸多博客、教程、文档、书籍等资料。以下是本文的不完全参考目录，在后续学习中还会逐渐补充： 离散数学及其应用 第七版 Discrete Mathematics and Its Applications 7th ，作者是 Kenneth H.Rosen 离散数学 第二版，武波等编著，西安电子科技大学出.
逻辑回归和最大熵的等价性证明
06-13
尽管它们基于不同的原理（逻辑回归基于概率论，最大熵基于信息论），但最终导出的模型形式却是一致的，这为理解这两种模型提供了深刻的认识。此外，这种等价性也提示我们，不同理论框架下导出的模型在实际应用中可能...
深入理解C语言的逻辑控制
09-04
本文主要讨论了C语言中七种常见的逻辑控制语句，并探讨了如何将它们转换为使用`goto`语句的形式，以理解其底层工作原理。 首先，`goto`语句是一种强大的跳转工具，但在现代编程实践中由于可能导致不可预测的控制流...
实验02-逻辑综合与等价性检查1
08-03
实验02-逻辑综合与等价性检查1主要涉及的是数字电路设计中的一系列关键步骤，包括环境配置、逻辑综合的基本流程。实验基于SSH协议进行远程登录和操作，使用Cadence Genus 181软件进行逻辑综合。下面将详细阐述相关...
实验02-逻辑综合与等价性检查思考题1
08-08
实验02-逻辑综合与等价性检查是数字电路设计中的关键步骤，它涉及到硬件描述语言（如Verilog或VHDL）中的逻辑设计优化、功能验证和性能评估。在这个实验中，我们将关注两个主要的命令：`report_timing`、`report_...
数理逻辑 3 逻辑蕴含和逻辑等价
LI_XIAO_XING的博客
05-09 1356
啥叫逻辑蕴含： P,Q,R都要是1，这相当于限制了v的赋值，而A就是要在这种限制的赋值下保证为1.A是永真式的话当然就不怕限制了，直接就蕴含。 可以直接理解为：在前面的一集合的命题公式都为真的情况下，下面的这个命题公式为真否。 逻辑等价： 这个···和<->有什么区别吗？ 果然，没有了集合的性质就是->嘛。 常用的逻辑等价式： 注意：结合律都是用的一样的符号哦。 带入定理： ...
计算机软硬件逻辑等价性是指,南航计算机组成原理复习ppt.ppt
weixin_33722350的博客
07-31 615
南航计算机组成原理复习ppt计算机组成原理 复习 第一讲 概述 需要掌握的概念 硬件、软件、固件 计算机的层次结构 计算机软、硬件的逻辑等价性 冯·诺依曼计算机的特点 计算机的主要组成部件 计算机硬件的主要技术指标 需要掌握的方法 给定指令在主机内部的信息流程 简单指令系统设计方法 第二讲 总线 需要掌握的概念 什么是总线 总线的分类 总线判优控制的几种方式及其特点 分离式总线通讯基本原理 需要掌...
【离散数学】第一章：逻辑和证明-命题等价式
最新发布
m0_74195626的博客
03-09 1789
逻辑等价式 条件命题和双条件命题的逻辑等价式 德·摩根律 可满足性 析取范式（基本积之和），合取范式（基本和之积） 合式公式\等价转换成主析（合）取范式
命题逻辑的基础等价公式
ResumeProject的博客
01-24 3882
1.对合律 ¬¬P⇔P \neg\neg P\Leftrightarrow P¬¬P⇔P 2.幂等律 P∨P⇔P      P∧P⇔P P\vee P\Leftrightarrow P\;\;\;P\wedge P\Leftrightarrow PP∨P⇔PP∧P⇔P 3.交换律 P∨Q⇔Q∨P      P∧Q⇔Q∧P P\vee Q\Leftrightarrow Q\vee P\;\;\;P\wedge Q\Leftrightarrow Q\wedge PP∨Q⇔Q∨PP∧Q⇔Q∧P 4.结合律 P∨(
常用逻辑等价式和逻辑蕴涵式（附证明）
热门推荐
CommanderZero的博客
02-07 2万+
常用逻辑恒等式（附真值表）德.摩根律真值表设定内容居中、居左、居右KaTeX数学公式 德.摩根律 ¬(p∨q)⇔¬p∧¬q \lnot(p \lor q) \Leftrightarrow \lnot p \land \lnot q ¬(p∨q)⇔¬p∧¬q ¬(p∧q)⇔¬p∨¬q \lnot(p \land q) \Leftrightarrow \lnot p \lor \lnot q ¬(p∧...
【数理逻辑三】命题逻辑及形式系统【下】
smilejiasmile的博客
06-15 9278
命题逻辑及形式系统【下】 在上一篇文章中我们已经讨论了由原子命题和逻辑联结词构成的命题公式。下面我们来探讨一下命题公式的分类，以及其中较为重要的重言式。 一、重言式 命题公式可以从真值的角度进行分类： 重言式，（永真式）tautology：命题变元的所有赋值都是命题公式的成真赋值矛盾式（永假式、不可满足式）contradiction：命题变元的所有赋值都是命题公式的成假赋值可满足式(contingency)：命题公式至少有一个成真赋值 其中，需要分清的概念是：永真式都是可满足式。矛盾式都不是可.
逻辑等价判断
StriveZs'Blog
05-28 8183
写一段程序，测试p和q两个逻辑表达式是否逻辑相等  用真值表判断  输入的逻辑表达式为命题逻辑表达式  输入的逻辑表达式可以为复合命题，可包含四种联接词：与，或，非，条件编写代码，接收两个命题逻辑表达式。 2 分别为每种联接词实现其真值运算。 3．从左到右计算逻辑表达式，生成真值表，判断两个逻辑表达式是否等价有一部分是参考别人的思路include include inc
命题逻辑基本等价公式
getmsg的专栏
04-06 1万+
基本等价公式：设P、Q、R是任意公式，则：   1.      (P←→Q) ＝ (P→Q)∧(Q→R) 2.      P→Q ＝ ┐P∨Q   其他： (P→Q)∧(P→┐Q) ＝ ┐P ；              (P←→Q) ＝ (┐P←→┐Q)   幂等律： P∨P ＝ P ；P∧P ＝ P   交换律： P∨Q ＝ Q∨P ； P∧Q ＝ Q∧P   结合律：
数理逻辑蕴含_16-证明逻辑等价式和逻辑蕴涵式
weixin_35980267的博客
02-12 4639
[音乐] 嗨，你好！ 下面我们来看看如何证明一些逻辑等价式和逻辑蕴涵式。 那个证明的方法呢，归纳起来有这么三种。 第一种呢， 很直接，很简单。 就是因为逻辑等价式和逻辑蕴涵式它都是某种程度上的 永真式，对吧，因为逻辑等价式呢， 是说A和B，如果要逻辑等价的话，那么它实际上就是说， A和B的双向蕴涵是一个永真式，那么 如果是A逻辑蕴涵B的话，那么也就是意味着 A蕴含B这么一个蕴含式呢是一...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值