离散数学实验（一）命题与逻辑

 命题

    具有真假意义的陈述句被称为命题。例如，“地球围着太阳转。”（真），“地球围着月亮转。”（假），为了对命题作逻辑演算，我们使用大写字母P,Q,R,...表示命题，称为命题符号。命题的真假我们用0和1表示，真为1，假为0。

逻辑联结词

    若干个命题可以通过逻辑联结词构成新的命题，称之为复合命题。复合命题的子命题也可以是复合命题，我们称不是复合命题的命题为简单命题，它不包含任何联结词。复合命题的真值依赖于其中的简单命题的真值。有如下五个常用的联结词。

    否定：设命题P，与P的真值取值相反的复合命题被称为命题P的否定，记作┐P，读作非P。真值表如下：

    合取：设P,Q是两个命题，复合命题“P并且Q”称为P和Q的合取，记为P∧Q，读作P合取Q，规定P∧Q为真当且仅当P与Q同时为真。真值表如下：

    析取：设P,Q是两个命题，复合命题“P或者Q”称为P和Q的析取，记为P∨Q，读作P析取Q，规定P∨Q为真当且仅当P与Q中至少一个为真。真值表如下：

    蕴含：设P,Q是两个命题，复合命题“如果P，则Q”称为P蕴含Q，记P→Q，读作P蕴含Q，称P为条件，Q为结论。规定P→Q为假当且仅当P为真而Q为假。真值表如下：

    等价：设P,Q是两个命题，复合命题“P当且仅当Q”称为P等价于Q，记为P↔Q，读作P等价于Q，规定P↔Q为真当且仅当P与Q同时为真。真值表如下：

编程要求

编程实现(P→Q)∧R的真值表。

构造任意命题公式的真值表 给出任意变元（不超过四个命题变元）的合式 公式，构造该命题公式的真值

#define _CRT_SECURE_NO_WARNINGS
#include <stdio.h>
#include <iostream>
using namespace std;
int hequ(int a, int b)
{
    if (a == 1 && b == 1)
        return 1;
    else
        return 0;
}
int dtj(int a, int b)
{
    if (a == 1 && b == 0)
        return 0;
    else
        return 1;
}
int main()
{
    int P, Q, R;
    int m, n;
    printf("P Q R P->Q (P->Q)andR\n");
    for (int i = 0; i <= 1; i++)
    {
        for (int j = 0; j <= 1; j++)
        {
            for (int k = 0; k <= 1; k++)
            {

                n = dtj(i, j);
                m = hequ(n, k);
                printf("%d %d %d  %d    %d\n", i, j, k, n, m);
            }
        }
    }
}