1.8.
~p schließt p aus; was es dann zuläßt hängt von der Natur von || des p ab.