求解，如何判断两个逻辑表达式从数学上讲是等效的？
时间：2010-08-24
来源：互联网
如“(a||b)&&(c||d)”和“(c||d)&&(b||a)”这两个逻辑表达式，从数学上讲是等效的，也就是顺序可以颠倒，等效的表达式有好几种。
这是简单的情况，实际情况更复杂，有更多的复合表达式。其实再复杂，问题都可以归结于“a||b”和“b||a”。
现在程序里是把他们当作字符串处理，求一算法能判断他们等效。
这是简单的情况，实际情况更复杂，有更多的复合表达式。其实再复杂，问题都可以归结于“a||b”和“b||a”。
现在程序里是把他们当作字符串处理，求一算法能判断他们等效。
作者: privateWorld 发布时间: 2010-08-24
首先做词法解析，然后做语法分析，构造语法树，
然后按照统一的规则做变换，最后比较变换完的语法树是不是全等。
然后按照统一的规则做变换，最后比较变换完的语法树是不是全等。
作者: flw 发布时间: 2010-08-24
难道想写个词法分析器？
作者: tempname2 发布时间: 2010-08-24
哇，原来还要做语法分析。。。。。
刚刚还在另一帖提到flw来着。。。。。
刚刚还在另一帖提到flw来着。。。。。
作者: tempname2 发布时间: 2010-08-24
弄个真值表对比下
作者: smalloc 发布时间: 2010-08-24
相关阅读 更多
热门阅读
-
office 2019专业增强版最新2021版激活秘钥/序列号/激活码推荐 附激活工具
阅读：74
-
如何安装mysql8.0
阅读：31
-
Word快速设置标题样式步骤详解
阅读：28
-
20+道必知必会的Vue面试题（附答案解析）
阅读：37
-
HTML如何制作表单
阅读：22
-
百词斩可以改天数吗？当然可以，4个步骤轻松修改天数！
阅读：31
-
ET文件格式和XLS格式文件之间如何转化？
阅读：24
-
react和vue的区别及优缺点是什么
阅读：121
-
支付宝人脸识别如何关闭?
阅读：21
-
腾讯微云怎么修改照片或视频备份路径?
阅读：28
