1. Let M be Juan is a math major Let W be Juan is a computer science major. Write this in symbolic form using , , and . Juan is a math major but not a computer science major.

2. Let H=Jane is healthy W=Jane is wealthy S=Jane is wise Symbolize this sentence: Jane is not wealthy, but she is healthy and wise.

3. Construct a truth table for these two statements: P , P T Use the truth table to determine whether they are logically equivalent. Justify your answer

4. Use a truth table to find out whether this statement is a tautology, a contradiction, or neither: ( p q) (p q)

5. Rewrite these two statements using : (a) I am on time for work if I catch the 8:05 bus. (b) Fix my ceiling or I wont pay my rent.

6. Using a truth table, determine whether these two statements are logically equivalent: p (q r) (p q) r