Print truth table for given expression

truth.py

def iterate(l, ost):
    if ost == 0: return l
    newL = []
    for i in l:
        for k in "01": newL.append(i + k)
    return iterate(newL, ost - 1)
func = input("Input function (in eval format): ")
variables = []
for i in func:
    if i in "ABCDEFGHIJKLMNOPQRSTUVWXYZ" and not i in variables: variables.append(i)
iterList = iterate([""], len(variables))
print(*variables, sep="", end=" F\n")
for i in iterList:
    currFunc = func
    for k in range(len(variables)): currFunc = currFunc.replace(variables[k], i[k])
    print(i, str(eval(currFunc)).replace("True", "1").replace("False", "0"))

оформление 10/10, не переделывай