合式公式转变为主析取范式和主合取范式和真值表C语言写

合式公式是指逻辑表达式，通常由逻辑运算符如AND(与)、OR(或)、NOT(非)以及变量组成。转换成主析取范式 (Disjunctive Normal Form, DNF) 和主合取范式 (Conjunctive Normal Form, CNF) 是逻辑代数中的标准步骤，用于简化表达式的分析。

**主析取范式 (DNF)**：
在这个形式下，每个命题都是由一组或多个原子命题（无连接词的简单命题）的“或”操作构成的。例如，表达式 `(A OR B) AND (C OR NOT D)` 就是DNF。

**主合取范式 (CNF)**：
相反，每个命题是一个或更多的原子命题的“与”操作，并且整个公式是由这些命题的“或”操作组成的。比如，`(A AND B) OR (A AND C AND NOT D)` 就是CNF。

**真值表 (Truth Table) 与C语言编写**：
C语言本身不是用于表示逻辑表达式的工具，但它可以用来构建函数来处理逻辑计算。你可以创建函数，每个函数代表一个布尔表达式，然后通过循环结构生成其所有可能输入（即变量的所有可能组合）的真值表。例如：

#include <stdio.h>

// 定义逻辑函数，假设我们有A, B, C, D四个变量
int evaluateFormula(int A, int B, int C, int D) {
    return (A || B) && (C || !D);
}

void printTruthTable() {
    for (int A = 0; A < 2; A++) { // 对于二进制变量，范围是0到1
        for (int B = 0; B < 2; B++) {
            for (int C = 0; C < 2; C++) {
                for (int D = 0; D < 2; D++) {
                    int result = evaluateFormula(A, B, C, D);
                    printf("(%d %d %d %d) -> %d\n", A, B, C, D, result);
                }
            }
        }
    }
}

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

运行这个程序会打印出`evaluateFormula`在所有可能输入下的结果，形成真值表。