【c++】[自动生成真值表/主析取范式/主合取范式的计算器]

最新推荐文章于 2024-04-21 10:06:14 发布
最新推荐文章于 2024-04-21 10:06:14 发布
阅读量8.7k 收藏 55
点赞数 25
分类专栏： 离散数学 文章标签： c 离散数学 主合取范式 主析取范式 真值表
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/chenhanxuan1999/article/details/79841205
版权

关于自动生成真值表/主析取范式/主合取范式的计算器

我用c++写了一个，需要的自取，如果好用请点赞

链接：https://pan.baidu.com/s/1Ji1zPDtjAc6-TDxovEzMVw 密码：8jmv

源码在下面，写了一整天，转的麻烦标明出处

————————————————

使用效果截图

原创源码：

//自动生成真值表 
//varchar变长字符数组类型
#include<iostream>
#include<cstring>
#include<cmath>
#include<iomanip>
#include<algorithm>
using namespace std;
int Getlength(char* start);//用于测量字符数组中的有效长度 
int Copyalpha(char *a,char* b);//用于将a字符数组中字母复制到b数组中并存储 
bool compare(char a,char b);//用于和sort函数搭配使得函数的排序顺序变为由大到小 
void testprint(char* start);//用于测试其他函数工作是否正常
void printheadline(char* b,int numbersofalpha,char* a);
void simplify(char* start);//用于将已经得到的真值表进行化简 
char trans(int);//用于将整数转化为对应的字符 
//用于打印真值表的首行 
//参数为a、b数组和b数组中的有效字母的个数 
void translate(int len,char* list);//用于解释已经储存的主析取和主合取的范式（数字编码转字符编码） 
int dothemathandprintandstorage(char* a,char* b,char* result,int* truetable,int times);
//用于将每行的真值表自动生成
//并将计算结果（0/1）返回 
//参数的接口有
/* 
	原来的逻辑语句储存数组a
	储存有效字母的字符数组（按照升序排列）b
	用于储存每一次真值表的暂存数组truetable
	记录是第几行的参数times 
*/ 
int zxq[1050000];
int zhq[1050000];//最大可以承受20个不同变量的运算 
int main(){
	char a[100],b[100];
	for(int i=0;i<1050000;i++){
		zxq[i]=zhq[i]=-1;
	}	
	cout<<"  ____________________________"<<endl;
	cout<<" |公式输入规范：              |"<<endl;
	cout<<" |析取+                       |"<<endl;
	cout<<" |合取*                       |"<<endl;
	cout<<" |条件-                       |"<<endl;
	cout<<" |双条件=                     |"<<endl;
	cout<<" |否定！                      |"<<endl;
	cout<<" |括号()                      |"<<endl;
	cout<<" |                            |"<<endl;  
	cout<<" |     最大20个变量上限       |"<<endl; 
	cout<<" |Versin 18.4.5 软件 lift |"<<endl;
	cout<<" |____________________________|"<<endl;
	cout<<endl; 
	cout<<"请输入公式："; 
	cin>>a;  
	cout<<endl<<"真值表:"<<endl; 
	int lenofalpha=Copyalpha(a,b);
	printheadline(b,lenofalpha,a);
	char result[lenofalpha+1];
	int truenumber[lenofalpha];
	int times=0,max=pow(2,lenofalpha);
	zhq[0]=zxq[0]=0;
	while(times<max){
		for(int i=0;i<lenofalpha;i++){
			truenumber[i]=0;
		}
		dothemathandprintandstorage(a,b,result,truenumber,times);
		times++;
	}
	int lengthofline=Getlength(b)*2+3+Getlength(a);
	for(int i=0;i<lengthofline;i++){
		cout<<'-';
	}
	cout<<endl;
	translate(lenofalpha,b);
	return 0;
} 
int Copyalpha(char* a,char* b){
	int lenofa=Getlength(a);
	for(int i=0;i<lenofa;i++){
		b[i]=1;
	}
	int lenofb=Getlength(b);
	int endposition=0,pd=0;
	for(int i=0;i<lenofa;i++){
		if((a[i]>='a')&&(a[i]<='z')||(a[i]>='A')&&(a[i]<='Z')){
			pd=0;
			for(int j=0;j<endposition;j++){
				if(a[i]==b[j])pd=1;
			}
			if(pd==0){
				b[endposition]=a[i]; 
				endposition++;
			}
		}
	}	
	b[endposition]='\0'; 
	char temp=1;
	for(int i=0;i<endposition;i++){
		for(int j=i+1;j<endposition;j++){
			if(b[i]>b[j]){
				temp=b[i];b[i]=b[j];b[j]=temp;
			}
		}
	}
	return endposition;
}
void testprint(char* start){
	char *p=start;
	while(*p!='\0'){
		cout<<*p;
		p++;
	}
	p=NULL; 
	start=NULL; 
	cout<<endl;
} 
int Getlength(char* start){
	char* p=start;
	int len=0;
	while(*p!='\0'){
		p++;
		len++;
	}
	p=NULL;
	start=NULL;
	return len;
}
int dothemathandprintandstorage(char* a,char* b,char* result,int* truetable,int times){
	int lenofa=Getlength(a);
	int iforresult=0;
	for(iforresult=0;iforresult<lenofa;iforresult++){
		result[iforresult]=a[iforresult];
	} 
	result[iforresult]='\0';
	int lenofalpha=Getlength(b);
	int position=0;
	int temptimes=times;
	while(temptimes>0){
		truetable[position]=temptimes%2;
		position++;
		temptimes/=2;
	} 
	int temp=0,exlimit=0;
	int realtable[lenofalpha];
	for(int i=0;i<lenofalpha;i++){
		realtable[i]=truetable[lenofalpha-i-1];
	} 
	for(int i=0;i<lenofalpha;i++){
		truetable[i]=realtable[i];
	}
	//开始对其中的字母与标准字母进行比对并分配真值 
	for(int i=0;i<lenofa;i++){
		for(int j=0;j<lenofalpha;j++){
			if(result[i]==b[j]){
				result[i]=trans(truetable[j]);
			}	
		}
	} 
	int formerlength=Getlength(result);
	simplify(result);
	int latterlength=Getlength(result);
	if(formerlength!=latterlength){
		while(formerlength!=Getlength(result)){
			formerlength=Getlength(result);
			simplify(result);
			latterlength=Getlength(result); 
		}
	}
	int jforrem=0;
	if(Getlength(result)!=1){
		result[0]='e';
		result[1]='r';
		result[2]='r';
		result[3]='o';
		result[4]='r';
		result[5]='\0';
	} 
	//用于储存主析取范式或主合取范式
	else if(result[0]=='1'){
		jforrem=0;
		int end=1+zxq[0]*lenofalpha+lenofalpha;
		for(int i=1+zxq[0]*lenofalpha;i<end;i++){
			zxq[i]=truetable[jforrem];
			jforrem++;
		}
		zxq[0]+=1;
	}
	else if(result[0]=='0'){
		jforrem=0;
		int end=1+zhq[0]*lenofalpha+lenofalpha;
		for(int i=1+zhq[0]*lenofalpha;i<end;i++){
			zhq[i]=truetable[jforrem];
			jforrem++;
		}
		zhq[0]+=1;
	}
	for(int i=0;i<lenofalpha;i++){
		cout<<setw(2)<<truetable[i];
	}
	cout<<" | "<<result<<endl;
	return 0;	 
}  
void printheadline(char* b,int numbersofalpha,char* a){
	int lengthofline=numbersofalpha*2+3+Getlength(a);
	for(int i=0;i<lengthofline;i++){
		cout<<'-';
	}
	cout<<endl;
	for(int i=0;i<numbersofalpha;i++){
		cout<<right<<setw(2)<<b[i];
	} 
	cout<<' '<<'|'<<' '<<a;
	cout<<endl;
	for(int i=0;i<lengthofline;i++){
		cout<<'-';
	}
	cout<<endl;
} 
char trans(int a){
	return a+'0';
} 
void simplify(char* a){
	int point=0,j=point,pd=0;
	//化简！,优先级最高 
	while(point<Getlength(a)){
		j=point;pd=0;
		if(((j+1)<Getlength(a))&&(a[j]=='!')&&(a[j+1]=='1')){
			a[j]='0';pd=1;
		}
		else if(((j+1)<Getlength(a))&&(a[j]=='!')&&(a[j+1]=='0')){
			a[j]='1';pd=1;
		}
		if(pd==1){
			j++;
			while(a[j+1]!='\0'){
				a[j]=a[j+1];//所有的都向前面挪动一个单位，包括'\0' 
				j++;
			}
			a[j]='\0';
		}
		else point++; 
	} 
	//化简合取范式
	point=j=0,pd=0;
	while(point<Getlength(a)){
		j=point;pd=0;
		if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='*')&&(a[j+2]=='0')){
			a[j]='0';pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='*')&&(a[j+2]=='1')){
			a[j]='0',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='*')&&(a[j+2]=='1')){
			a[j]='1',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='*')&&(a[j+2]=='0')){
			a[j]='0',pd=1;
		}
		if(pd==1){
			j++;
			while(a[j+2]!='\0'){
				a[j]=a[j+2];
				j++;
			}
			a[j]='\0';
		}
		else point++;
	} 
	//化简（） 
	point=j=0,pd=0;
	while(point<Getlength(a)){
		j=point;pd=0;
		if((j+2<Getlength(a))&&(a[j]=='(')&&(a[j+1]=='1')&&(a[j+2]==')')){
			a[j]='1';pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='(')&&(a[j+1]=='0')&&(a[j+2]==')')){
			a[j]='0',pd=1;
		}
		if(pd==1){
			j++;
			while(a[j+2]!='\0'){
				a[j]=a[j+2];
				j++;
			}
			a[j]='\0';
		}
		else point++;
	}
	//化简双条件 
	point=j=0,pd=0;
	while(point<Getlength(a)){
		j=point;pd=0;
		if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='=')&&(a[j+2]=='0')){
			a[j]='1';pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='=')&&(a[j+2]=='1')){
			a[j]='0',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='=')&&(a[j+2]=='1')){
			a[j]='1',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='=')&&(a[j+2]=='0')){
			a[j]='0',pd=1;
		}
		if(pd==1){
			j++;
			while(a[j+2]!='\0'){
				a[j]=a[j+2];
				j++;
			}
			a[j]='\0';
		}
		else point++;
	}
	//化简单条件 
	point=j=0,pd=0;
	while(point<Getlength(a)){
		j=point;pd=0;
		if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='-')&&(a[j+2]=='0')){
			a[j]='1';pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='-')&&(a[j+2]=='1')){
			a[j]='1',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='-')&&(a[j+2]=='1')){
			a[j]='1',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='-')&&(a[j+2]=='0')){
			a[j]='0',pd=1;
		}
		if(pd==1){
			j++;
			while(a[j+2]!='\0'){
				a[j]=a[j+2];
				j++;
			}
			a[j]='\0';
		}
		else point++;
	}	
	//化简析取范式
	point=j=0,pd=0;
	while(point<Getlength(a)){
		j=point;pd=0;
		if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='+')&&(a[j+2]=='0')){
			a[j]='0';pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='0')&&(a[j+1]=='+')&&(a[j+2]=='1')){
			a[j]='1',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='+')&&(a[j+2]=='1')){
			a[j]='1',pd=1;
		}
		else if((j+2<Getlength(a))&&(a[j]=='1')&&(a[j+1]=='+')&&(a[j+2]=='0')){
			a[j]='1',pd=1;
		}
		if(pd==1){
			j++;
			while(a[j+2]!='\0'){
				a[j]=a[j+2];
				j++;
			}
			a[j]='\0';
		}
		else point++;
	} 
}
void translate(int len,char* list){
	cout<<endl;
	if(zhq[0]==0)cout<<"主合取范式不存在";
	else{
		cout<<"主合取范式："<<endl; 
		int i=1,yc=1;
		while(zhq[i]!=-1){
			if(yc==1){
				cout<<'(';
				yc=0;
			}
			else cout<<"*(";
			for(int j=0;(j<len)&&(zhq[i]!=-1);j++,i++){
				if(j==len-1){
					if(zhq[i]==0){
						cout<<list[j]<<')';
					}
					else cout<<"!"<<list[j]<<')';
				}
				else{
					if(zhq[i]==0){
						cout<<list[j]<<'+';
					}
					else cout<<"!"<<list[j]<<'+';
				} 
			}	 
		}
	} 
	if(zxq[0]==0)cout<<endl<<"主析取范式不存在";
	else{
		cout<<endl<<"主析取范式："<<endl; 
		int i=1,yc=1;
		while(zxq[i]!=-1){
			if(yc==1){
				cout<<'(';
				yc=0;
			}
			else cout<<"+(";
			for(int j=0;(j<len)&&(zxq[i]!=-1);j++,i++){
				if(j==len-1){
					if(zxq[i]==1){
						cout<<list[j]<<')';
					}
					else cout<<"!"<<list[j]<<')';
				}
				else{
					if(zxq[i]==1){
						cout<<list[j]<<'*';
					}
					else cout<<"!"<<list[j]<<'*';
				}
			}	 
		}
	} 
}

