用c语言编写一个计算机程序，用于计算给定公式的真值表。

在C语言中，我们可以创建一个程序来生成命题逻辑公式的真值表。这里是一个简单的例子，假设我们有一个二元逻辑公式，使用布尔运算符AND、OR和NOT。首先，我们需要定义一个函数来计算表达式的值，然后遍历所有可能的变量状态并打印出真值表。

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

// 定义逻辑运算符的函数
bool logical_operation(char op, bool a, bool b) {
    switch (op) {
        case 'A': // AND
            return a && b;
        case 'O': // OR
            return a || b;
        case 'N': // NOT
            return !a;
        default:
            printf("Invalid operator!\n");
            return false;
    }
}

// 计算公式真值表
void compute.truth_table(const char* formula, int num_variables) {
    bool variables[num_variables][2];  // 0 - False, 1 - True
    int i, j;

    for (i = 0; i < (1 << num_variables); i++) {
        for (j = 0; j < num_variables; j++) {
            variables[j][i % 2] = i / (1 << j) % 2;  // 将二进制数转换为变量值
        }

        int value = 1;  // 初始化结果为1，因为最开始假设AND操作默认为真
        for (char c : formula) {
            if (c >= 'A' && c <= 'Z') {
                value = logical_operation(c, value, variables[c-'A'][0]);
            } else if (c >= 'a' && c <= 'z') {
                value = logical_operation(c, value, variables[c-'a'][1]);
            }
        }

        printf("%d: %d\n", i, value);
    }
}

int main() {
    const char* formula = "A(a,b)O(b,a)";
    compute.truth_table(formula, 2);  // 输入公式和变量数
    return 0;
}

运行此程序，它将为给定的公式计算真值表。

注意：这个示例仅适用于二元公式，并且只处理了字母A（AND）、O（OR）和N（NOT）。如果你需要处理更复杂的公式或更多变量，你需要修改`logical_operation`和`compute.truth_table`函数。