离散数学实验命题变元的运算，真值表....

最新推荐文章于 2023-02-19 13:14:43 发布

老鼠哎大米

最新推荐文章于 2023-02-19 13:14:43 发布

阅读量5.1k

点赞数 1

分类专栏：水题

本文链接：https://blog.csdn.net/u010857889/article/details/16812055

版权

该博客介绍了离散数学实验中关于命题变元的逻辑运算，包括合取、析取、条件、双条件及否定的真值计算。同时，博主提出了一段关于命题公式真值表的代码疑惑，希望能得到高手的解答。

摘要由CSDN通过智能技术生成

1、逻辑联接词的运算

从键盘输入两个命题变元P和Q的真值，输出它们的合取、析取、条件、双条件和P的否定的真值。

#include <iostream>
using namespace std;
int main()
{
    int P,Q;
    cin>>P>>Q;
    cout<<"合取: "<<(P&&Q)<<endl;
    cout<<"或取: "<<(P||Q)<<endl;
    cout<<"否定: "<<(!P)<<endl;
    cout<<"条件: "<<(!P||Q)<<endl;
    cout<<"双条件： "<<((P&&Q)||(!P&&!Q));
    return 0;
}

2、任意一个命题公式