Das erste zeigt sich doch offenbar darin, daß p ⌵ ~p tautologisch ist.
     Und das wieder wird dadurch klargemacht, daß q ∙ (p ⌵ ~p) = q ist. (Und (durch) andre ähnliche Beziehungen.)