How to apply logical operators to symbolic expressions in Julia?

Question

I\'m trying to combine some rules with logical operators. I couldn\'t find how to do this in the manual pages.

Here is my code with explanation:

import