Comment by cmrx64

You could search “decompilation into logic.”