创建一个C语言程序来生成给定复合命题 (p∧q∧r∧s)→(¬p∧q)→(r∧s) 的真值表，及运行结果

在C语言中创建一个程序来生成复合命题的真值表，我们需要使用布尔逻辑运算符（AND（&&）、OR（||）、NOT(!)）以及一个二维数组来存储输入变量的状态和最终的结果。这里是一个简单的示例，我们将使用循环遍历所有可能的输入组合：

#include <stdio.h>

// 定义一个结构体表示命题状态
typedef struct {
    int p;
    int q;
    int r;
    int s;
} Proposition;

// 判断复合命题的真值
int evaluateProposition(Proposition prop, int formula) {
    if (formula == 0) { // (p ∧ q ∧ r ∧ s)
        return prop.p && prop.q && prop.r && prop.s;
    } else if (formula == 1) { // ¬p ∧ q
        return !prop.p && prop.q;
    } else { // r ∧ s
        return prop.r && prop.s;
    }
}

int main() {
    const int numVariables = 4; // p, q, r, s
    int propositions[numVariables][numVariables + 1]; // 真值表

    // 初始化所有变量为0或1（代表假或真）
    for (int i = 0; i < (1 << numVariables); i++) { // 2^n 表示n位二进制的所有可能性
        Proposition prop = {i & 1, (i >> 1) & 1, (i >> 2) & 1, (i >> 3) & 1}; // 将二进制数转换为命题形式
        
        // 计算复合命题的真值
        propositions[i][0] = i; // 输入变量
        for (int j = 1; j <= 3; j++) {
            propositions[i][j] = evaluateProposition(prop, j - 1);
        }

        propositions[i][4] = evaluateProposition(prop, 5); // 最终结论
    }

    // 打印真值表
    printf("Input\t(p ∧ q ∧ r ∧ s)\t(¬p ∧ q)\tr ∧ s\tConclusion\n");
    for (int i = 0; i < (1 << numVariables); i++) {
        printf("%d\t%d\t%d\t%d\t%d\n", propositions[i][0], propositions[i][1], propositions[i][2], propositions[i][3], propositions[i][4]);
    }

    return 0;
}

当你运行这个程序时，它将打印出给定复合命题的所有可能输入组合及其对应的复合命题的真值，以及最后的结论。