Huh, I always thought Maple felt like a WYSIWYG LaTeX editor on steroids...
So not only does it use typesetting to accomplish the neat arrangement tricks, but it also uses typesetting to control parentheses? That... seems silly. Yet, as you say, copying it does yield accurate information (so long as you copy a group of commands+output and not just a single line of output).
I'd definitely consider this to be a bug, then. The typesetting system treats the Logical &and and &or like their Boolean counterparts, assuming &and has higher precedence when it does not. Solely on the basis of what the user sees, the typeset output is wrong, simple as that.
On the bright side, setting prettyprint to 1 does produce solid output. It also gives the output a fixed width font, which I've been trying to get it to do automatically for a while. Me likey. ;)