文章目录
 
真值表
实验目的
实验内容
实验步骤
实验源码
实验结果示例
 

 
真值表
 
实验目的
 
 熟悉五个真值表，掌握真值表技术。
 
实验内容
 
定义1 设命题变元P1、P2、P3、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、P3、…、Pn 的一组真值，则这组真值称为G的一个解释或指派，常记为Ｉ。
定义2 真值表：公式G在其所有可能的解释下所取真值的表。 
本实验要求从键盘输入一个命题公式列出其真值表。用C语言或MATLAB实现。
 
实验步骤
 
采用C++编写代码，使用VC++6.0创建C++工程。
定义全局变量a、b，通过改变a、b的值来确定命题变元的所有指派的组合。
定义递归函数化简命题公式至只剩下两个命题变元和一个联结词或只有一个命题变元，判断其真值并返回。
主函数：从键盘输入命题公式，不断改变a、b的值为T或F来确定所有的真值指派并在每种情况下分别调用递归函数求解命题公式的真值，打印真值表。
 
实验源码
 
#include<iostream>
#include<string>
using namespace std;
char a,b;
char split(char* s);
int main()
{
 char s[10];
 cout<<"使用说明："<<endl;
 cout<<"1.仅支持含有两个变元的复合命题（分别用a、b表示）"<<endl;
 cout<<"2.合取&、析取|、单条件*、双条件+、不支持否定"<<endl;
 cout<<"输入复合命题时将联结词两端的子公式用（）括起来,如：a&(b|(a*(b+a))"<<endl; 
 cout<<endl;
 cout<<"请输入命题公式:";
 cin>>s;
 cout<<"真值表："<<endl;
 cout<<"a\tb\t"<<s<<endl;
 a='T';b='T';
 cout<<"T\tT\t"<<split(s)<<endl;
 a='T';b='F';
 cout<<"T\tF\t"<<split(s)<<endl;
 a='F';b='T';
 cout<<"F\tT\t"<<split(s)<<endl;
 a='F';b='F';
 cout<<"F\tF\t"<<split(s)<<endl;
 return 0;
}
char split(char*s)
{
 if(s[1]==0)
  switch(s[0])
  {
   case 'a':return a;
   case 'b':return b;
  } 
 int i=0;
 char l,r;
 if(s[0]!='(')
 {
  switch(s[0])
  {
   case 'a':l=a;
    break;
   case 'b':l=b;
    break;
  }
  i++;
 }
 else
 {
  i++;
  char s1[10];
  for(int j=0;s[i]!=')';j++,i++)
   s1[j]=s[i];
  l=split(s1);
  cout<<l;
 }
 char t[10];
 int j,k;
 for(j=0,k=i+1;s[k]!=0;k++)
  if(s[k]!='('&&s[k]!=')')
   t[j++]=s[k];
 t[j]=0;
 r=split(t);
 switch(s[i])
 {
  case '&':{
   if(l=='T'&&r=='T')
    return 'T';
   else
    return 'F';
  }
  case '|':{
   if(l=='F'&&r=='F')
    return 'F';
   else
    return 'T';
  }
  case '*':{
   if(l=='T'&&r=='F')
    return 'F';
   else
    return 'T';
   }
  case '+':{
   if(l==r)
    return 'T';
   else
    return 'F';
  }
 }
}
 
实验结果示例
 

一.   门电路真值表
 
        
 

 
 
二.   线网真值表
 
        
 

 
 
三.   case比较真值表
 
         
casex
0
1
x
z
0
1
0
1
1
1
0
1
1
1
x
1
1
1
1
z
1
1
1
1
 
casez
0
1
x
z
0
1
0
0
1
1
0
1
0
1
x
0
0
1
1
z
1
1
1
1
 
case
0
1
x
z
0
1
0
0
0
1
0
1
0
0
x
0
0
1
0
z
0
0
0
1
 

常用RGB色值表








