构造合式公式的真值表C语言

以下是一个简单的 C 语言程序，用于构造合式公式的真值表：

#include <stdio.h>
#include <stdbool.h>

// 定义逻辑运算符常量
#define AND &&
#define OR ||
#define NOT !

// 定义布尔类型
typedef bool boolean;

// 定义逻辑运算函数
boolean and(boolean x, boolean y) {
    return x AND y;
}

boolean or(boolean x, boolean y) {
    return x OR y;
}

boolean not(boolean x) {
    return NOT x;
}

int main() {
    // 定义变量
    boolean p, q, r;

    // 输出表头
    printf("P\tQ\tR\tF(P,Q,R)\n");

    // 构造真值表
    for (p = false; p <= true; p++) {
        for (q = false; q <= true; q++) {
            for (r = false; r <= true; r++) {
                // 计算合式公式的值
                boolean result = or(and(p, q), not(r));

                // 输出结果
                printf("%d\t%d\t%d\t%d\n", p, q, r, result);
            }
        }
    }

    return 0;
}

这个程序可以计算一个三元合式公式 `F(P, Q, R) = (P AND Q) OR NOT R` 的真值表。你可以根据自己的需求修改 `and`、`or`、`not` 函数和合式公式的表达式。