逻辑公式相等的自动证明

最新推荐文章于 2025-12-27 16:49:17 发布
最新推荐文章于 2025-12-27 16:49:17 发布
阅读量103 收藏
点赞数 4
CC 4.0 BY-SA版权
分类专栏： 笔记 文章标签： 算法 机器学习 人工智能
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/m0_70960708/article/details/143146289

1. 问题
有2个一阶逻辑公式G(a, b, c), H(a, b, c)，如何能够证明G == H，或者G != H
如：(A∧B) ∧ (A∨C) == B ∧ [A∨(A∧C)]

2. 常规解法
我们可以通过公式推导，将右边的公式转化为左边的
(A∧B) ∧ (A∨C)
= A∧B∧(A∨C)
= B ∧ [A∧(A∨C)]
= B ∧ [（A∧A)∨(A∧C)]
= B ∧ [A∨(A∧C)]

常规解法具有不确定性，带有尝试的味道在里面，需要人的经验和感觉，不适合计算机进行推导

3. 计算机的推导
可以遍历左右公式

了解本专栏 订阅专栏 解锁全文 超级会员免费看
逻辑表达式自动推导算法研究
Rabo_cheng的专栏
04-27 967
正在研究中，等待发表。
逻辑同或，逻辑异或，逻辑与，逻辑或
热门推荐
weixin_44575964的博客
09-25 3万+
一、逻辑异或 真⊕假=真 假⊕真=真 假⊕假=假 真⊕真=假 或者为： True ⊕ False = True False ⊕ True = True False ⊕ False = False True ⊕ True = False 二、逻辑同或 相同为一，不同为零。 三、逻辑与 1.逻辑与&& 表示逻辑与的意思，即为and。当运算符两边的表达式的结果都为true时，整个运算结果才为true，否则，只要有一方为false，则结果为false。 2.按位与& 按位运算指的是把字符
一阶逻辑等值演算
松子茶的专栏
04-22 8769
设A，B是一阶逻辑中任意两个公式，若AB是永真式，则称A与B是等值的。记做AB，称AB是等值式。谓词逻辑中关于联结词的等值式与命题逻辑中相关等值式类似。下面主要讨论关于量词的等值式。基本等值式 第一组 代换实例 由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式，因而第二章的16组等值式给出的代换实例都是一阶逻辑的等值式的模式。关于Discrete Mathematics更多讨论与交流，敬请关注本博客和新浪微博songzi_tea.
一阶谓词逻辑表示法
学习日常分享
03-22 1万+
命题 命题（proposition）：一个非真即假的陈述句。 若命题的意义为真，称它的真值为真，记为 T。例如：3<5 若命题的意义为假，称它的真值为假，记为 F。例如：太阳从西边升起 一个命题可在一种条件下为真，在另一种条件下为假。例: 1＋1＝10 命题逻辑：研究命题及命题之间关系的符号逻辑系统。P：北京是中华人民共和国的首都 命题逻辑表示法：无法把它所描述的事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。P：老李是小李的父亲。P：李白是诗人；Q：杜甫也是诗人 谓词 谓词的一.
用法查询_离散数学_必背公式
aiqq136的博客
03-18 1531
基本等价公式 设G，H，S是任何的公式，则： G∨(H∨S)＝(G∨H)∨S (结合律) G∧(H∧S)＝(G∧H)∧S G∨H＝H∨G (交换律) G∧H＝H∧G G∨G＝G (幂等律) G∧G＝G G∨(G∧H)＝ G (吸收律：符号相反，内外都有，则吸收) G∧(G∨H)＝ G G∨(H∧S)＝(G∨H)∧(G∨S) (分配律） G∧(H∨S)＝(G∧H...
逻辑等价判断
StriveZs'Blog
05-28 8639
写一段程序，测试p和q两个逻辑表达式是否逻辑相等  用真值表判断  输入的逻辑表达式为命题逻辑表达式  输入的逻辑表达式可以为复合命题，可包含四种联接词：与，或，非，条件编写代码，接收两个命题逻辑表达式。 2 分别为每种联接词实现其真值运算。 3．从左到右计算逻辑表达式，生成真值表，判断两个逻辑表达式是否等价有一部分是参考别人的思路include include inc
数电常用逻辑公式 及其证明
koala_cola的博客
06-23 1万+
【数字电子技术基础】逻辑代数基本运算公式证明
qq_42752207的博客
01-22 7367
对《数字电子技术》第一章第二节的部分公式进行了推理证明
逻辑代数常用公式及其推导
CLL_caicai的博客
07-27 2万+
一、基本公式 1、变量与常量运算规则： 0*A = 0 0+A = A 1*A = A 1+A = 1 2、重叠率： A*A = A A+A = A 3、互补率： A*A' = 0 A+A' = 1 4、交换率、结合律 、以及分配律 A*B = B*A A+B = B+A A*(B*C) = (A*B)*C A+(B+C) = (A+B)+C A*(B+C) = A*B+A*C A+B*C = (A+B)*(A+C) 5、反演律
c++四则运算计算器 面向对象 递归 压栈 带括号
likuiangel的博客
04-22 752
c++带括号计算器源码
PageRank 算法：互联网的“人气投票”
core815的专栏
12-26 863
PageRank 算法：互联网的“人气投票”
【AI称重算法落地指南】实施步骤、多算法方案与避坑手册
最新发布
昔时扬尘处
12-27 18
AI称重算法的落地核心是“硬件精准采样+数据高质量标注+轻量化模型适配”，结合STM32G4的算力优势与NanoEdge AI Studio的低代码开发能力，可快速实现100克级精度的称重方案。在算法选型上，静态场景优先DNN（资源占用低、精度高），动态/噪声场景优先CNN（抗干扰强），时序依赖场景优先RNN（快速响应）。实际应用中需重点解决数据分布、噪声干扰、硬件适配三大核心问题，通过样本扩充、软硬件协同优化、现场自学习等手段，确保方案的可靠性与量产适配性。
TDCA 算法在 SSVEP-BCI 中的时间戳技术要求与工程实现
m0_63827302的博客
12-26 556
在基于稳态视觉诱发电位（Steady-State Visual Evoked Potential, SSVEP）的脑机接口（Brain-Computer Interface, BCI）系统中，任务驱动成分分析（Task-Driven Component Analysis, TDCA）作为核心的有监督时空特征学习算法，其性能高度依赖于脑电信号（Electroencephalogram, EEG）与视觉刺激事件的时序一致性 —— 而时间戳正是保障这一一致性的关键技术支撑。
Q-learning 算法 —— 无模型（model-free）强化学习
一杯水果茶！足矣~
12-25 1167
从已知模型到 Model-free 的强化学习转变：Q-Learning 算法，通过详细示例来讲解，理解 Q-table 的更新和贪婪策略
数组的初始化与使用
WQlovematch的博客
12-23 397
摘要：本文介绍了C语言数组的基本概念和使用方法。数组是存储相同类型元素的连续内存结构，通过索引访问元素。文章详细说明了数组的声明、初始化（包括完全和部分初始化）、多维数组的定义和访问方式。同时讲解了基本数据类型（int、char、float、double）的特性及存储空间。通过示例代码演示了数组遍历、数据类型大小检测和简单图形绘制。最后提出了数组逆序输出的课后练习，强调数组越界访问会导致未定义行为。
day124—二分查找—最小化数组中的最大值（LeetCode-2439）
the_dry的博客
12-24 354
摘要：给定一个非负整数数组，通过操作（将元素i减1并使其左侧元素加1）调整数组，目标是使调整后的数组最大值最小化。解决方案采用二分查找：猜测最大值并用贪心算法验证。从右向左遍历数组，将超出限制的值向左传递，最后检查首元素是否满足限制。时间复杂度为O(nlogM)，其中M是数组最大值。该方法利用单调性和贪心策略高效找到最优解。
一阶逻辑机器证明代码实现
02-21
在一阶逻辑中，自动定理证明器能够验证给定的一组公式的有效性或可满足性。为了展示如何通过编程来实现在一阶逻辑中的机器证明过程，下面提供了一个简化版的例子，该例子基于Python编写的一个基本解析树构建以及简单...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值