Калькулятор логических выражений

a=0
b=0
c=0
strbo="a or not(b) or (not(a) or c)"
bo=a or not(b) or (not(a) or c)
strbo=strbo.split(" ")
 
for a in range(2):
    for b in range(2):
        for c in range(2):
            if bo:
                print(strbo[0],strbo[1],strbo[2])
                #Здесь должна быть печать ответа на 1-е действие
                print(strbo[4],strbo[5],strbo[6])
                # Здесь должна быть печать ответа на 2-е действие
                print(" ".join(strbo))
                print(a,b,c)#Это печать последнего действия

def evaluate_logical_expression(a, b, c, expression):
    for item in expression:
        if item == "a":
            yield a
        elif item == "b":
            yield b
        elif item == "c":
            yield c
        elif item == "not":
            operand = next(evaluate_logical_expression(a, b, c, expression))
            yield not operand
        elif item == "or":
            operand1 = next(evaluate_logical_expression(a, b, c, expression))
            operand2 = next(evaluate_logical_expression(a, b, c, expression))
            yield operand1 or operand2
 
def print_logical_expression(expression):
    print(" ".join(expression))
 
def main():
    expression_str = "a or not(b) or (not(a) or c)"
    expression = expression_str.replace("(", "").replace(")", "").split(" ")
    
    for a in range(2):
        for b in range(2):
            for c in range(2):
                evaluation = evaluate_logical_expression(a, b, c, iter(expression))
                result = next(evaluation)
                
                if result:
                    print_logical_expression(expression[:3])
                    print("Result: ", next(evaluation))
                    print_logical_expression(expression[3:])
                    print("Result: ", next(evaluation))
                    print_logical_expression(expression)
                    print("Result: ", result)
                    print(a, b, c)
 
if __name__ == "__main__":
    main()

            try:
                yield a
            except StopIteration:
                return