计算CNF形式的等价公式的办法-面向计算机科学的数理逻辑第一章
计算CNF形式的等价公式的办法：
1 写出完整真值表
2 对每一个赋值为F的行构造一个文字的析取
注意：当原子在该行是真的，则否定该原子
3 由这些析取句子构造CNF形式公式，即为原公式的等价公式
为什么对任何公式Ф，这种方法都是可行的呢？
因为这样构造的公式Ф=ᴪ1 Λᴪ2 Λ...Λᴪn 是假
至少一个合取项ᴪi是假的。
ᴪi =p1 V p2 V...V pn
所有析取项pi 为假
德摩根律：┐p1 V┐ p2 V...V ┐pn ≡ ┐(p1 Λ p2 Λ...Λ pn ) 一定是真
为什么对任何公式，这种方法都是可行的呢？因为这样构造的公式是假的当且仅当至少有一个合取项是假的。但是我们得到的那些文字句法的析取一定是真的
文件下载
评论信息
其他资源
- DXPerience Universal 12.1.8 注册插件
- 二手书网络交易平台源码 v1.0.zip
- 计算机系统结构教程 张晨曦
- ms5540 keil 编程实例
- protobuf-csharp-3.2.0
- 数据结构及应用算法教程（修订版）
- 2015年气象数据完整版
- C#公交车查询系统源码
- DundasChart图表工具6.2专业破解版
- 基于ADE7757的电能表设计(图纸+PCB+代码)
- Python_验证采样定理.py
- Android手机windows桌面显示
- test_case.json
- Python算法-源码
- 友盟推送，服务端推送代码
- Java DES 加密/解密
- Devexpress13.2.6安装包 + 破解补丁
- Java Web购物车模块
- l298N英文手册
- ext-2.2.zip
- 学生选课系统软件工程报告文档
- java实现的图形界面词法分析程序
- 三次样条插值函数csape的用法
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明