用c语言实现：给出一个命题公式，列出其真值表c++

在C语言中，创建一个命题公式的真值表通常涉及到布尔逻辑运算，如AND、OR、NOT和XOR等。这里我们可以简单地用二进制表示每一位的真假状态，然后遍历所有可能的情况来生成真值表。下面是一个简单的例子，展示如何实现一个3位命题公式的真值表：

#include <stdio.h>

// 定义布尔运算函数
int AND(int a, int b) {
    return (a && b);
}

int OR(int a, int b) {
    return (a || b);
}

int NOT(int a) {
    return (!a);
}

int XOR(int a, int b) {
    return ((a ^ b) == 0 ? 0 : 1); // XOR本质上是对等价的判断
}

void print_truth_table(int n_bits) {
    for (int i = 0; i < (1 << n_bits); ++i) { // 从0到2^n - 1
        printf("%d ", i); // 输出当前的状态，二进制形式
        int value = 1; // 初始化结果为1（真）
        for (int j = 0; j < n_bits; ++j) {
            if (i & (1 << j)) { // 判断第j位是否为1
                value = value * 2 + AND(value, NOT(1 << j)); // 根据运算规则更新结果
            }
        }
        printf("%d\n", value); // 输出计算出的结果
    }
}

int main() {
    const int n_bits = 2; // 示例：2位命题公式
    print_truth_table(n_bits);
    return 0;
}

在这个示例中，`print_truth_table`函数会递归地计算每个输入组合下的命题公式结果。注意这只是一个基础的实现，并未涵盖所有的逻辑运算，实际应用可能需要扩展到支持更复杂的公式。