浅粉红 #FFB6C1 255,182,193 粉红 #FFC0CB 255,192,203 猩红/深红 #DC143C 220,20,60 淡紫红 #FFF0F5 255,240,245 弱紫罗兰红 #DB7093 219,112,147 热情的粉红 #FF69B4 255,105,180 深粉红 #FF1493 255,20,147 中紫罗兰红 #C71585 199,21,133 兰花紫 #DA70D6 218,112,214 蓟 #D8BFD8 216,191,216 李子紫 #DDA0DD 221,160,221 紫罗兰 #EE82EE 238,130,238 洋红/玫瑰红 #FF00FF 255,0,255 灯笼海棠/紫红 #FF00FF 255,0,255 深洋红 #8B008B 139,0,139 紫色 #800080 128,0,128 中兰花紫 #BA55D3 186,85,211 暗紫罗兰 #9400D3 148,0,211 暗兰花紫 #9932CC 153,50,204 靛青/紫兰色 #4B0082 75,0,130 蓝紫罗兰 #8A2BE2 138,43,226 中紫色 #9370DB 147,112,219 中板岩蓝 #7B68EE 123,104,238 板岩蓝 #6A5ACD 106,90,205 暗板岩蓝 #483D8B 72,61,139 熏衣草淡紫 #E6E6FA 230,230,250 幽灵白 #F8F8FF 248,248,255 纯蓝 #0000FF 0,0,255 中蓝色 #0000CD 0,0,205 午夜蓝 #191970 25,25,112 暗蓝色 #00008B 0,0,139 海军蓝 #000080 0,0,128 皇家蓝/宝蓝 #4169E1 65,105,225 矢车菊蓝 #6495ED 100,149,237 亮钢蓝 #B0C4DE 176,196,222 亮石板灰 #778899 119,136,153 石板灰 #708090 112,128,144 道奇蓝 #1E90FF 30,144,255 爱丽丝蓝 #F0F8FF 240,248,255 钢蓝/铁青 #4682B4 70,130,180 亮天蓝色 #87CEFA 135,206,250 天蓝色 #87CEEB 135,206,235 深天蓝 #00BFFF 0,191,255 亮蓝 #ADD8E6 173,216,230 火药青 #B0E0E6 176,224,230 军服蓝 #5F9EA0 95,158,160 蔚蓝色 #F0FFFF 240,255,255 淡青色 #E0FFFF 224,255,255 弱绿宝石 #AFEEEE 175,238,238 青色 #00FFFF 0,255,255 水色 #00FFFF 0,255,255 暗绿宝石 #00CED1 0,206,209 暗石板灰 #2F4F4F 47,79,79 暗青色 #008B8B 0,139,139 水鸭色 #008080 0,128,128 中绿宝石 #41CC 72,209,204 浅海洋绿 #20B2AA 32,178,170 绿宝石 #40E0D0 64,224,208 宝石碧绿 #7FFFD4 127,255,212 中宝石碧绿 #66CDAA 102,205,170 中春绿色 #00FA9A 0,250,154 薄荷奶油 #F5FFFA 245,255,250 春绿色 #00FF7F 0,255,127 中海洋绿 #3CB371 60,179,113 海洋绿 #2E8B57 46,139,87 蜜瓜色 #F0FFF0 240,255,240 淡绿色 #90EE90 144,238,144 弱绿色 #98FB98 152,251,152 暗海洋绿 #8FBC8F 143,188,143 闪光深绿 #32CD32 50,205,50 闪光绿 #00FF00 0,255,0 森林绿 #228B22 34,139,34 纯绿 #008000 0,128,0 暗绿色 #006400 0,100,0 查特酒绿 #7FFF00 127,255,0 草坪绿 #7CFC00 124,252,0 绿黄色 #ADFF2F 173,255,47 暗橄榄绿 #556B2F 85,107,47 黄绿色 #9ACD32 154,205,50 橄榄褐色 #6B8E23 107,142,35 米色/灰棕色 #F5F5DC 245,245,220 亮菊黄 #FAFAD2 250,250,210 象牙 #FFFFF0 255,255,240 浅黄色 #FFFFE0 255,255,224 纯黄 #FFFF00 255,255,0 橄榄 #808000 128,128,0 深卡叽布 #BDB76B 189,183,107 柠檬绸 #FFFACD 255,250,205 灰菊黄 #EEE8AA 238,232,170 卡叽布 #F0E68C 240,230,140 金色 #FFD700 255,215,0 玉米丝色 #FFFC 255,248,220 金菊黄 #DAA520 218,165,32 暗金菊黄 #B8860B 184,134,11 花的白色 #FFFAF0 255,250,240 旧蕾丝 #FDF5E6 253,245,230 小麦色 #F5DEB3 245,222,179 鹿皮靴 #FFE4B5 255,228,181 橙色 #FFA500 255,165,0 番木瓜 #FFEFD5 255,239,213 发白的杏仁色 #FFEBCD 255,235,205 土著白 #FFDEAD 255,222,173 古董白 #FAEBD7 250,235,215 茶色 #D2B48C 210,180,140 硬木色 #DEB887 222,184,135 陶坯黄 #FFE4C4 255,228,196 深橙色 #FF8C00 255,140,0 亚麻布 #FAF0E6 250,240,230 秘鲁 #CD853F 205,133,63 桃肉色 #FFDAB9 255,218,185 沙棕色 #F4A460 244,164,96 巧克力 #D2691E 210,105,30 马鞍棕色 #8B4513 139,69,19 海贝壳 #FFF5EE 255,245,238 黄土赭色 #A0522D 160,82,45 浅鲑鱼肉色 #FFA07A 255,160,122 珊瑚 #FF7F50 255,127,80 橙红色 #FF4500 255,69,0 深鲜肉/鲑鱼色 #E9967A 233,150,122 番茄红 #FF6347 255,99,71

 
 
根据给出的命题数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;
		}	
	}
}
 
 运行结果：