That is a great solution. Good job.
There are two more solutions you can find.
One is linear (no term like xx or xy) and thinking about number line transformations can help find it.
The other uses a comparison operator. One of these: > >= < <= == !=. The last two mean equality and inequality. These operators can return T or F based on whether the comparison works or not. E.g. 2 > 2 will give F. Ending with T or F instead of 1 or 0 is fine (if it wasn’t, then I’d expect the comparisons to output 1 or 0, so the solution wouldn’t change).