主析取范式和主合取范式的c++求解程序

最新推荐文章于 2022-12-26 19:39:39 发布
最新推荐文章于 2022-12-26 19:39:39 发布
阅读量6.4k 收藏 56
点赞数 21
CC 4.0 BY-SA版权
分类专栏： c++ 文章标签： c++ 主析取范式和主合取范式 程序求解 离散数学
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/cfc_andy/article/details/102770417
本文分享了一种求解命题逻辑的程序代码，通过构建真值表，计算命题的主析取范式和主合取范式。文章详细介绍了算法思想、源代码实现及输入输出结果。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

这是我们老师刚刚布置的作业，自己百度了一下，发现没有比较简单完善的程序代码，于是自己写成功后，与大家分享一下。有些地方描述的不好，可能比较难理解，请见谅。如果有啥不懂的，可以在下面评论，我会尽力解答
一、算法思想
主要思想是：先求真值表，再根据真值表输出主析取范式和主合取范式。

用！来表示非，用小写v表示析取，用^来表示合取，用~来表示双条件，用-来表示条件，用大写字母来表示命题变元。

真值表的求解
① 根据命题的个数n，得出所有命题变元赋值的情况个数sum，例如n=4个命题变元，则有sum=2^4种情况，并将所有情况存入二维数组a[i][j]中,a[i]代表第i种情况。
② 创建两个栈，一个用来存放操作符Operator，先自己在栈里面存放字符‘#’（输入命题公式时要最后应该加一个字符‘#’）；一个存放操作数Operand。
③ 根据表达式求值的思想，读取表达式，若是操作符，则与之前的操作符相比优先级，若大于前者，则读取下一个；若相等，则说明两者为（）则弹出前者，读取下一个；若小于前者，则可以进行运算；
④ 若读取的是操作数，则在数组a中读取操作数所对应的数，存入栈中；
⑤ 将最后的运算结果存入数组result中，再次循环步骤③，循环sum次即可
⑥ 根据result的结果，当输出主析取范式时，当result[i]==1时，则输出相应的命题变元（当命题变元为1则输出P，为0则输出！P），把result都遍历一遍，将结果为1的都连在一起即可；求取主合取范式就将result=0的输出连在一起即可；
二、源代码

第一个头文件const.h//预定义常量头文件
#pragma once

#define TRUE 1
#define FALSE 0
#define OK 1
#define ERROR 1
#define INFEASIBLE -1
#define OVERFLOW -2

typedef int Status;

第二个头文件prefunction.h//变量类型的定义与函数的声明
#pragma once

#include"const.h"

#define STACK_INIT_SIZE 100
#define STACKINCREMENT 10

typedef char SElemType;

typedef int SElemType_1;

typedef struct {
SElemType *base;
SElemType *top;
int stacksize;
}SqStack;//操作符栈

typedef struct {
SElemType_1 *INTbase;
SElemType_1 *INTtop;
int INTstacksize;
}INTStack;//操作数栈
Status InitStack(SqStack &S);//初始化
Status GetTop(SqStack S, SElemType &e);//读栈顶
Status Push(SqStack &S, SElemType e);//入栈
Status Pop(SqStack &S, SElemType &e);//出栈
Status initStack(INTStack &S);// 初始化
Status pop(INTStack &S, SElemType_1 &e);// 出栈
Status push(INTStack &S, SElemType_1 e);// 入栈
char precede(SElemType e1, SElemType e2);//判断操作数的优先级
Status bothway(int &a, SElemType b, int c);//双向运算符操作
Status TruthTable(int a[65][6], int count,char ch[6]);//真值表
Status Proposition(char a[50], char ch[6]);//求命题的个数

第二个头文件function.h
#pragma once
#include
#include
#include

#include"prefunction.h"

