p $$ q $|=$ p $$ q

$($d$)(2$ points$)($p $$ q$)($p $->$q$)$ is satisfiable.