„p ⌵ ~p” ist ein ganz spezieller Fall von „p ⌵ q”.