Official solution
p
q
\[ \sim \] p
\[ \sim \] q
p \[ \to \] q
\[ \sim \] (p \[ \to \] q)
q \[ \to \] p
\[ \sim \] (q \[ \to \] p)
T
T
F
F
T
F
T
F
T
F
F
T
F
T
T
F
F
T
T
F
T
F
F
T
F
F
T
T
T
F
T
F
p \[ \wedge \] \[ \sim \] q
\[ \sim \] p \[ \to \] \[ \sim \] q
p \[ \to \] \[ \sim \] q
\[ \sim \] (p \[ \to \] \[ \sim \] q)
F
T
F
T
T
T
T
F
F
F
T
F
F
T
T
F
p \[\wedge\] \[\sim\] q \[ \equiv \] \[\sim\] (p \[\to\] q)
Option (d)