离散数学编程实现真值表输出

原创已于 2023-03-26 01:01:32 修改 · 置顶 · 1.5w 阅读

92 ·

CC 4.0 BY-SA版权

文章标签：

#离散数学 #编程 #真值表

于 2018-09-27 23:44:26 首次发布

本文介绍了一种使用C++编程语言生成逻辑命题的真值表的方法，并展示了如何从真值表中推导出命题的主析取范式和主合取范式。通过用户输入命题数和真值，程序能够输出完整的真值表及相应的逻辑表达式。

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

根据给出的命题数n与对应的真值写出真值表

#include <iostream>
#include <math.h>
using namespace std;
void shuru(char *p,int s);//输入T or F
void shuchu(char *p,int s);//输出真值表
void shizi(char *p,int s);//输出对应的主析取式，主合取式
int main()
{
	int n;
	cout<<"input the value of n"<<endl;
	cin>>n;
	cout<<"input"<<pow(2,n)<<"个 T or F"<<endl;
	char a[100];
	shuru(a,n);
	char b[10]={'p','q','r','s','d','m','n','l','j','k'};
	cout<<"----------------------"<<endl;
	for(int i=0;i<n;i++){//根据命题数输出命题符号?
		cout<<b[i]<<"		";
	}
	cout<<"VALUE"<<endl;
	shuchu(a,n);
	shizi(a,n);
}
void shuru(char *p,int s){
	for (int i=0;i<pow(2,s);i++)//判断输入的是否为F或者T,若是，存入数组a，反之，跳过?
	{
			char h;
			while(1)
			{
				cin>>h;
				if(h=='T' || h=='F')
				{
				p[i]=h;
				break;
				}
				else
				{
					getchar();
				}
			}
	}
}
void shuchu(char *p,int s){
	int k=0,c[2]={0,1};
	while(k<pow(2,s))//输出每个命题的真值?
	{
		for(int i=0;i<s;i++){
		cout<<int(k/pow(2,s-i-1))%2<<"		";
		}
		cout<<p[k]<<endl;
		k++;
	}
	cout<<endl;
}
void shizi(char *p,int s){
	cout<<"主析取范式为:";
	int flag=0;
	for(int i=0;i<pow(2,s);i++)
	{
		if(p[i]=='T'){
		if(flag==1)
		cout<<"\\/";
		cout<<"m"<<i;
		flag=1;
		}	
	}
	cout<<endl<<"主合取范式为:";
	flag=0;
	for(int i=0;i<pow(2,s);i++)
	{
		if(p[i]=='F'){
		if(flag==1)
		cout<<"/\\";
		cout<<"M"<<i;
		flag=1;
		}	
	}
}

运行结果：