I. Write each symbolic statement as an English sentence. Use p, q, r, s, and t as define below.

p: Taylor Swift is a singer.

q: Taylor Swift is not a song writer.
r: Taylor Swift is an actress.
s: Taylor Swift plays the piano.
t: Taylor Swift does not play the guitar.

1.a) (p ∨ r) ∧ q
- Taylor Swift is a singer or an actress, and she is not a song writer.

1.b) p→(q ∧ ~r)

- If Taylor Swift is a singer, then she is not a song writer and she is not an actress.

1.c) (r ∧ p)↔q
- Taylor Swift is an actress and a singer, if and only if she is not a song writer.

1.d) ~s→(p ∧ ~q)

- If Taylor Swift does not plays the piano, then she is a singer and a song writer.

1.e) (s ∧ ~q)→t
- If Taylor Swift plays the piano and a song writer, then she does not play the guitar.

1.f) t↔(~r ∧ ~p)

- Taylor Swift does not play the guitar, if and only if she is not an actress and she is not a
singer.

II. Write each sentence in symbolic form. Use p, q, r, and s as defined below.

p: Stephen Curry is a football player.

q: Stephen Curry is a basketball player.
r: Stephen Curry is a rock star.
s: Stephen Curry plays for the Warriors.

2.a) Stephen Curry is a football player or basketball player, and he is not a rock star.
- (p ∨ q) ∧ ~r

2.b) Stephen Curry is a rock star, and he is not a basketball player or football player.
- r ∧ (~q ∨ p)

2.c) If Stephen Curry is a basketball player and a rock star, then he is not a football player.
- (q ∧ r)→~p
2.d) Stephen Curry is a basketball player, if and only if he is not a football player and he is not a
rock star.
- q↔(~p ∧ ~r)

2.e) If Stephen Curry plays for the Warriors, then he is a basketball player and he is not a
football player.
- s→(q ∧ ~p)

2.f) It is not true that, Stephen Curry is a football player or a rock star.
- ~(p ∨ r)

III. Construct a truth table for the compound statement given and determine the value given that
p is a false statement, q is a true statement, and r is a true statement.

(~p ∧ q) ∧ [(p ∧ ~q) ∨ r]

p q r ~p ~q ~p ∧ q p ∧ ~q (p ∧ ~q) ∨ r (~p ∧ q) ∧ [(p ∧ ~q) ∨ r]

T T T F F F F T F
T T F F F F F F F
T F T F T F T T F
T F F F T F T T F
F T T T F T F T T
F T F T F T F F F
F F T T T F F T F
F F F T T F F F F