用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,