输出一个布尔函数真值表的程序

输出一个布尔函数的真值表通常用于展示给定函数的所有输入组合及其对应的输出结果。这个过程涉及到变量的二进制表示以及函数对每个输入值的结果计算。下面是一个简单的Python示例，演示如何创建一个基本的两输入布尔函数真值表：

def generate_truth_table(function, variables):
    variable_bits = len(bin(max(variables))) - 2  # 获取最大变量的最大位数
    print(f"Truth Table for {function}({', '.join(str(var) for var in variables)})\n")
    for input_values in product([0, 1] * variable_bits):  # 使用笛卡尔积生成所有可能的输入组合
        output = function(*input_values)
        print(f"{bin(input_values)[2:].zfill(variable_bits)} | {' '.join(str(b) for b in input_values)} | {output}")

# 假设我们有一个简单函数 AND(x, y)
def and_function(a, b):
    return a & b

variables = [x for x in range(4)]  # 示例中的两个变量取值范围从0到3（二进制表示）
generate_truth_table(and_function, variables)