求主析取范式与主合取范式
定义设A为恰含命题变元p1,…,pn的公式。公式A称为A的主析(合)取范式(majordisjunctive(conjunctive)normal form),如果A是A的析(合)取范式,并且其每个合(析)取子句中p1,…,pn均恰出现一次。
据定义,公式┐p→┐(p→q)的主析取范式是(p∧q)∨(p∧┐q),而其主合取范式则应是(p∨q)∧(p∨┐q)。
例 求公式(p∧q)∨r的主析取范式及主合取范式。
(p∧q)∨r
(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r)
(p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)
(p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)
此即所求的主析取范式。另外
(p∧q)∨r
(p∨r)∧(q∨r)
(p∨(q∧┐q)∨r)∧((p∧┐p)∨q∨r)
(p∨q∨r)∧(p∨┐q∨r)∧(p∨q∨r)∧(┐p∨q∨r)
(p∨q∨r)∧(p∨┐q∨r)∧(┐p∨q∨r)
最后一式即为所求的主合取范式。
求主析取范式与主合取范式相关推荐
- 离散数学范式c语言实验报告,离散数学实验报告-利用真值表法求主析取范式及主合取范式的实现...
1.实 验 报 告( / 学年 第 一 学期)课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专 业 实 验 报 告实验名称利 ...
- 离散数学 求命题公式的主析取范式和主合取范式
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++)
代码如下: #include <iostream> #include <stack> #include <string> #include <vector&g ...
- 大二(上)离散数学 主析取范式与主合取范式
#include <stdio.h> #include <stdlib.h> #include <string.h> #include <conio.h> ...
最新文章
- Bioinformatics|癌症细胞系的用药反应预测
- Mac搭建本地svn服务器,并用Cornerstone连接服务器
- 【一周入门MySQL—3】多表查询、子查询、常用函数
- 前端工业物联网开发(Electron + Typescript + Vue)
- linux 服务端口查询,linux 怎么查看服务和端口
- Java 写时复制容器 —— CopyOnWriteArrayList
- 中国股市暴涨暴跌全记录
- 截断正态分布(Truncated normal distribution)nn.init.trunc_normal_
- matlab控制树莓派3b,树莓派3B+ 手机h5网页控制GPIO
- oracle执行计划中cost cpu
- 百度网盘里的html怎么用,百度网盘怎么用?
- 什么是全栈工程师,如何成为全栈工程师
- 游戏后台之高效定时器-时间轮
- 【Web前端HTML5CSS3】02-前端开发准备
- SAP PCA利润中心会计案例教程前台操作
- 三菱mr服务器如何显示脉冲数,MR-JE-200A参数设置三菱MR-JE-200A操作手册(故障排除篇) - 广州正凌...
- 中国主流电商平台老年市场使用场景、运营要点及机会分析
- 又一里程碑,阿里首推Java技术成长笔记,业内评级“钻石级”
- 基于MATLAB2020b的J. R.S. THOM的水强制循环沸腾压降预测模型压降倍乘系数计算器
- linux下pppoe服务器,Linux下配置pppoe服务器