Exercise 1. Convert the following sentences to propositional formulas. Specify the propositions used in each formula.

1. If a request occurs, then either it will eventually be acknowledged, or the requesting process wont ever be able to make progress.

2. Cancer will not be cured unless its cause is determined and a new drug for cancer is found.

3. If interest rates go up, share prices go down.

4. If Smith has installed central heating, then he has sold his car or he has not paid his mortgage.

5. Today it will rain or shine, but not both