第3关：生成多个命题公式的命题变元字典

最新推荐文章于 2024-01-17 11:36:37 发布
最新推荐文章于 2024-01-17 11:36:37 发布
阅读量391 收藏
点赞数 1
分类专栏： 离散数学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/maduit/article/details/117229911
版权

【问题描述】
给定多个合法的命题公式，编写一个程序，提取所有命题公式中的以单个小写字母（‘a’~‘z’）表示的命题变元，并按命题变元字母的升序顺序，输出命题变元字典。

【输入】
本题只有一组测试数据，测试数据为表示多个命题公式的多行字符串，字符串的长度N不超过100，且命题公式中的命题变元符号均为小写字母（‘a’~‘z’）。

【输出】
测试数据输出一行，该行中按命题变元字母升序顺序输出。

【输入样例】
r∨p↔q
a∨b

【输入样例】
abpqr

开始你的任务吧，祝你成功！
在这里插入图片描述
在这里插入图片描述

咸鱼子摸鱼代码工程
关注
  • 1
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
对给出的任意一个命题公式（不超过四个命题变元），使学生会利用编程软件表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。
Ilovejisso的博客
05-25 1089
对给出的任意一个命题公式（不超过四个命题变元），使学生会利用编程软件表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。 的真值表； 的真值表； 本体采用逆波兰方式来求取公式的真值表 逆波兰：逆波兰记法中，操作符置于操作数的后面。例如表达“3+4”时，写作“3 4 +”，而不是“3 + 4”。如果有多个操作符，操作符置于第二个操作数的后面，所以常规中缀记法的“3 - 4 + 5”在逆波兰记法中写作“3 4 - 5 +”：先3减去4，再加上5。使用逆波兰记法的一个好处是不需...
2.对给出的任意一个命题公式（不超过四个命题变元），使学生会用matlab编程表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。
kaakllhjkhjalv的博客
10-26 1136
2.对给出的任意一个命题公式（不超过四个命题变元），使学生会用matlab编程表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。 （1）的真值表； （2）的真值表； （3）的真值表； a1 = [0,0,1,1]; a2 = [0,1,0,1]; fprintf('在本题中用！代表非，&代表合取，->代表蕴涵，||代表析取') fprintf('\n'); fprintf('打印 (q->p)&q->p 的真值表：') fprintf('\n')
第2关：生成单个命题公式的命题变元字典
maduit的博客
05-24 401
【问题描述】 给定一个合法的命题公式，编写一个程序，提取命题公式中的所有以单个小写字母（‘a’~‘z’）表示的命题变元，并按命题变元字母的升序顺序，输出命题变元字典。 【输入】 本题单组测试数据，测试数据为单独占一行的表示命题公式的字符串，字符串的长度N不超过100，且命题公式中的命题变元符号均为小写字母（‘a’~‘z’）。 【输出】 测试数据输出一行，该行中按命题变元字母升序顺序输出。 【输入样例】 r∨p↔q 【输入样例】 pqr 开始你的任务吧，祝你成功！ ...
离散数学学习笔记——命题逻辑（2）
学习爱好者fz的博客
04-13 1346
离散数学学习笔记——命题逻辑（2）命题变元命题公式关于命题公式的说明公式的解释真值表 命题变元 一个特定的命题是一个常值命题，它不是具有值 “T”(“1”)，就是具有值 “F”(“0”)。 一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量 (或命题变元)(propositional variable)，该命题变量无具体的真值，它的变域是集合{T, F}(或 {0, 1})。 命题公式 命题演算的合式公式 (well formed formula，wff)，又称命题公式 (简称公式)，按如
命题逻辑复习
ebatudou的博客
01-17 1057
定义3-1 对事物作出确定判断的陈述句称为命题。命题常元：当符号P表示一个确定命题时，该符号称为命题常元。命题变元：当符号P表示任意一个命题时，该符号称为命题变元。原子命题：原子命题是不能再细分的命题复合命题：原子命题通过命题联结词构造的命题。（命题联结词：非 合取 析取 蕴含 等价）定义3-7命题公式也称为合式公式、公式，递归方式定义如下：（1）单个命题变元和命题常元是一个命题公式；（2）P和Q是命题公式， ¬P、P∧Q、P∨Q、P→Q、P↔Q也是命题公式；
离散数学实验 命题变元的运算，真值表....
老鼠
11-18 5161
1、 逻辑联接词的运算 从键盘输入两个命题变元P和Q的真值，输出它们的合取、析取、条件、双条件和P的否定的真值。 #include using namespace std; int main() { int P,Q; cin>>P>>Q; cout<<"合取: "<<(P&&Q)<<endl; cout<<"或取: "<<(P||Q)<<endl;
shuliluoji.rar_主范式_合取范式_命题公式_真值表
09-24
本文将深入探讨一种名为“shuliluoji.rar”的数理逻辑辅助教学软件，该软件主要涉及三个核心概念：主范式、合取范式以及命题公式，同时也支持通过真值表来验证逻辑关系。以下是对这些概念的详细解析。 首先，让我们...
必做题—命题公式真值表输出选做题—函数曲线的离散化 提高题(选做)—用离散的点显示自己的姓名（评分：优秀）
09-14
每个离散样本点可用‘*’显示(也可以自行选用其它符号)，程序采用JAVA或C/C++语言实现(可采用第三方库函数)。对于每个△t，注意观察函数信息损失的情况，解释核心程序段，总结分析，编制程序并编写实践报告（评分：...
1.2命题公式及其赋值.docx
08-14
本资料为原书第2版PDF转为WORD形式而成，仅供学习参考！
c++程序判断离散数学中命题公式
06-18
一种常见的方法是使用二叉树结构，其中每个节点代表一个命题或逻辑操作，左子节点表示第一个操作数，右子节点表示第二个操作数。对于NOT操作，只有一个子节点。 3. **解析公式**：输入的命题公式需要被解析成这种...
离散数学命题公式的一个演示程序
09-15
用VC6.0编写的一个演示命题公式判断和运算的程序，程序通过对话框和用户实现交互，可以求解命题公式的真值表、主合取范式、主析取范式等等。
多人命题系统（源码+lw+ppt）.rar
最新发布
06-20
我所在学院多采用半手工管理学生试卷的方式，所以有必要开发多人命题系统来对学生成绩档案进行数字化管理。既可减轻学院教职员工工作压力，比较系统地对试卷提高信息、试卷批改信息、错题信息上的各项服务进行管理，...
数理逻辑—命题公式及其赋值与分类
白水的博客
04-24 6793
由联结词和多个命题常项可以组成复合命题，若是有联结词和多个命题变项则可以组成命题公式。更具体的说，命题公式是由命题常项、命题变项、联结词、括号组成的特殊符号串，通常用大写字母表示。 命题公式的严格定义 单个命题变项p,q,r,...p,q,r,...p,q,r,...是命题公式 多个命题公式通过联结词有限次的组合而成的符号串是命题公式 在命题逻辑中命题公式又称合式公式，简称为公式。 命题公式的...
第9讲-变量-自测题
CGS666的博客
01-14 418
第9讲-变量-自测题
简单命题公式的求解
zhengchunfang的专栏
09-24 348
#include"stdio.h" int main() { int a,b,c,d,e,f,g,h; int m[2]={0,1}; int n[2]={0,1}; int s,i,j,i1,j1,i2,j2,i3,j3;  printf("请输入要求的公式(1 P∩Q   2 P∪Q  3 P蕴涵Q   4 P双蕴涵Q)\n"); scanf("%d",&s); switch
离散数学知识点总结（2）：命题公式的类型
热门推荐
qq_42902997的博客
09-01 2万+
文章目录命题公式命题常量和命题变元命题合式公式的递归式定义（well-Formed formula）联结词的优先级命题公式的种类重言式 / 永真式 （常见举例）矛盾式 / 不可满足式 / 永假式 （常见举例）可满足式真值表判断合式公式的类型真值表的缺陷 命题公式 命题常量和命题变元 命题常量通常用大写字母表示，代表一个具体的命题： PPP：张三是法外狂徒。这是个命题常量，因为张三要么是法外狂徒，要么不是。 命题变元通常用小写字母表示，是命题公式的组成部分，我们通常用命题变元来表示命题公式，因为它并不
用简单c语言实现：给定一个命题公式，求其主析取范式，主合取范式。
09-03
### 回答1： 以下是使用简单的C语言实现给定一个命题公式，求其主析取范式，主合取范式的示例代码： ``` #include <stdio.h> #include <string.h> #define MAX_LENGTH 100 void printMainDisjunctive(char* formula); void printMainConjunctive(char* formula); int main() { char formula[MAX_LENGTH]; printf("请输入命题公式："); scanf("%s", formula); printf("主析取范式为："); printMainDisjunctive(formula); printf("\n"); printf("主合取范式为："); printMainConjunctive(formula); printf("\n"); return 0; } // 求主析取范式 void printMainDisjunctive(char* formula) { int i, j, k, l, m, n, len; int flag[MAX_LENGTH] = {0}; char temp[MAX_LENGTH], sub[MAX_LENGTH]; len = strlen(formula); for (i = 0; i < len; i++) { if (formula[i] == '(') { flag[i] = 1; } else if (formula[i] == ')') { for (j = i; j >= 0; j--) { if (flag[j] == 1) { flag[j] = 0; break; } } } else if (formula[i] == '~') { flag[i] = 1; } else if (formula[i] == 'v') { if (flag[i] == 0) { flag[i] = 2; for (j = i - 1; j >= 0; j--) { if (flag[j] == 1) { break; } } for (k = i + 1; k < len; k++) { if (flag[k] == 1) { break; } } strncpy(sub, formula + j + 1, i - j - 1); sub[i - j - 1] = '\0'; for (l = i + 1; l < k; l++) { if (formula[l] == '~') { flag[l] = 1; } } for (m = 0; m < len - k; m++) { temp[m] = formula[k + m]; } temp[len - k] = '\0'; for (n = j + 1; n <= i - 1; n++) { printf("%c", formula[n]); } printf(" v "); printMainDisjunctive(sub); printf(" v "); printMainDisjunctive(temp); break; } } } if (flag[len - 1] == 0) { printf("%s", formula); } } // 求主合取范式 void printMainConjunctive(char* formula) { int i, j, k, l, m, n, len; int flag[MAX_LENGTH] = {0}; char temp[MAX_LENGTH], sub[MAX_LENGTH]; len = strlen(formula); for (i = 0; i < len; i++) { if (formula[i] == '(') { flag[i] = 1; } else if (formula[i] == ')') { for (j = i; j >= 0; j--) { if (flag[j] == 1) { flag[j] = 0; break; } } } else if (formula[i] == '~') { flag[i] = 1; } else if (formula[i] == '^') { if (flag[i] == 0) { flag[i] = 2; for (j = i - 1; j >= 0; j--) { if (flag[j] == 1) { break; } } for (k = i + 1; k < len; k++) { if (flag[k] == 1) { break; } } strncpy(sub, formula + j + 1, i - j - 1); sub[i - j - 1] = '\0'; for (l = i + 1; l < k; l++) { if (formula[l] == '~') { flag[l] = 1; } } for (m = 0; m < len - k; m++) { temp[m] = formula[k + m]; } temp[len - k] = '\0'; printf("("); printMainConjunctive(sub); printf(") ^ ("); printMainConjunctive(temp); printf(")"); break; } } } if (flag[len - 1] == 0) { printf("%s", formula); } } ``` 该示例代码使用递归的方式，通过对输入的命题公式进行扫描和分析，逐步求出其主析取范式和主合取范式。其中，flag数组用于标记括号和非逻辑联接符号的位置，temp和sub数组用于存储分离出的子公式。 ### 回答2： 要实现给定一个命题公式，求其主析取范式和主合取范式的功能，我们可以采用以下步骤： 首先，需要定义一个数据结构来表示命题公式。可以使用二叉树或者字符串来表示。假设我们选择使用字符串来表示。 其次，我们需要实现一个函数来将输入的命题公式转换为主析取范式。主析取范式指的是将命题公式转化为一系列析取项的合取。我们可以采用递归的方式来实现这个转换过程。具体步骤如下： 1. 创建一个函数，输入为命题公式的字符串，输出为主析取范式的字符串。 2. 首先判断命题公式中是否包含合取符号（例如 AND 或者 &&）。如果有，就按照合取符号将命题公式分割为多个子公式。 3. 对于每个子公式，判断其中是否还包含合取符号。如果没有，说明是一个析取项，直接将其添加到主析取范式中。 4. 如果包含合取符号，则递归地调用该函数，将该子公式作为输入。将得到的子公式的主析取范式添加到主析取范式中。 最后，我们需要实现一个函数来将输入的命题公式转换为主合取范式。主合取范式指的是将命题公式转化为一系列合取项的析取。实现方式类似主析取范式的转换过程。具体步骤如下： 1. 创建一个函数，输入为命题公式的字符串，输出为主合取范式的字符串。 2. 首先判断命题公式中是否包含析取符号（例如 OR 或者 ||）。如果有，就按照析取符号将命题公式分割为多个子公式。 3. 对于每个子公式，判断其中是否还包含析取符号。如果没有，说明是一个合取项，直接将其添加到主合取范式中。 4. 如果包含析取符号，则递归地调用该函数，将该子公式作为输入。将得到的子公式的主合取范式添加到主合取范式中。 以上就是用简单的C语言实现求命题公式的主析取范式和主合取范式的基本步骤。具体的实现方式还需要根据实际情况进行调整和优化。 ### 回答3： 主析取范式和主合取范式是布尔代数中对命题公式进行化简的常用方法。 首先，我们需要理解主析取范式和主合取范式的概念。 主析取范式是指将一个命题公式表示为若干个析取项的合取形式。每个析取项为一个变量或其否定形式。主析取范式全称为可满足合取范式。 主合取范式是指将一个命题公式表示为若干个合取项的析取形式。每个合取项为一个变量或其否定形式。主合取范式全称为可满足析取范式。 具体实现时，我们可以使用简单的C语言来实现。 首先，我们需要定义一个数据结构来表示命题公式，例如一个结构体，包含操作符和操作数等信息。 然后，我们可以编写一个函数来将原始的命题公式转化为主析取范式的形式。这个函数的核心思想是使用逻辑运算符和布尔代数规则对命题公式进行化简。 同样地，我们可以编写另一个函数来将原始的命题公式转化为主合取范式的形式。 在实现这两个函数时，我们可以使用递归的方式来处理命题公式的各个子部分，直到将整个命题公式化简为主析取范式或主合取范式。 最后，我们可以编写一个主函数来测试我们的函数是否能正确地将给定的命题公式转化为主析取范式和主合取范式，并输出结果。 总结起来，通过定义数据结构和使用递归的方法，我们可以用简单的C语言来实现给定命题公式的主析取范式和主合取范式。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

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

余额充值