C语言编程实现离散数学真值表

在C语言中，实现离散数学中的真值表通常涉及到逻辑运算符如AND（&&）、OR（||）和NOT(!)的运算，以及变量之间的比较。这里是一个简单的例子，展示如何用C语言打印出一个基本的三变量布尔函数（如A, B, C）的真值表：

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

// 假设我们有三个变量A, B, C
#define VARIABLES (1 << 2) // 101 in binary, representing {0, 1, 1}
int main() {
    int A = 0;
    int B = 0;
    int C = 0;
    int result; // 用于存储结果，8表示2^3的所有可能组合

    for (int i = 0; i < VARIABLES; ++i) {
        A = (i & 1) ? 1 : 0; // 取第0、1位作为A的值
        B = (i >> 1) & 1; // 取第1位作为B的值
        C = i & 1;       // 取第0位作为C的值
        
        // 计算AND, OR, NOT的结果
        result[i] = AND(A, B) ? 1 : 0;
        result[i] |= OR(A, NOT(B));
        
        printf("A=%d, B=%d, C=%d -> Result: %d\n", A, B, C, result[i]);
    }

    return 0;
}

在这个示例中，我们使用位运算来表示变量的值，并计算每个组合下的逻辑运算结果。运行这个程序，你会看到A、B和C所有可能组合对应的AND和OR运算的结果。