离散数学实验报告命题逻辑—构造命题公式的真值表

【实验目的】

使学生熟练掌握利用计算机语言实现逻辑运算的基本方法。

【实验内容】

对给出的任意一个命题公式（不超过四个命题变元），使学生会用C语言的程序编程表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。

【实验原理】

给出任意一个命题公式，我们可以将它用C程序表示出来，并且能够计算它在各组真值指派下所应有的真值（或是逻辑运算的结果）。这有多种方法。上面我们已经给出了逻辑连结词的定义，根据这种定义方法，我们也可以把一个命题公式表示成为条件语句中的条件表达式，这样我们就可以得到该命题公式的逻辑运算结果了。

【程序代码】

#include

using namespace std;

int a[8][3]={{0,0,0},{0,0,1},{0,1,0},{0,1,1},{1,0,0},{1,0,1},{1,1,0},{1,1,1}};

int b[8]={0,0,0,0,0,0,0,0};

int xa[8]={0,0,0,0,0,0,0,0};

int s(char c,int as,int i){//1 true;0 false

if(c=='|'){

if(a[i][as]==1||a[i][as+1]==1){

return 1;

} else{

return 0;

}

}

if(c=='&'){

if(a[i][as]==1&&a[i][as+1]==1){

return 1;

} else{

return 0;

}

}

if(c=='='){

if(a[i][as]==a[i][as+1]){

return 1;

} else{

return 0;

}

}

if(c=='!'){

if(a[i][as]==a[i][as+1]){

return 0;

return 1;

}

}

if(c=='>'){

if(a[i][as]==1||a[i][as+1]==0){

return 0;

} else{

return 1;

}

}

}

int so(char c,int i,int as){

if(c=='|'){

if(xa[i]==1||a[i][as+1]==1){

return 1;

} else{

return 0;

}

}

if(c=='&'){

if(xa[i]==1&&a[i][as+1]==1){

return 1;

} else{

return 0;

}

}

if(c=='='){

if(xa[i]==a[i][as+1]){

return 1;

} else{

return 0;

}

}

if(c=='!'){

if(xa[i]==a[i][as+1]){

return 0;

} else{

return 1;

}

}

if(c=='>'){

if(xa[i]==1||a[i][as+1]==0){

return 0;

return 1;

}

}

}

int main(void) {

string f;

cin>>f;

char c1=f[1];

char c2=f[3];

for(int i=0;i<8;i++){

for(int j=0;j<3;j++){

printf("%d ",a[i][j]);

}

printf("\n");

}

for(int i=0;i<8;i++){

xa[i]=s(c1,0,i);

}

for(int i=0;i<8;i++){

b[i]=so(c2,i,1);

}

for(int i=0;i<8;i++){

printf("%d\n",b[i]);

}

return 0;

}

【实验结果】

【实验心得】