I am trying to prove this:
But since the equivalence operator is associative, there are two possible
interpretations of formula:
So I have to try to prove both of them. I only asked for help on one of them because I didn't want the thread to seem overwhelming and get skipped over.
It is given that the operator precedence in this formula is:
I'm sorry but I don't really understand the logic in your last post. Does this information help?