✓ ✓ ✓  
(Denke daran daß p ∙ ~p contradictorisch, p ⌵ ~p tautologisch ist. ~(~p) = p, ~(~(~p)) = ~p etc etc)