今天,终于完成了用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);
}
C语言算法:
/**求P、Q的单蕴涵的函数**/
void S_impl(int p,int q){
int a = (!p) || q;
printf("\n\t\tP和Q的单蕴涵为:P -> Q = %d\n",a);
}