c语言命题公式的真值表代码

在C语言中，我们可以利用二维数组来表示命题公式（逻辑表达式）的真值表。真值表是一种记录变量取所有可能值组合时，命题结果是否为真的表格。假设我们有一个简单的二元命题公式A ∧ B（即AND运算），其真值表会有四种情况：

#include <stdio.h>

#define VARIABLES 2 // 变量数
#define VALUES 2     // 每个变量可能的值 (0或1)

// 表示命题公式的结构体
typedef struct {
    int A;
    int B;
    int result; // 结果
} TruthTable;

// 真值表数组
TruthTable formula_table[VARIABLES][VALUES * VALUES];

int main() {
    // 初始化真值表
    for (int i = 0; i < VARIABLES; i++) { // 遍历每个变量
        for (int j = 0; j < VALUES * VALUES; j++) { // 对于变量的每种取值组合
            int a = (j / VALUES); // 取A的值
            int b = j % VALUES;   // 取B的值

            formula_table[i][j].A = a;
            formula_table[i][j].B = b;
            formula_table[i][j].result = (a && b) ? 1 : 0; // 计算结果，这里仅演示AND运算
        }
    }

    // 打印真值表
    printf("A\tB\tResult\n");
    for (int i = 0; i < VARIABLES; i++) {
        for (int j = 0; j < VALUES * VALUES; j++) {
            printf("%d\t%d\t%d\n", formula_table[i][j].A, formula_table[i][j].B, formula_table[i][j].result);
        }
    }

    return 0;
}

这个程序会打印出A和B的每一个可能组合以及它们AND运算的结果。如果你想添加其他类型的命题公式或操作，只需相应地修改计算`formula_table[i][j].result`的部分。