离散数学实验二 真值表

一、实验目的

熟悉五个真值表，掌握真值表技术。

二、实验内容

定义1 设命题变元P1、P2、P3、…、Pn是出现在公式G中的所有命题变元，指定P1、P2、P3、…、Pn 的一组真值，则这组真值称为G的一个解释或指派，常记为Ｉ。
定义2 真值表：公式G在其所有可能的解释下所取真值的表。 
本实验要求从键盘输入一个命题公式列出其真值表。用C语言或MATLAB实现。

三、实验源程序及结果截图
1.实验源程序：

#include <stdio.h>
#include <stdlib.h>
#include <string.h> 
	int a,b;
	int split(char* s)
	{
   
		//只有一个数据 
		if(s[1]==0)
			switch(s[0])
			{
   
				case 'a':return a;
				case 'b':return b;
			 } 
		//判断第一个符号是否为左括号 
		int i=0;
		int l,r;
		if(s[0]!='(')//如果不是，用l暂存数据 
		{
   
			switch(s[0])
			{