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