离散数学实践:常用逻辑联结词计算

准备知识

在命题逻辑中，五个常用逻辑联结词是最基本的概念，它的计算是后续合式公式值的计算的基础。
（1）    真值的表示：整数0表示真值为假，整数1表示真值为真。
（2）    否定逻辑联结词：当实参为0时，返回1，否则返回0。
（3）    合取逻辑联结词：当两个实参同时为1时，返回1，否则返回0。
（4）    析取逻辑联结词：当两个实参同时为0时，返回0，否则返回1。
（5）    条件逻辑联结词：当条件的前件为1，后件为0时，返回0，否则返回1。
（6）    双条件逻辑联结词：当双条件的左右同时为0，或同时为1时，返回1，否则返回0。

目的是将五个常用逻辑联结词的计算过程封装成五个函数，并测试简单的公式求值。以便熟悉五个常用逻辑联结词的基本概念，并编程求值。

参考代码

#include <stdio.h>

//Member funtions and define

int negation(const int p);
int disjunction(const int p, const int q);
int conjunction(const int p, const int q);
int biconditional(const int p, const int q);
int PropostionalCompute(const int p, const int q ,const char ch);

// Negation  function
int negation(const int p)
{
return p == 0 ? 1 : 0;
}

//Conjuciton function
int conjunction(const int p, const int q)
{
return (p != 0 && q != 0) ? 1 : 0;
}

//Disjunciton function
int disjunction(const int p, const int q)
{
return (p == 0 && q == 0) ? 0 : 1;
}

//Conditional function
int conditional(const int p, const int q)
{
return (p != 0 && q == 0) ? 0 : 1;
}

//Biconditional function
int biconditional(const int p, const int q)
{
return ((p == 0 && q == 0) || (p != 0 && q != 0)) ? 1 : 0;
}

// PropostionalCompute function: Choice  Propostional Connetive ,
// e.g.: negation, disjuction tec...
int PropostionalCompute(const int p, const int q, const char ch)
{
switch(ch)
{
case '~': return negation(q);
case '+': return disjunction(p, q);
case '*': return conjunction(p, q);
case '>': return conditional(p, q);
case '=': return biconditional(p, q);
default: return -1;
}
}

int main (){

int i ,j; // i,j is an integer
char  k; // k is a char

printf("Enter one Mumber: ");
scanf("%d", &i);
printf("Enter two Mumber: ");
scanf("%d", &j);
printf("Enter Propostional Connetive: ");
scanf("%c",&k);
if(k =='\n'){
scanf("%c",&k);
}

printf ("The Results is %d\n", PropostionalCompute(i,j,k));
return 0;
}

测试结果

关于Discrete Mathematics更多讨论与交流，敬请关注本博客和新浪微博songzi_tea.