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.

t: Juan's girlfriend has read The Tempest.

Which of the following logical statements expresses the proposition

"Juan is a computer science major and a math major, but her girlfriend is a literature major who hasn't read The Tempest and Hamlet."

Note: $p$ means notp.

Select one:

$c^{{?}^{?}}{m}^{{?}^{?}}{g}^{{?}^{?}}(h^{{?}^{?}}t)$

$c^{{?}^{?}}{m}^{{?}^{?}}(gvv(hvvt))$

$c^{{?}^{?}}{m}^{{?}^{?}}{g}^{{?}^{?}}(hvvt)$

$c^{{?}^{?}}{m}^{{?}^{?}}{g}^{{?}^{?}}(hvvt)$

$c^{{?}^{?}}{m}^{{?}^{?}}(gvv(h^{{?}^{?}}t))$