Status InitStack(SqStack &s) {
//构造一个空的栈
s.base = (SElemType*)malloc(STACK_INIT_SIZE * sizeof(SElemType));
if (!s.base)
exit(OVERFLOW);
s.top = s.base;
s.stacksize = STACK_INIT_SIZE;
return OK;
}
Status GetTop(SqStack s, SElemType &e) {
//获得栈顶元素
if (s.top == s.base)
return ERROR;
e = (s.top - 1);
return OK;
}
Status Push(SqStack &s, SElemType e) {
//插入元素e为新的栈顶
if (s.top - s.base >= s.stacksize) {
s.base = (SElemType)realloc(s.base, (s.stacksize + STACKINCREMENT) * sizeof(SElemType));
if (!s.base)
exit(OVERFLOW);
s.top = s.base + s.stacksize;
s.stacksize += STACKINCREMENT;
}
*s.top++ = e;
return OK;
}
Status Pop(SqStack &s, SElemType &e) {
//弹出栈顶元素
if (s.top == s.base)
return ERROR;
e = –s.top;
return OK;
}
Status initStack(INTStack &s)
{
//构造一个空的栈
s.INTbase = (SElemType_1)malloc(STACK_INIT_SIZE * sizeof(SElemType_1));
if (!s.INTbase)
exit(OVERFLOW);
s.INTtop = s.INTbase;
s.INTstacksize = STACK_INIT_SIZE;
return OK;
}
Status pop(INTStack &s, SElemType_1 &e)
{//弹出栈顶元素
if (s.INTtop == s.INTbase)
return ERROR;
e = –s.INTtop;
return OK;
}
Status push(INTStack &s, SElemType_1 e)
{
//插入元素e为新的栈顶
if (s.INTtop - s.INTbase >= s.INTstacksize) {
s.INTbase = (SElemType_1)realloc(s.INTbase, (s.INTstacksize + STACKINCREMENT) * sizeof(SElemType_1));
if (!s.INTbase)
exit(OVERFLOW);
s.INTtop = s.INTbase + s.INTstacksize;
s.INTstacksize += STACKINCREMENT;
}
*s.INTtop++ = e;
return OK;
}
char precede(SElemType e1, SElemType e2)//判断操作数的优先级
{
if (e1 == ‘v’&&e2 == ‘v’)
return ‘>’ ;
if (e1 == ‘v’&&e2 == ‘^’)
return ‘>’;
if (e1 == ‘v’&&e2 == ‘~’)
return ‘>’;
if (e1 == ‘v’&&e2 == ‘-’)
return ‘>’;
if (e1 == ‘v’&&e2 == ‘)’)
return ‘>’;
if (e1 == ‘v’&&e2 == ‘(’)
return ‘<’;
if (e1 == ‘v’&&e2 == ‘#’)
return ‘>’;

if (e1 == '^'&&e2 == 'v')
	return '>';
if (e1 == '^'&&e2 == '^')
	return '>';
if (e1 == '^'&&e2 == '~')
	return '>';
if (e1 == '^'&&e2 == '-')
	return '>';
if (e1 == '^'&&e2 == ')')
	return '>';
if (e1 == '^'&&e2 == '(')
	return '<';
if (e1 == '^'&&e2 == '#')
	return '>';

if (e1 == '-'&&e2 == 'v')
	return '>';
if (e1 == '-'&&e2 == '^')
	return '>';
if (e1 == '-'&&e2 == '~')
	return '>';
if (e1 == '-'&&e2 == '-')
	return '>';
if (e1 == '-'&&e2 == ')')
	return '>';
if (e1 == '-'&&e2 == '(')
	return '<';
if (e1 == '-'&&e2 == '#')
	return '>';

if (e1 == '~'&&e2 == 'v')
	return '>';
if (e1 == '~'&&e2 == '^')
	return '>';
if (e1 == '~'&&e2 == '~')
	return '>';
if (e1 == '~'&&e2 == '-')
	return '>';
if (e1 == '~'&&e2 == ')')
	return '>';
if (e1 == '~'&&e2 == '(')
	return '<';
if (e1 == '~'&&e2 == '#')
	return '>';

if (e1 == '('&&e2 == 'v')
	return '<';
if (e1 == '('&&e2 == '^')
	return '<';
if (e1 == '('&&e2 == '~')
	return '<';
if (e1 == '('&&e2 == '-')
	return '<';



if (e1 == '#'&&e2 == 'v')
	return '<';
if (e1 == '#'&&e2 == '^')
	return '<';
if (e1 == '#'&&e2 == '~')
	return '<';
if (e1 == '#'&&e2 == '-')
	return '<';
if (e1 == '#'&&e2 == '(')
	return '<';

if (e1 == '!'&&e2 == 'v')
	return '>';
if (e1 == '!'&&e2 == '^')
	return '>';
if (e1 == '!'&&e2 == '~')
	return '>';
if (e1 == '!'&&e2 == '-')
	return '>';
if (e1 == '!'&&e2 == ')')
	return '>';
if (e1 == '!'&&e2 == '(')
	return '<';
if (e1 == '!'&&e2 == '#')
	return '>';



if (e1 == 'v'&&e2 == '!')
	return '<';
if (e1 == '^'&&e2 == '!')
	return '<';
if (e1 == '~'&&e2 == '!')
	return '<';
if (e1 == '-'&&e2 == '!')
	return '<';
if (e1 == '#'&&e2 == '!')
	return '<';





if (e1 == '('&&e2 == '(')
	return '<';
if (e1 == '('&&e2 == ')')
	return '=';
return 'p';

}
//用小写的v来表示析取；用^来表示合取；用-来表示条件；用~来表示双条件;
Status bothway(int &a, SElemType b, int c)
{
if ( b ==‘v’) {
if (a == 0 && c == 0)
a = 0;
else
a = 1;
}
if (b ‘^’) {
if (a == 1 && c == 1)
a = 1;
else
a = 0;
}
if (b == ‘-’) {
if (a == 1 && c == 0)
a = 0;
else
a = 1;
}
if (b == ‘~’) {
if (a == c)
a = 1;
else
a = 0;
}
return OK;
}
Status TruthTable(int a[65][6], int count,char ch[6])//真值表
{
int i,sum=1,s,k,j;
for (i = 0; i < count; i++)
sum = sum * 2;
i = 1;
s = sum;
while (i <= count) {
s = s / 2;
k = 0;
j = 1;
while (j <= sum) {
if((j/s)%20)
for (k = 0; k < s; k++) {
a[j-1][i-1] = 0; j++;
}
else
for (k = 0; k < s; k++) {
a[j-1][i-1] = 1; j++;
}
}
i++;
}

return OK;

}
Status Proposition(char a[50], char ch[6])//求命题的个数
{
int i=0,j=0,k=0;
int flag = 0;
while (a[i]) {
if (a[i] >= 65 && a[i] <= 90) {
while (ch[j]) {
if (a[i] == ch[j])
flag = 1;
j++;
}
if (flag == 0) {
ch[k] = a[i];
k++;
}
flag = 0;
j = 0;
}
i++;
}
return OK;
}
第四个文件是cpp文件：xiquhequ.cpp
#include"function.h"

using namespace std;

int main() {

int n,a[65][6],sum=1,s;
char exqu[50], ch[6] = {0};
printf_s("请输入命题的个数:");
scanf("%d", &n);
printf_s("请输入命题表达式:");
scanf("%s", exqu);
for (s = 0; s < n; s++) {
	sum = sum * 2;
}//求所有的情况个数sum


Proposition(exqu,ch);//将n个变量变元提取出来存入字符数组ch

TruthTable(a, n, ch);//将所有情况存入数组a中


SqStack Operator;//操作符栈
INTStack Operand;//操作数栈
InitStack(Operator);//初始化
initStack(Operand);//初始化


SElemType e;
int k = 0,result[65];
int i = 0,j=0;
SElemType_1 p, q;
SElemType	E;

while (k < sum)
{
	*Operator.top = '#';
	Operator.top++;
	GetTop(Operator, e);
	i = 0;
	while (exqu[i] != '#' || e != '#') 
	{


		if (exqu[i] <= 90 && exqu[i] >= 65) {
			while (exqu[i] != ch[j]) {
				j++;
			}
			push(Operand, a[k][j]);
			//print(Operand);
			//*Operand.INTtop = a[k][j];// printf_s("%d", a[k][j]);
			//Operand.INTtop++;
			j = 0;
			i++;
		}
		else {
			GetTop(Operator, e);
			switch (precede(e, exqu[i])) {
			case '<':Push(Operator, exqu[i]); i++;
				break;
			case '=':Pop(Operator, e); i++;
				break;
			case '>':Pop(Operator, E); 
				if (E == '!')
				{
					pop(Operand, p);
					if (p == 0)
						p = 1;
					else
						p = 0;	
					push(Operand, p);

					//print(Operand);
					//printf("%d", p);
				}
				else
				{
					pop(Operand, p); pop(Operand, q);  bothway(q, E, p); push(Operand, q);//print(Operand);
				}
				break;
			default:printf_s("precede函数返回值错误\n");
			}
		}
		GetTop(Operator, e);
	}

	pop(Operand, q);
	//printf("%d\n", q);
	result[k] = q;
	k++;
	Pop(Operator, e);
	//Pop(Operator, e);


}


for (i = 0; i < n; i++) {
	printf_s("%c    ", ch[i]);
}
i = 0;
while (exqu[i]!='#') {
	printf_s("%c", exqu[i]);
	i++;
}
printf_s("\n");
for (k = 0; k < sum; k++) {

	for (i = 0; i < n; i++) {
		printf_s("%d    ", a[k][i]);
	}
	printf_s("%d", result[k]);
	printf_s("\n");
}

//输出主析取范式
printf_s("主析取范式\n");
for (k = 0; k < sum; k++)
{
	if (result[k] == 1)
	{
		printf_s("(");
		for (i = 0; i < n; i++)
		{
			if (a[k][i] == 1)
				printf_s("%c^", ch[i]);
			else
				printf_s("!%c^", ch[i]);
		}
		printf_s("\b)v");
	}		
}
printf_s("\b \n");

//输出主合取范式
printf_s("主合取范式\n");
for (k = 0; k < sum; k++)
{
	if (result[k] == 0)
	{
		printf_s("(");
		for (i = 0; i < n; i++)
		{
			if (a[k][i] == 1)
				printf_s("%c^", ch[i]);
			else
				printf_s("!%c^", ch[i]);
		}
		printf_s("\b)v");
	}
}
printf_s("\b ");
getchar();
getchar();
return 0;

}
三，输入输出结果

在这里插入图片描述
在这里插入图片描述

用C语言求解合式公式的主合取范式和主析取范式
qq_50868258的博客
04-30 7506
这是昨天离散课老师布置的附加题，我最爱的冯老师说历年来计科专业学离散时都会出这个题目。但这几年没人做出来（应该没人是不感兴趣）。 为了能够加更多的学分也是出于自己的好奇，我决定尝试一下。 思路：二进制枚举+逆波兰表达式 #include<stdio.h> #include<string.h> #define T 1 #define F 0 struct Stack{ int top; char arr[80]; }number={-1},symbol={-1}; /
用 C 语言实现逻辑表达式求主析取范式和主合取范式
2402_83326934的博客
04-18 929
我们首先定义了两种栈数据结构OPND和OPTR，分别用于存储操作数和操作符。接下来，我们定义了一些基本操作，如栈的初始化、入栈、出栈等。然后，我们定义了一个结构体Variable来存储变量和对应的值，并实现了一些相关函数。之后，我们使用位运算生成了逻辑表达式的赋值表，然后通过实现算法来求解逻辑表达式的真值。
求公式的主合取范式和主析取范式
12-13
求公式的主合取范式和主析取范式 c++写的类
C++实现求主析取范式、主合取范式
MangoNova的博客
11-01 8192
离散数学第一次上机实验，突击学完什么是主析取范式和主合取范式之后粗略地想了下实现的思路。 第一步自然是把输入的式子转换成后缀表达式。结合数据结构书上对基本四则运算的代码和前人的思路勉强写出来一个，但还是有很多地方可能一转头就会忘了怎么实现。 转换成后缀表达式之后的事情就显得轻松多了。 下面贴代码。 #include #include using namespace std; cla
用c语言编程求主析取范式,求主析取范式.cpp · wangzhankun/C-Programming-Learn - Gitee.com...
weixin_36284848的博客
05-25 2070
/*实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。输入：命题公式的合式公式输出：公式的主析取范式和主析取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个空格；主析取范式和主合取范式之间用“ ; ”隔开，“ ; ”前后各有一个空格。 永真式的主合取范式为 1 ，永假式的主析取范式为...
使用C++求命题公式的主析取范式与主合取范式
热门推荐
ForAxel的博客
09-22 1万+
最近的离散数学的一个上机作业，要求任意输入一个命题公式，求它的真值表与主析取范式和主合取范式。其中的命题连接词都是用特殊符号来表示（怕麻烦……），并最终选择使用C++来编写程序。 先贴代码： // 五种联结词优先级 ! * + @ $ 分别代表否定 合取 析取 单条件 双条件 //"规定符号代换规则为 ┐:! ∧:* ∨:+ -&gt;:@ &lt;-&gt;:$" //"输入应当保...
离散数学实验报告-利用真值表法求主析取范式以及主合取范式（内含源码和实验报告）.zip
12-11
在这个实验报告中，我们将聚焦于逻辑推理的核心概念——主析取范式（Minterm Canonical Form）和主合取范式（Maxterm Canonical Form），并利用真值表法来求解这些问题。这些概念在布尔代数、电路设计、逻辑设计以及...
离散数学基于真值表法的主析取范式与主合取范式求解：中缀表达式转换及逻辑运算实现
最新发布
04-29
内容概要：本文档介绍了南京邮电大学离散数学实验一，重点在于利用真值表法求取主析取范式和主合取范式。实验首先将中缀表达式转换为后缀表达式，使用栈结构处理运算符和操作数。然后，通过递归枚举所有可能的赋值...
南京邮电大学实验一真值表法求主析取主合取范式
09-17
本次实验的主要目的是通过编程来实现逻辑公式（含三个以内变量）的主析取范式（DNF）和主合取范式（CNF）的求解过程。实验采用了真值表的方法来进行求解，旨在帮助学生深入理解并掌握逻辑公式的规范化过程。 ### ...
实验1-利用真值表法求取主析取范式以及主合取范式的实现1
08-08
整个实验通过具体实现，帮助学生掌握如何利用真值表法高效地求解逻辑表达式的主析取范式和主合取范式，同时也强调了算法优化在解决实际问题中的重要性。通过这样的实践，可以提高对离散数学中逻辑运算理论的理解，并...
求一个命题公式的主析取(合取)范式
weixin_30782293的博客
06-12 1197
求一个命题公式的主析取(合取)范式 这是大二学离散数学的时候写的, 在这里留个档吧, 算是回忆... 代码各种乱, 不改了. 1 /* header.h 2 *author : jackiesteed 3 *内容: 给定一个命题公式, 可以求出...
编程析取范式求主析取范式。。
iylei
11-03 6339
 离散数学中析取范式如何通过计算机求主析取范式。其中一种办法就是用二维数组存储析取范式的真值表，然后代入命题公式，真值为T，就是它的最小项。其中会用到栈这种数据结构判断优先级。。
c语言编程输出主析取范式,c++编程：从键盘上任意输入一个主析取范式，输出与之等值的主合取范式...
weixin_28854085的博客
05-18 1185
满意答案zxuu112013.09.15采纳率：44%等级：8已帮助：2365人//从键盘上任意输入一个主析取范式，输出与之等值的主合取范式。┐∧∨# include # include # include using namespace std ;//跳出函数bool jump(const char ch){char c = cin.peek() ;if (ch == ')' &...
离散数学——用c/c++求命题公式的主范式
initial_atom的博客
03-16 3403
超详细介绍如何用c/c++求解离散数学主范式
离散数学实践一编程判断主析取范式和主合取范式【java实现】
缘友一世的博客
12-26 959
【代码】离散数学实践一编程判断主析取范式和主合取范式【java实现】
python求主析取范式_python应用之求主析取范式，主合取范式
weixin_39662834的博客
12-22 2103
任意输入一个命题公式，计算并输出其真值表以及主析取范式，主合取范式思路:大概就是将蕴含，等价，异或进行转化,然后使用eval()计算#! /usr/bin/env python3# -*- coding:utf-8 -*-sInput = '' #输入的命题公式字符串sParse = '' #化简后的sInputvariable = [] #保存公式中的变量ornl = [] #主析取范式最小项a...
c++ 求主范式
jackiesteed的专栏
12-13 680
#define FORMULA_HEADER#include #include #include #includeusing namespace std;class formulaBase{private: int numVar;//The number of the variables in the formula bool variables[100];//To store the value
将析取范式转化为主析取范式
weixin_30735745的博客
09-18 1995
1 #coding=utf-8 2 3 my_input = '' #输入命题 4 all_letters=[] #所有字母 5 xiqu_result=[] #主析取结果 6 7 def getInput(): #从键盘获取输入 8 global my_input 9 print u'\n 请输入任意一个命题，规则如下：' 10 prin...
命题公式的主合取范式C语言,程序设计题: 命题逻辑应用系统
weixin_33212486的博客
05-20 1611
命题逻辑应用系统1 问题描述该系统要求实现命题逻辑中基本算法及其应用系统，包括真值表的计算、主析取和主合取范式的计算。通过此课题，熟练掌握命题公式的计算机表示、命题等价常见算法的实现，实现一个简单的命题逻辑应用系统。2 需要实现的功能或函数(1)计算显示任一个命题公式的真值表；(2)计算命题公式的主析取范式；(3)计算命题公式的主合取范式；(4)判断两个命题公式是否等价(或蕴含)；(5)如有可能，...
命题逻辑中的主范式的求解（c语言实现）
dou2629531529的博客
03-12 2840
在求解命题逻辑中主范式的时候，对于输入的式子（字符串）的处理极其重要，这关系到范式的求解的成功与否。 输入的公式如：p->q,计算机并不“认识”这种式子。因而可以将其转化为后缀式（逆波兰式）：pq->，让计算机按照它的方式扫描、计算。同时实现此求解的过程还需要将一些十进制的数据转换为二进制，和一些小技巧。废话不多说，代码如下： #include <stdio.h> #include <string.h> //合取符号 & ；析取符号 |； //...
评论 5
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值