主析取范式和主合取范式
主析取范式
小项
是n个命题变元的合取式,其中每个变元必出现且仅出现一次(以本身或否定形式),称这个合取式为小项
例:含有两个变元的小项
P ^ Q , P ^ !Q , !P ^ Q , !P ^ !Q
若有n个变元,则有2的n次方个小项
小项编码:
-含有n个变元的小项的角标用n位二进制码表示。
-变元按字母次序排列
-用1表示变元本身,0表示变元的否定形式。
例:m00 <=> !P^!Q , m01 <=> !P ^ Q
m101 <=> P!QR m100 <=> P!Q!R
当列出小项的真值表的时候就会发现,只有真值与小项的下标相同时,小项才为真,其余都为假。
全体小项的析取式位永真式,记为:
Σmi <=> m0 V m1 V… Vm2n-1(2的n次方减一) <=>T
**主析取范式定义:**若一个命题公式的析取范式为A1 V A2 V … V An(n>=1),其中每个Ai(i=1,2,…n)都是小项,则称之为该命题公式的主析取范式
主析取范式求法:
- 先写出给定公式的析取范式 A1 V A2 V … V An
- 为使每个Ai都变成小项,对缺少变元的项Ai要补全变元,比如缺变元R,就用“^(R V !R)”的形式补R。
- 用分配律等公式加以整理
主合取范式
**大项:**是n个命题变元的析取式,其中每个变元必出现且仅出现一次(以本身或否定形式),称该析取式为大项。
大项的编码:大项的编码真好与小项相反
用0表示变元本身,1表示变元的否定形式
如:M00 <=>P V Q M01 <=> P V !Q
M101 <=> !P V Q V !R
每个大项当且仅当其赋值与编码相同时,其真值为F,其余都为T,全体大项的合取式必为永假式。
主合取范式定义:若一个命题公式的析取范式为A1 ^ A2 ^ … ^ An(n>=1),其中每个Ai(i=1,2,…n)都是大项,则称之为该命题公式的主合取范式
主合取范式求法:
- 先写出给定公式的合取范式 A1 ^ A2 ^ … ^ An
- 为使每个Ai都变成大项,对缺少变元的项Ai要补全变元,比如缺变元R,就用“v(R ^ !R)”的形式补R。
- 用分配律等公式加以整理
在真值表中,一个使公式的真值为F的赋值所对应的大项的析取,即为此公式的主合取范式。
主析取范式和主合取范式相关推荐
- 求主析取范式与主合取范式
定义设A为恰含命题变元p1,-,pn的公式.公式A称为A的主析(合)取范式(majordisjunctive(conjunctive)normal form),如果A是A的析(合)取范式,并且其每个合 ...
- 离散数学范式c语言实验报告,离散数学实验报告-利用真值表法求主析取范式及主合取范式的实现...
1.实 验 报 告( / 学年 第 一 学期)课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专 业 实 验 报 告实验名称利 ...
- matlab析取范式求主析取范式用电脑,(p∧q)∨r 求其主析取范式 再用主析取范式求主合取范式...
共回答了21个问题采纳率:90.5% 主合取范式:若干个极大项的合取. 主析取范式:若干个极小项的析取. 例, 求公式(p∧q)∨r的主析取范式及主合取范式. 主析取范式: (p∧q)∨r (p∧q∧ ...
- 离散数学 求命题公式的主析取范式和主合取范式
Description 输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式. Input 命题公式的合式公式 Output 公式的主析取范式和主合取范式,输出形式为:&qu ...
- 【离散数学】Java语言实现利用真值表法求主析取范式和主合取范式
C++版本的看这个链接: [离散数学]C++语言实现利用真值表法求主析取范式和主合取范式_zhtstar的博客-CSDN博客https://blog.csdn.net/weixin_56319483/ ...
- 离散实验 真值表求主析取范式、主合取范式的计算机语言实现
离散数学 实验一 标题:真值表求主析取范式.主合取范式的计算机语言实现 其他课程的一些其他实验源码也可在本人github主页找到哦 链接如下:https://github.com/Schiz0mani ...
- 【离散数学】C++语言实现利用真值表法求主析取范式和主合取范式
Java版本的如下链接所示: Java语言实现利用真值表法求主析取范式和主合取范式_zhtstar的博客-CSDN博客https://blog.csdn.net/weixin_56319483/art ...
- 使用C++求命题公式的主析取范式与主合取范式
最近的离散数学的一个上机作业,要求任意输入一个命题公式,求它的真值表与主析取范式和主合取范式.其中的命题连接词都是用特殊符号来表示(怕麻烦--),并最终选择使用C++来编写程序. 先贴代码: // 五 ...
- 离散数学实践一编程判断主析取范式和主合取范式【java实现】
文章目录 实验要求 二 编程思路分析 困难所在 二 完整代码 实验要求 实验类型:设计性 实验目的 通过算法设计并编程实现,使学生掌握利用计算机语言判别合式公式主范式的基本方法. 实验内容 给定合式公 ...
- 用c语言编程求主析取范式,求主析取范式.cpp · wangzhankun/C-Programming-Learn - Gitee.com...
/* 实现功能:输入命题公式的合式公式,求出公式的真值表,并输出该公式的主合取范式和主析取范式. 输入:命题公式的合式公式 输出:公式的主析取范式和主析取范式,输出形式为:" mi ∨ mj ...
最新文章
- android 校讯通 源码,校讯通Android版使用说明.doc
- mariadb mysql同步_mysql/mariadb 主从复制实现数据库同步
- 面向对象的JavaScript-009-闭包
- Exchange Server2013 系列九:常规配置
- hdu5348 MZL's endless loop(欧拉回路)
- IT服务台的进化(2)--企业外部服务台的优缺点
- JSP 热部署 源码解析
- C++程序中调用其他exe可执行文件方法
- 迷你图标集大集合:5000+ 30套免费的图标
- linux中如何查看某个端口是否被占用,LINUX中如何查看某个端口是否被占用
- Combating Adversarial Misspellings with Robust Word Recognition
- 高性能MySQL-3rd-(五)创建高性能索引
- C++/CLI的简单介绍。from维基百科们,http://zh.wikipedia.org/zh-cn/C%2B%2B/CLI
- c语言词法分析程序实验报告,词法分析器实验报告
- zblog小程序模板-青春小程序模板
- U盘winpe启动盘的制作
- 小白怎么学习云计算?2020最新云计算学习路线图
- GPU在高性能仿真计算中的应用
- 动态表格案例 JavaScript
- 用腾讯即时通讯IM和实时音视频实现完整语音通话功能
热门文章
- 计算机修理工具包价格,电脑修复工具包#200多个联想工程师专用电脑修复小工具打包...
- intel无线网卡linux驱动安装,Ubuntu应用---安装 Intel Wireless-AC 9462 无线网卡驱动(无法连接wifi,完美解决)...
- 计算机方面的英语学术期刊,近几年计算机专业英文参考文献 计算机专业英文核心期刊参考文献有哪些...
- 特殊字符图案大全c语言,特殊符号大全
- 计算机指数函数符号,数学公式及符号大全
- 嵌入式软件开发必备知识体系
- 谈如何整定PID参数
- 视频接口的种类及数据类型
- 文档数据库的学习报告
- C++ STL 思维导图,脑图,树形图。