c语言命题逻辑,C语言实现离散数学中的命题逻辑

今天，终于完成了用C语言实现了离散数学里关于命题逻辑的运算，一开始想用栈来实现，但是发现自己对栈还不太熟悉，于是在网上参考了一下其他人的做法，最后终于整出来了。先做个记录，下次再用栈实现。

要求：

从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、非取和单、双蕴涵的真值，

求任意一个命题公式的真值表(包括公式合法性检查)，并根据真值表求主范式(分析取主范式、合取主范式)

一、算法分析

①合取/\：p，q都为1的时候为1，其他为0

C语言算法：

/**求P、Q的合取的函数**/

void Conj(int p,int q){

int a = p && q;

printf('\n \t\tP和Q的合取为：P/\\Q = %d\n',a);

}

②析取\/：p，q都为0的时候为0，其他为1

C语言算法：

/**求P、Q的析取的函数**/

void Disj(int p,int q){

int a = p || q;

printf('\n \t\tP和Q的析取为：P\\/Q = %d\n',a);

}

③非取！：p为1时，!p为0；p为0时，!P为1

C语言算法：

/**求P的非取的函数**/

void P_unor(int p){

int a = !p;

printf('\n\t\tP的非取为：!P = %d\n',a);

}

/**求Q的非取的函数**/

void Q_unor(int q){

int a = !q;

printf('\n\t\tQ的非取为：!Q = %d\n',a);

}

④蕴含->：p为1，q为0时为0，其他为1

C语言算法：

/**求P、Q的单蕴涵的函数**/

void S_impl(int p,int q){

int a = (!p) || q;

printf('\n\t\tP和Q的单蕴涵为：P -> Q = %d\n',a);

}

⑤双蕴涵：p，q同真同假

C语言算法：

/**求P、Q的双蕴涵的函数**/

void D_impl(int p,int q){

int a = ((!p) || q) && ((!q) || p);

printf('\n\t\tP和Q的双蕴涵为：P Q = %d\n',a);

}

⑥求任意一个命题公式的真值表

根据真值表求主范式

C语言算法：

首先是输入一个式子，判断其合理性后从式子中查找出变量的个数，开辟一个二进制函数，用来生成真值表，然后用函数运算，输出结果，并根据结果归类给范式，最后输出范式。

函数部分，主要是3个函数，一个为真值表递加函数，通过二进制的加法原理递进产生，一个为分级运算函数，这个函数是通过判断括号，选出最内级括号的内容执行运算函数，这样一级一级向外运算，最后得出最终结果，剩下一个为主运算函数，按照运算符号的优先级按顺序进行运算，如先将所有非运算运算完，再执行与运算。

⑦主运算函数

/**主运算函数**/

int MAP(char sz[N],char ccu[N],int icu[N],int h0)

