1. Let m = “Juan is a math major,” c = “Juan is a computer science major,” g = “Juan’s girlfriend is a literature major,” h = “Juan’s girlfriend has read Hamlet,” and t = “Juan’s girlfriend has read The Tempest.” Which of the following expresses the statement “Juan is a computer science major and a math major, but his girlfriend is a literature major who hasn’t read both The Tempest and Hamlet.”

• A. c ∧ m ∧ (g ∨(∼h ∨ ∼t))
• B. c ∧ m ∧ g ∧(∼h ∧ ∼t)
• C. c ∧ m ∧ g ∧(∼h ∨ ∼t)
• D. c ∧ m ∧ (g ∨(∼h ∧ ∼t))