kikook
关注
专栏目录
C++语言：C语言/C++语言的简介、发展历史、应用领域、编程语言环境IDE安装、最强学习路线之详细攻略
近期请国内外头部出版社可尽快私信博主！——心比天高，仗剑走天涯，保持热爱，奔赴向梦想！低调，谦虚，自律，反思，成长，还算是比较正能量的博主，公益免费传播……内心特别想在AI界做出一些可以推进历史进程影响力的东西(兴趣使然，有点小情怀，也有点使命感呀)…
09-04 2万+
​ C++语言：C语言/C++语言的简介、发展历史、应用领域、编程语言环境IDE安装、最强学习路线之详细攻略 目录 C语言/C++语言的简介 C语言/C++语言的应用领域 C++语言的IDE安装 C++语言的学习路线 C++语言实现的算法案例集合 C语言/C++语言的简介 1995年之前，江湖比较平静，编程语言有C、basics、pascal、 fortran、汇编语言，还有foxbase（曾经被列入
c,c++,qt从入门到地狱
最新发布
Talmaidev@qq.com
06-18 954
2024.8.9 update
真值表计算器
03-11
真值表计算器，支持（），->，<-， = ，& * ^，| + v ；支持语法检查
在线真值表生成器
热门推荐
qq_34048218的博客
01-09 1万+
在线真值表生成器，公式化简器
数理逻辑辅助工具-合取范式&析取范式生成器
01-22
数理逻辑的辅助小程序，可以给出任意命题公式的合取范式及析取范式。主要用二叉树实现。压缩包内有比较详细的说明文档
真值表生成器
11-17
适用于离散数学，数字逻辑等课程的辅助工具。如有疑问，请联系qq:397974087 email:winter.bmw@stu.xjtu.edu.cn
范式计算器
02-03
文件是范式计算器的python代码，含有图形界面，可以计算主析取范式和主合取范式。
基于C++实现真值表范式计算器（离散数学课程设计）
08-28
离散数学是计算机科学中...总之，这个C++编写的真值表范式计算器是对离散数学核心概念的实践应用，它有助于深入理解和掌握布尔代数及其在计算机科学中的应用。通过实际操作，不仅可以巩固理论知识，还能提升编程技能。
c++实验题.docx
02-27
C++是一种静态类型的、编译式的、通用的、大小写敏感的、不仅支持过程化编程还支持面向对象编程和泛型编程等多种编程范式的编程语言。它是由Bjarne Stroustrup在贝尔实验室工作期间于1979年开始设计并实现的，最初...
【C++编程入门基础】：零基础快速掌握C++基本语法
作为编程新手，开始学习C++可能会感到有些挑战，但只要坚持不懈，掌握其基础知识，你将会开启通往复杂系统开发的大门。 ## 1.2 安装C++开发环境 在开始编程之前，你需要一个合适的开发环境。推荐使用Visual Studio...
离散数学真值表生成器
04-25
使用MFC CString 对串的检测分析
Python实现主范式计算器（带GUI）
03-07
用Python实现的主范式计算器，用Tkinter写的一个简单的GUI，用堆栈法和一些结合的方法处理各种逻辑计算符。这个代码是离散数学课程的一个作业，网上太多代码都是错的，后来把那些代码改来改去还是bug奇多。最后还是自己写了一个。支持括号、析取合取、蕴含等价。
Ｃ＋＋真值表模拟程序
12-03
这是一个用Ｃ＋＋做的离散数学 实现任意给定公式真值表的计算，并显示运算结果。
范式计算器 windows窗口显示
04-24
windows窗口显示范式计算器，弹窗显示结果，可以计算两变量或三变量主合取范式与析取范式
计算主合取范式，主析取范式
07-01
通过代码编译出的程序帮助用户求出其输入的命题公式的真值表以及主析取范式和主合取范式。 要求：能够列出含三个以内变量的合式公式的真值表，并给出相应的主析取和主合取范式。
一个真值表小工具
grefwfdxz
07-31 2117
一个真值表小工具 网址：https://github.com/bvanjoi/truth-table-generator. 忙里偷闲写了一个真值表小工具，它的界面长这样： 实现的功能有：与，或，非，异或，全等，蕴含。 举个极端的例子，输入：( test /\ aaadw /\ (_fds<->a /\ T \/ fn) /\ dcx \/ vd) /\ ~ s1sand <->(notaf<->~~fforad)->F/\(~t -> xwtqs^a)-&g
主析取范式
encounterxy_的博客
04-14 2085
#include<bits/stdc++.h> using namespace std; stackoptr; stackopnd; int cmp[10][10] { {’ ‘,’!’,’!’,’!’,’!’,’<’,’!’,’!’},//! {’<’,’>’,’>’,’>’,’>’,’<’,’>’,’>’},//* {’<...
探索真值表工具：Daidr's Truth Table
gitblog_00078的博客
04-21 504
探索真值表工具：Daidr's Truth Table truth-table根据逻辑表达式生成对应真值表 (Generate corresponding truth table from logical expression)项目地址:https://gitcode.com/gh_mirrors/tr/truth-table 项目简介 Daidr's Truth Table 是一个在线的逻...
数据库实验：简易计算器
m0_50890346的博客
04-21 511
1.创建 打开visual stdio 选择Windows窗体应用 命名项目名称，选择保存的地址，点击下一步 点击创建完成创建 2.数字功能的实现 在工具箱中找到button按钮，拖动进窗体中即可，我们要完成数字0-9的创建所以要拖动十个按钮，选中刚才拖动进来的button1 CTRL C CTRL VVVV…就可以了 然后在工具箱的搜索栏中搜索TextBox拖动进去。这是我们输入数字的地方 点击button1按钮找到它的属性把他的text文本改为1 右键button1就可以找到属性 以此类推修
评论 10
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值