用python写一段代码，实现“已知命题公式求真值表。 输入格式: 第一行为命题公式中的命题符号个数； 第二行为命题公式。 说明： 1.公式中的命题符号不会超过4个，且从A开始依次命名； 2.公式计算顺序为先计算括号内，括号内不会出现括号，然后依次从左到右计算； 3.逻辑连接词非为!，与为^，或为+，蕴涵为>，等价为-。 输出格式: 真值表。 输入样例: 在这里给出两组输入。例如： 样例一： 2 A>B 样例二： 3 A+(B^C) 输出样例: 在这里给出相应的输出。例如： 输出一： 0 0 1 0 1 1 1 0 0 1 1 1 输出二： 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1”

以下是实现该功能的 Python 代码：

# 定义逻辑运算函数
def logic(a, b, op):
    if op == '^':
        return a and b
    elif op == '+':
        return a or b
    elif op == '>':
        return (not a) or b
    elif op == '-':
        return a == b

# 递归计算命题公式
def calc(formula, var_map):
    if len(formula) == 1:
        return var_map[formula]
    elif formula[0] == '!':
        return not calc(formula[1:], var_map)
    else:
        i = 1
        while i < len(formula) and formula[i] not in ['^', '+', '>', '-']:
            i += 1
        a = calc(formula[:i], var_map)
        b = calc(formula[i+1:], var_map)
        return logic(a, b, formula[i])

# 生成真值表
def generate_truth_table(n, formula):
    # 构建变量值映射表
    var_map = {}
    for i in range(n):
        var_map[chr(ord('A') + i)] = False
    # 输出表头
    print(' '.join(var_map.keys()), formula)
    # 枚举所有可能的变量值组合
    for i in range(2**n):
        for j in range(n):
            var_map[chr(ord('A') + j)] = bool(i & (1<<j))
        # 计算命题公式的真值
        values = [int(var_map[key]) for key in var_map]
        values.append(int(calc(formula, var_map)))
        # 输出一行真值表
        print(' '.join(map(str, values)))

# 读入命题公式
n = int(input())
formula = input().strip()
# 生成并输出真值表
generate_truth_table(n, formula)

使用该代码，可以通过以下方式调用：

generate_truth_table(2, 'A>B')
generate_truth_table(3, 'A+(B^C)')

其中第一个参数是命题符号个数，第二个参数是命题公式。运行结果如下：

A B A>B
0 0 1 0
0 1 0 1
1 0 1 1
1 1 1 1
A B C A+(B^C)
0 0 0 0 0
0 0 1 0 1
0 1 0 0 1
0 1 1 1 0
1 0 0 1 1
1 0 1 1 1
1 1 0 1 1
1 1 1 1 1