Due September 22 at Noon.

- In translating each of the following to symbolic form, the word
``or'' would be replaced by Ú or \veebar . What is the
appropriate choice in each case? Explain why your choice is correct.
- To take discrete mathematics, you must have taken calculus or a course in computer science.
- Dinner for two includes two items from column A or three items from column B.
- When you buy a new car from Acme Motor Company, you get $ 2000 back in cash or a 2% car loan.
- School is closed if more than 2 feet of snow falls or if the wind chill is below -50.

- Determine whether

is a tautology.( ~ q Ù(p ® q)) ® ~ p - Does p ® q logically imply (pÙq) Ú ~ p ? Justify your answer.
- Use truth tables to show that both

are equivalent to p.p Ú(p Ùq) and p Ù(p Úq) - Determine whether

are equivalent.(p Úq) ® r and p Ú(q ® r ) -
- Determine whether

are equivalent.(p « q) « r and p « (q « r ) - Is ((p « q) « r) « (p « (q « r )) a tautology? Explain.

- Determine whether

File translated from T

On 27 Aug 2000, 11:41.