真值表生成树python

以下是一个简单的Python程序，可以根据给定的真值表生成对应的生成树：

class Node:
    def __init__(self, val, left=None, right=None):
        self.val = val
        self.left = left
        self.right = right

def build_tree(truth_table):
    stack = []
    for i in range(len(truth_table[0])):
        if truth_table[0][i] == '1':
            stack.append(Node(chr(ord('A')+i)))
        else:
            stack.append(Node(chr(ord('A')+i), Node('0'), Node('1')))
    for row in truth_table[1:]:
        node = Node('or')
        for i in range(len(row)):
            if row[i] == '1':
                node.left = stack[i]
            else:
                node.right = stack[i]
        stack.append(node)
    return stack[-1]

该程序中使用了一个 `Node` 类来表示生成树中的节点，其中 `val` 属性表示节点的值，`left` 和 `right` 属性分别表示节点的左右子节点。`build_tree` 函数接受一个二维列表 `truth_table`，其中第一行是变量名，后面的每一行表示对应的真值表。函数首先根据第一行的变量名创建叶子节点，然后按行遍历真值表，每次取出一行，根据其值来构建一个新的节点，并将其推入栈中。最终栈中的最后一个节点即为生成树的根节点，返回该节点即可。

例如，对于如下的真值表：

A B C | F
------|--
0 0 0 | 0
0 0 1 | 1
0 1 0 | 1
0 1 1 | 0
1 0 0 | 0
1 0 1 | 1
1 1 0 | 0
1 1 1 | 1

可以使用以下代码来生成对应的生成树：

truth_table = [
    ['A', 'B', 'C', 'F'],
    ['0', '0', '0', '0'],
    ['0', '0', '1', '1'],
    ['0', '1', '0', '1'],
    ['0', '1', '1', '0'],
    ['1', '0', '0', '0'],
    ['1', '0', '1', '1'],
    ['1', '1', '0', '0'],
    ['1', '1', '1', '1']
]

root = build_tree(truth_table)

生成树的样子如下所示：

      or
     /  \
    or   C
   /  \  
  or   0 
 /  \
A    B

在这个生成树中，每个非叶子节点都是一个逻辑运算符（如 `and` 或 `or`），每个叶子节点都是一个变量名（如 `A`、`B`、`C`）。根据生成树，可以构建出对应的逻辑表达式，如 `(A or B) and (not C)`，也可以用来进行逻辑运算。