{

int i, h = 0, j = 0, j1 = 0, j2 = 0, j3 = 0, j4 = 0, j5 = 0, i1, i2, p1 = -1, p2 = -1, s;

char dt[N];

s = strlen(sz);

if(s == 1)

if(sz[0] == -2) //判断是否是最后一项

return 0;

else

return 1; //1 就是sz[0]的值、

else{

for(i = 0; i < s-j; i ) //先处理非

if(sz[i] == '!'){

for(i1 = 0; i1 < h0; i1 )

if(sz[i 1] == ccu[i1])//将变量赋值并给P1

p1 = icu[i1];

if(sz[i 1] == -2)//如果是前运算结果的0，则P1等于0

p1 = 0;

if(p1 == -1)//如果是数字，直接给P1

p1 = sz[i 1];

dt[j 2] = !p1;//非运算

sz[i] = j 2;

j ;

p1 = 0;

for(i1 = i 1; i1 < s-j; i1 )

sz[i1] = sz[i1 1];//将后续式子前移一项

}

p1 = -1;

j1 = j;

for(i = 0; i < s-j1-2*j2; i ) // 处理与

if(sz[i] == '&'){

for(i1 = 0; i1 < h0; i1 ){

if(sz[i-1] == ccu[i1])//将变量赋值并给P1

p1 = icu[i1];

if(sz[i 1] == ccu[i1])//将变量赋值并给P2

p2 = icu[i1];

}

for(i2 = 2; i2 < j 2; i2 ) {

if(sz[i-1] == i2) //如果为前计算结果，将结果赋值并给P1

p1 = dt[i2];

if(sz[i 1] == i2) //如果为前计算结果，将结果赋值并给P2

p2 = dt[i2];

}

if(sz[i-1] == -2)//如果是前运算结果的0，则P1等于0

p1 = 0;

if(sz[i 1] == -2)//如果是前运算结果的0，则P2等于0

p2 = 0;

if(p1 == -1) //如果是数字，直接给P1

p1 = (int)(sz[i-1]);

if(p2 ==-1)//如果是数字，直接给P2

p2 = (int)(sz[i 1]);

dt[j 2] = p1 && p2;//与运算

sz[i-1] = j 2;

j ;

j2 ;

p1 = -1;

p2 = -1;

for(i1 = i; i1 < s-j1-2*j2; i1 )//将后续式子前移两项

sz[i1] = sz[i1 2];

i = i-1;

}

for(i = 0; i < s-j1-2*j2-2*j3; i ) // 处理或。

if(sz[i] == '|'){

for(i1 = 0; i1 < h0; i1 ){

if(sz[i-1] == ccu[i1])//将变量赋值并给P1

p1 = icu[i1];

if(sz[i 1] == ccu[i1])//将变量赋值并给P2

p2 = icu[i1];

}

for(i2=2;i2

if(sz[i-1] == i2) //如果为前计算结果，将结果赋值并给P1

p1 = dt[i2];

if(sz[i 1] == i2)//如果为前计算结果，将结果赋值并给P2

p2 = dt[i2];

}

if(sz[i-1] == -2)//如果是前运算结果的0，则P1等于0

p1 = 0;

if(sz[i 1] == -2)//如果是前运算结果的0，则P2等于0

p2 = 0;

if(p1 == -1)//如果是数字，直接给P1

p1 = sz[i-1];

if(p2 == -1)//如果是数字，直接给P2

p2 = sz[i 1];

dt[j 2] = p1 || p2;//或运算

sz[i-1] = j 2;

j ;

j3 ;

p1 = -1;

p2 = -1;

for(i1 = i; i1 < s-j1-2*j2-2*j3; i1 )//将后续式子前移两项

sz[i1]=sz[i1 2];

i--;

}

for(i = 0; i < s-j1-2*j2-2*j3-2*j4; i ) // 处理蕴含。

if(sz[i] == '^'){

for(i1 = 0; i1 < h0; i1 ){

if(sz[i-1] == ccu[i1])//将变量赋值并给P1

p1 = icu[i1];

if(sz[i 1] == ccu[i1])//将变量赋值并给P2

p2 = icu[i1];

}

for(i2 = 2; i2 < j 2; i2 ) {

if(sz[i-1] == i2) //如果为前计算结果，将结果赋值并给P1

p1 = dt[i2];

if(sz[i 1] == i2) //如果为前计算结果，将结果赋值并给P2

p2 = dt[i2];

}

if(sz[i-1] == -2)//如果是前运算结果的0，则P1等于0

p1 = 0;

if(sz[i 1] == -2)//如果是前运算结果的0，则P2等于0

p2 = 0;

if(p1 == -1)//如果是数字，直接给P1

p1 = sz[i-1];

if(p2 == -1)//如果是数字，直接给P2

p2 = sz[i 1];

dt[j 2] = (!p1) || p2;//蕴含运算

sz[i-1] = j 2;

j ;

j4 ;

p1 = -1;

p2 = -1;

for(i1 = i; i1 < s-j1-2*j2-2*j3-2*j4; i1 )//将后续式子前移两项

sz[i1] = sz[i1 2];

i--;

}

for(i = 0; i < s-j1-2*j2-2*j3-2*j4-2*j5; i ) // 处理等值。

if(sz[i] == '~'){

for(i1 = 0; i1 < h0; i1 ){

if(sz[i-1] == ccu[i1])//将变量赋值并给P1

p1 = icu[i1];

if(sz[i 1] == ccu[i1])//将变量赋值并给P2

p2 = icu[i1];

}

for(i2 = 2; i2 < j 2; i2 ) {

if(sz[i-1] == i2) //如果为前计算结果，将结果赋值并给P1

p1 = dt[i2];

if(sz[i 1] == i2) //如果为前计算结果，将结果赋值并给P2

p2 = dt[i2];

}

if(sz[i-1] == -2)//如果是前运算结果的0，则P1等于0

p1 = 0;

if(sz[i 1] == -2)//如果是前运算结果的0，则P2等于0

p2 = 0;

if(p1 == -1)//如果是数字，直接给P1

p1 = sz[i-1];

if(p2 == -1)//如果是数字，直接给P2

p2 = sz[i 1];

dt[j 2] = (!p1 || p2) && (!p2 || p1);//等值运算

sz[i-1] = j 2;

j ;

j5 ;

p1 = -1;

p2 = -1;

for(i1 = i; i1 < s-j1-2*j2-2*j3-2*j4-2*j5; i1 )//将后续式子前移两项

sz[i1] = sz[i1 2];

i--;

}

return dt[j 1];//返回结果

}

}

⑧分级运算函数

/**分级运算函数**/

int CR(char sz[N],char ccu[N],int icu[N],int h0)

{

int i,j,h,s,kh = 0,wz[N],a;

char xs1[N],ckh[N]; //xs1用来保存括号内的字符 ckh用来保存括号。

s = strlen(sz);

for(i = 0; i < s; i )

if(sz[i] == '(' || sz[i] == ')'){ //判断括号

wz[kh] = i; //存储括号位置

ckh[kh] = sz[i]; //存储括号类型

kh ;

}

if(kh == 0)

return MAP(sz,ccu,icu,h0); //如果无括号，直接运行

else{

for(i = 0; i < kh; i )

if(ckh[i] == ')') //找到第一个' )'

break;

for(j = wz[i-1] 1,h=0; j < wz[i]; j ,h ) //存储最内级括号中的内容

xs1[h] = sz[j];

xs1[h] = '\0';

a = MAP(xs1,ccu,icu,h0); //运行最内级括号的式子，得到结果

if(a == 1) //判断并存储结果

sz[wz[i-1]] = 1;

else

sz[wz[i-1]] = -2;

for(j = wz[i-1] 1; j < s wz[i-1] - wz[i]; j )//将括号后内容前移

sz[j] = sz[j wz[i] - wz[i-1]];

sz[j] = '\0';

return CR(sz,ccu,icu,h0);//循环执行

}

}

⑨二进制赋值函数

/**二进制赋值函数**/

void BVA(int b[N],int f){

int i;

i = f;

if(b[f] == 0) //加1

b[f] = 1;

else //进位

{

b[f] = 0;

BVA(b,--i);

}

}

二、程序运行如下

输入数据，进行操作选择：

选a:求P、Q的合取、析取、非取、单蕴涵、双蕴涵

输入数据：

选择进行的操作：

选a:

选b:

选g:

返回上一级

选b:求任意一个命题公式的真值表及其主范式

公式合法性检查:

输入合法数据后：

选择b:

返回上一级

选c:

退出系统