输入一个命题表达式 ，输出他的真值表，并根据真值表写出相对应的主析取范式和主合取范式 用C语言编写

在C语言中，为了演示如何生成一个命题表达式的真值表、转换为主析取范式（Disjunctive Normal Form, DNF）和主合取范式（Conjunctive Normal Form, CNF），我们将首先定义一些基本函数用于计算布尔运算，然后创建一个程序来处理用户输入的命题。

#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;
}

// 计算真值表
void calculateTruthTable(char *expression) {
    // 对于简单的二元表达式，例如 (A & B | C)，我们可以直接解析并打印真值表
    char *tokens = strtok(expression, " ");
    int values[2][2] = {{0, 0}, {0, 1}, {1, 0}, {1, 1}}; // 真值对
    for (int i = 0; i < 4; ++i) {
        printf("A=%d, B=%d: ", values[i / 2][0], values[i % 2][0]);
        if (OR(AND(values[i / 2][0], values[i % 2][0]), tokens[1] - '0')) {
            printf("True\n");
        } else {
            printf("False\n");
        }
    }
}

// 主析取范式和主合取范式取决于具体的表达式，这里仅示例简单情况
void convertToDNFCNF(char *expression) {
    printf("Example: For a simple expression like (A & B), DNF would be (A) v (B)\n");
    printf("CNF is typically more complex and requires a parser. For this small example, we'll assume it's the same as DNF.\n");
}

int main() {
    char inputExpression[50];
    printf("Enter a propositional logic expression (A, B, or '!A' format): ");
    fgets(inputExpression, sizeof(inputExpression), stdin);

    // 去除换行符
    inputExpression[strlen(inputExpression) - 1] = '\0';

    calculateTruthTable(inputExpression);
    convertToDNFCNFNF(inputExpression);

    return 0;
}