Question: Logical notation

How do I write this in logical notation in Maple? Is it even possible?

Show logical notation that expresses the following statement: If one dice shows an even number of spots and the second dice shows an odd number of spots, then the total for the pair is less than or equal to 9.

Please Wait...