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

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