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