离散数学——（4）主析取范式，大项，主合区范式，范式的求法，真值表法，推理理论，直接证法

已于 2024-03-10 16:02:15 修改
阅读量490 收藏 10
点赞数 9
分类专栏： 离散数学 文章标签： 离散数学
于 2024-03-09 20:23:25 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/2301_79431343/article/details/136590054
版权
本文详细探讨了逻辑学中的关键概念，包括主析取范式、大项的处理、主合区范式的求法，以及真值表法和直接证法这两种推理理论的运用。
摘要由CSDN通过智能技术生成
柏箱
关注
专栏目录
【离散数学】命题逻辑
付费专栏已不再维护，请勿购买
02-09 1805
本文分享离散数学的命题逻辑相关内容
离散数学笔记
jkchen's Haven
09-12 4856
原子命题间的逻辑符号：（按照优先级） 否定﹁ 合取∧ 析取∨（相容或，排斥或） 蕴涵→ 等价↹ 蕴涵的真值：p→q，命题为假当且仅当p真q假 等价的真值：p↹q，命题为真当且仅当p与q同真或同假...
离散数学——主析取范式与主合取范式原理探究
weixin_45249529的博客
02-21 1万+
主析取范式 对任意一个命题公式来说，主析取范式与主合取范式都是唯一的。 命题变元指原子化的，P，Q命题。 极小项的定义：包含全部N个命题变元的合取式，称其为极小项，且N个命题变元中，每个变元与它的否定不能同时存在，但两者中必有一个出现且仅出现一次。 **主析取范式是令命题公式为真时，也为真的n个极小项的析取，这n个极小项的析取，与命题公式等价。**如下图： 不写P∧¬Q是因为，P∧¬Q为真值时，P为T，Q为F，对应第二行。此时命题公式为F，故不必列出。 主析取范式的原理是，选取一个命题公式，用极小项（也即
离散数学主析取范式及主合取范式
热门推荐
极目楚天空
03-28 6万+
今天总结了一下关于离散数学化简主析取范式以及主合取范式的一些方法。首先一般可能会用到 分配律:A∨(B∧C)<=>(A∨B)∧(A∨C)， A∧(B∨C)<=>(A∧B)∨(A∧C)；其次若化简式里有蕴涵符号，则可以用 蕴涵等值式 A→B<=>¬A∨B 进行化简；若求主析取范...
主析取范式与主合取范式
微笑的骷髅
06-08 3万+
主析取范式与主合取范式  定义    设A为恰含命题变元p1,…,pn的公式。公式A称为A的主析（合）取范式（majordisjunctive（conjunctive）normal form），如果A是A的析（合）取范式，并且其每个合（析）取子句中p1,…,pn均恰出现一次。据定义，例1.21中公式┐p→┐(p→q)的主析取范式是(p∧q)∨(p∧┐q)，而其主合取范式则应是(p∨
大二（上）离散数学 主析取范式与主合取范式
Albirostris
01-19 5390
#include <stdio.h> #include <stdlib.h> #include <string.h> #include <conio.h> #include <math.h> #define N 50 void panduan(int b[N], int f);//赋值函数 int tkh(char sz[N], cha...
主析取范式
09-25
简要介绍合取范式与析取范式的求取
【离散数学】第二章 命题逻辑的推理理论
m0_51105610的博客
07-17 3914
命题逻辑的推理理论之范式
离散数学- 第二章 命题逻辑的推理理论
qq_43638685的博客
12-27 3530
¬，∧，∨，→，↔ 第二章 命题逻辑的推理理论 学习目标： 1、理解简单合取式、简单析取式的概念。 命题变元及其否定统称为文字。 仅由有限个文字构成的析取式称作简单析取式。 例如：P，¬Q，P∨¬P，¬P∨Q，¬P∨¬Q∨¬R 仅由有限个文字构成的合取式称作简单合取式。 例如：P，¬Q，P∧¬P，¬P∧Q，¬P∧¬Q∧¬R 简单析取式和简单合取式有以下性质： 一个简单析取式是重言式，当且仅当它同时含某个命题变元及他的否定式。 例如：P∨¬P∨¬Q∨R ⇔ T∨¬Q∨R ⇔ T 一个简单合取式是矛盾式，
离散数学第三章（知识点总结）续
Joyce_Huuuuu的博客
08-24 1397
1.命题变元或命题变元的否定称为文字P,┓P,Q,┓Q,... 有限个文字的析取称为简单析取式或子句P∨Q∨┓R,.... P,┓P 有限个文字的合取称为简单合取式或短语┓P∧Q∧R,....P,┓P 2.范式 析取范式、合取范式仅含联结词集{┓,∧,∨},且否定联结词仅出现在命题变元之前 3.范式存在定理 命题公式的析取范式可以指出公式何时为真，而合取范式可以指出公式何时为假，从而能够替代真值表 4.极小项和极大项 极小值 极大值 极小项...
求公式的主合取范式和主析取范式
12-13
求公式的主合取范式和主析取范式 c++写的类
关于主合取与主析取范式的代码实现
01-10
关于离散数学中主合取与主析取范式的实现，主要通过c++实现
离散数学期末复习-求主范式
博客地址 www.sec0nd.top
06-09 7984
文章目录析取范式与合取范式定义简单析取式析取式简单合取式合取式析取范式合取范式范式公式A的析取范式公式A的合取范式命题公式的范式求公式A的范式的步骤求公式的范式举例极大项与极小项定义主析取范式与主合取范式主析取范式主合取范式举个例子A的主析取范式A的主合取范式定理求公式的主范式用等值演算法求公式的主范式的步骤例题主范式的用途--与真值表相同(1)求公式的成真赋值和成假赋值(2)判断公式的类型(3)判断两个公式是否等值(4) 析取范式与合取范式 定义 命题变项及其否定的总称 简单析取式 有限个文字构成的析取式
主析取范式主合取范式
qq_51362662的博客
10-11 3360
C语言实现主析取范式 第一次写，不喜勿喷 （先来水一波） 先保证输入的式子是合法的 （不合法我也不会，太弱了） 难点主要是计算真值表，可以用堆栈实现，建立两个堆栈，一个储存操作符，另一个储存数值 (手写堆栈) int OPNUM[300], OPOP[300], inum = 0, inop = 0;//储存数字和操作符的堆 储存的是int类型，在这之前有将操作符转化成对应的优先级 int charge_operator(char ch){//判断优先级 if (ch == '!') return
主析取范式和主合取范式
m0_51654746的博客
04-06 1万+
主析取范式 小项 是n个命题变元的合取式，其中每个变元必出现且仅出现一次（以本身或否定形式），称这个合取式为小项 例：含有两个变元的小项 P ^ Q , P ^ !Q , !P ^ Q , !P ^ !Q 若有n个变元，则有2的n次方个小项 小项编码： -含有n个变元的小项的角标用n位二进制码表示。 -变元按字母次序排列 -用1表示变元本身，0表示变元的否定形式。 例:m00 <=> !P^!Q , m01 <=> !P ^ Q ​ m101 <=&gt
主合取/析取范式
qq_42578970的博客
03-10 7453
前置知识：简单合取/析取式，合取/析取范式 极小项 当存在n个命题变项做合取时，如果这个简单合取式出现了全部的命题变项或它的否定形式，且恰好只出现一次，则这个式子属于极小项 以n=3，命题变项为p,q,r为例，他们的极小项如表 主析取范式 所有简单合取式都是极小项的析取范式为主析取范式，注意，要按照m的下表进行排序 如 极大项 当存在n个命题变项做析取时，如果这个简单析取式出现了全部的命题变项或它的否定形式，且恰好只出现一次，则这个式子属于极大项 以n=3，命题变项为p,q,r为例，他
python输入析取范式输出主析取范式
最新发布
05-30
好的，可以使用Python中的sympy库来实现输入析取范式输出主析取范式的功能。具体代码实现如下： ```python from sympy.logic.boolalg import to_dnf, to_cnf from sympy import symbols # 输入析取范式 expr = input("请输入析取范式：") # 将输入的字符串转化为逻辑表达式 p, q, r = symbols('p q r') expr = expr.replace("p", "p").replace("q", "q").replace("r", "r") expr = eval(expr) # 将逻辑表达式转化为主析取范式 dnf_expr = to_dnf(expr, simplify=False) cnf_expr = to_cnf(dnf_expr, simplify=False) # 输出主析取范式 print("主析取范式为：", cnf_expr) ``` 以上代码中，我们首先使用`input()`函数获取用户输入的析取范式，并将其转化为逻辑表达式。然后，我们使用sympy库中的`to_dnf()`函数将逻辑表达式转化为合取范式（即非主析取范式），再使用`to_cnf()`函数将其转化为主析取范式。最后，我们输出主析取范式即可。 需要注意的是，由于输入的字符串可能包含变量名和运算符，因此我们需要将其替换为实际的sympy变量，才能将其转化为逻辑表达式。在本代码实现中，我们将“p”、“q”、“r”替换为sympy库中的变量“p”、“q”、“r”。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

柏箱

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值