„p” hat nichts mit „~p ⌵ q” gemein.