设A、B、C、D为命题变元，编程画出下列命题公式的真值表: (1)¬A^B (2)CvD (3)(┐ A ^ B) → (C v D) 要求:实验结果须通过运算给出，不能直接输出结果。用C语言代码描述

在C语言中，我们可以创建一个二维数组来表示命题变量的真值组合，并使用嵌套循环生成所有可能的组合，然后计算每个公式的结果。这里是一个简单的示例，使用`int`类型的数组来存储命题的真值（0代表假，1代表真），并用函数来计算每个公式：

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

// 定义命题变量
#define NUM_VARS 4
bool vars[NUM_VARS];

// 计算逻辑操作
bool not(bool val) {
    return !val;
}

bool and(bool a, bool b) {
    return a && b;
}

bool or(bool a, bool b) {
    return a || b;
}

bool implication(bool premise, bool conclusion) {
    return !premise || conclusion;
}

// 功能：计算公式结果
bool evaluateFormula(int formulaIndex, int varIndex) {
    switch (formulaIndex) {
        case 1: // ¬A ^ B
            return not(vars[varIndex]) && vars[(varIndex + 1) % NUM_VARS];
        case 2: // C v D
            return vars[varIndex] || vars[(varIndex + 2) % NUM_VARS];
        case 3: // (¬A ^ B) → (C v D)
            return not(and(not(vars[0]), vars[1])) || or(
                        vars[2], vars[3]);
        default:
            printf("Invalid formula index.\n");
            return false; // 非法公式索引
    }
}

// 生成并打印真值表
void generateTruthTable() {
    for (int i = 0; i < (1 << NUM_VARS); i++) {
        vars[0] = i & 1;
        vars[1] = (i >> 1) & 1;
        vars[2] = (i >> 2) & 1;
        vars[3] = (i >> 3) & 1;

        printf("Row: ");
        for (int j = 0; j < NUM_VARS; j++) {
            printf("%d ", vars[j]); // 输出当前变量状态
        }

        printf("\tResult of (1): %d\n", evaluateFormula(1, 0));
        printf("\tResult of (2): %d\n", evaluateFormula(2, 0));
        printf("\tResult of (3): %d\n", evaluateFormula(3, 0));

        printf("--\n");
    }
}

int main() {
    generateTruthTable();
    return 0;
}

运行这个程序会输出每个变量组合下各公式的结果。请注意，由于篇幅限制，实际运行这段代码需要在支持C语言的环境中执行。你可以复制到一个.c文件中编译并运行。