Yeah, | is technically x + y + x*y over GF(2) (this is the Boolean ring to Boolean algebra relation [1]). The GP is still a good way to remember the precedence

Yeah, | is technically x + y + x*y over GF(2) (this is the Boolean ring to Boolean algebra relation [1]). The GP is still a good way to remember the precedence though. [1]: https://en.wikipedia.org/wiki/Boolean_ring#Relation_to_Boolean_algebras https://en.wikipedia.org/wiki/Boolean_ring#Relation_to_Boole...