p ∙ q ≝ ~(~p ⌵ ~q) daraus muß doch ˇz.B. folgen

~(p ∙ q) = ~p ⌵ ~q etc