Help using logic symbols to rewrite statements
I have been given a problem to solve that deals with using logic symbols to rewrite part of a contract. I have an answer that I believe is close to being correct. I would be grateful for any help on understanding my mistakes though. Here is the complete problem (it's long (Doh))
The rules for a certain frequent flyer club include the following statements:"Any member who fails to earn any milage during the first twelve months after enrollment in the program may be removed from the program. Except as otherwise provided, any member who fails at any time to earn mileage for a period of three consecutive years is subject to termination of his or her membership and forfeiture of all accrued mileage. Notwithstanding this provision, no pre-July 1, 1993, member who has earned mileage(other than enrollment bonus) prior to July 1, 1994 shall be subject under this provision to the termination of his or her membership and to the cancellation of mileage accrued prior to July 1, 1994, until the amount of such mileage falls below 10,000 miles (the amount of mileage necessary for the lowest available award under the structure in place as of June 30, 1993), or until December 15, 1999, whichever comes first.
Let x be a particular member of this club, and let
p="x fails to earn mileage during the first twelve months after enrollment"
q="x fails to earn mileage for a period of three consecutive years"
r="x became a member prior to July 1,1993"
s="x currently has at least 10,000 miles for pre-July 1, 1994 mileage (not included bonus enrollment miles)"
t="the current date is prior to December 15, 1999"
Use symbols to write the complete condition under which x's membership may be terminated.
(Headbang) Okay now that I have typed up the question let me post my answer.
I got: (p∨q)∨(r∧~s)∨~t
Thank you in advance (Happy)