For the following sentences of English, provide a symbolization in Truth functional language

Symbolization key:

P: Pluto is a PLANET.

L: Pluto is LARGE.

D: Pluto is DENSE.

E: ERIS is a planet.

J: JUPITER is planet

M: MARS is a planet.

not $-,$ ~

and $/\backslash ,$ &

or $\backslash /$

if then $->->,>$

if and only if $<->,<>$

If Pluto is not DENSE, then it is not a PLANET unless it is LARGE.