Exercise 1. Convert the following sentences to propositional formulas. Specify the propositions used in each formula. (7 marks) Note: There might be more than one correct translation for some sentences. 1. If a request occurs, then either it will eventually be acknowledged, or the requesting process won't 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