import dis
import ast

source="result = a and b or c"


tree=ast.parse(source,"exec")

codea=compile(tree,"<string>","exec")

for i,node in enumerate(ast.walk(tree)):
    node.lineno=i

codeb=compile(tree,"<string>","exec")


print("code a               | code b")

for insta,instb in zip(dis.get_instructions(codea),dis.get_instructions(codeb)):
    print(f"{insta.opname:<20} | {instb.opname}","<-- not equal" if insta.opname!=instb.opname else "")

print("the result seems to be the same")
for a in (True,False):
    for b in (True,False):
        for c in (True,False):
            print()
            print("a:",a,"b:",b,"c:",c)

            eval(codea)
            print("codea:",result)
            eval(codeb)
            print("codeb:",result)

code a               | code b
LOAD_NAME            | LOAD_NAME 
POP_JUMP_IF_FALSE    | JUMP_IF_FALSE_OR_POP <-- not equal
LOAD_NAME            | LOAD_NAME 
JUMP_IF_TRUE_OR_POP  | JUMP_IF_TRUE_OR_POP 
LOAD_NAME            | LOAD_NAME 
STORE_NAME           | STORE_NAME 
LOAD_CONST           | LOAD_CONST 
RETURN_VALUE         | RETURN_VALUE 
the result seems to be the same

a: True b: True c: True
codea: True
codeb: True

a: True b: True c: False
codea: True
codeb: True

a: True b: False c: True
codea: True
codeb: True

a: True b: False c: False
codea: False
codeb: False

a: False b: True c: True
codea: True
codeb: True

a: False b: True c: False
codea: False
codeb: False

a: False b: False c: True
codea: True
codeb: True

a: False b: False c: False
codea: False
codeb: False