由决策表求代数约简的代码

以下是一个简单的 Python 代码，可以实现由决策表求代数约简的功能：

def simplify_decision_table(decision_table):
    # 获取决策表中的行和列数
    rows = len(decision_table)
    cols = len(decision_table[0])
    
    # 针对每个决策表的决策，求出其代数表达式
    expressions = []
    for i in range(1, cols):
        expression = ""
        for j in range(rows):
            if decision_table[j][i] == "1":
                condition = ""
                for k in range(1, i):
                    if decision_table[j][k] == "0":
                        condition += "~" + chr(64+k)
                    else:
                        condition += chr(64+k)
                expression += condition + " & "
        expression = expression[:-3]
        expressions.append(expression)
    
    # 将代数表达式合并为一个大表达式
    big_expression = " | ".join(expressions)
    
    # 利用 SymPy 库进行代数约简
    from sympy.logic import simplify_logic
    simplified_expression = simplify_logic(big_expression)
    
    # 将代数表达式转换为决策表
    simplified_table = [[""]*(cols-1) for _ in range(rows)]
    for i in range(rows):
        for j in range(1, cols):
            condition = ""
            for k in range(1, j):
                if decision_table[i][k] == "0":
                    condition += "~" + chr(64+k)
                else:
                    condition += chr(64+k)
            if condition == "":
                simplified_table[i][j-1] = "1" if simplified_expression == "1" else "0"
            else:
                if simplified_expression == "1":
                    simplified_table[i][j-1] = "1" if eval(condition) else "0"
                else:
                    simplified_table[i][j-1] = "1" if eval(condition + " & " + simplified_expression) else "0"
    
    # 返回代数约简后的决策表
    return simplified_table

其中，`decision_table` 是一个二维列表，表示决策表中的行和列。列表中的每个元素都是一个字符串，表示对应的条件和决策是否成立。在代码中，我们使用了 SymPy 库进行代数约简，因此需要先安装该库。