C语言编程实现命题公式的真值表

在C语言中，实现命题公式的真值表通常涉及到逻辑运算，如AND（逻辑与）、OR（逻辑或）、NOT（逻辑非）等。真值表是用来展示这些逻辑运算在所有可能输入情况下的输出结果，对于二元逻辑命题，我们通常使用两个变量A和B，每个变量可以取真（1）或假（0）两种状态。

以下是一个简单的示例，展示如何用C语言生成二元命题公式A ∧ B（A和B的逻辑与）的真值表：

#include <stdio.h>

#define NUM_VALUES 2 // 二进制表示，总共2种可能的输入值

// 定义逻辑运算函数
int and(int a, int b) {
    return a && b;
}

void printTruthTable(char *formula) {
    printf("%-10s", "A | B | %s", formula);
    for (int i = 0; i < NUM_VALUES; i++) {
        for (int j = 0; j < NUM_VALUES; j++) {
            int a = i == 0 ? 1 : 0; // A取值
            int b = j == 0 ? 1 : 0; // B取值
            int output = and(a, b); // 运算结果
            printf("%-10d", output);
        }
        printf("\n");
    }
}

int main() {
    printTruthTable("A AND B");
    return 0;
}

运行这个程序会输出：

A | B | A AND B
0 | 0 |   0
0 | 1 |   0
1 | 0 |   0
1 | 1 |   1

这表明当A和B都为真时，A ∧ B的结果才是真（1），其他情况均为假（0）。

如果你想扩展到更多变量或更复杂的逻辑，你可以添加更多的循环和相应的逻辑运算函数。相关问题：

1. 如何在C语言中实现其他逻辑运算，如OR、NOT？
2. 二元或多于二元的命题公式如何扩展这个真值表？
3. 在C语言中如何处理非布尔类型的输入（例如浮点数）？