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);
　　}