~p

~ [~p ∙ ~(~r ∙ ~s)] ∙ ~[~(~t ∙ ~~s ∙ ~t)) ∙ ~p]