离散数学的命题公式 ,真值表 ,主析取范式的c++代码

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

文章目录

• 前言
• 一、命题公式 ,真值表 ,主析取范式原理
• 二、使用步骤
  • 1.引入库
  • 2.读入数据
• 总结

---

前言

最近老师让我们做离散数学的程序设计;正好做完了,想发在这里记录一下学习成果.

---

一、命题公式 ,真值表 ,主析取范式原理

(1)否定 ┓ (!) : 当P为真时 ┓P为假, 当P为假时 ，┓P为真。

(2)合取 ∧ (&&): 当且仅当P和Q的真值同为真，命题P∧Q的真值才为真；

否则，P∧Q的真值为假。

(3)析取 ∨ (||): 当且仅当P和Q的真值同为假，命题P∨Q的真值才为假；

否则，P∨Q的真值为真。

(4)蕴涵 → (┓P∨Q): 当且仅当P为真,Q为假时，命题P→Q的真值才为假；

否则，P→Q的真值为真。

(5)等价 ↔ : 当且仅当P,Q的真值不同时，命题P↔Q的真值才为假；

否则，P↔Q的真值为真。

(6)命题公式真值表: 设A是含有n个命题变元的命题公式, 将命题公式A在所

有赋值之下取值的情况汇列成表, 称为命题公式A的真值表。

(7)极小项: 对于给定的命题变元，若由命题变元或其否定组成的合取式满足:

            (1) 每个命题变元或其否定两者之一只出现一次。

            (2) 按字典顺序或按下标从小到大顺序出现。

            则称这样的合取式为所给命题变元产生的极小项

二、使用步骤

1.引入库

代码如下（示例)

#include

#include

2.读入数据

代码如下（示例）：

#include
#include
using namespace std;
struct List
{
    int p;
    int q;
    int r;
    //存储在当前指定的真值指派下命题公式的真值 
    int answer;
}a[8];
int main()
 {
     int p,q;
     cout<<"请输入命题p的真值(0/1),p=";
    cin>>p;
    cout<

---

总结

提示：这里对文章进行总结：
例如：以上就是今天要讲的内容 。