Zitat:
(p v q) Λ ¬(p Λ q) (das ist doch ein XOR?)
---
meine Antwort bezog sich zunächst mal darauf, eine Normalform zu bilden, bevor man Standardgatter vermutet.
Ein wenig hinunherdemorganisieren hat noch niemandem geschadet, der gerade in den Anfängen steckt und nur darauf wartet, dass es jemand vortanzt.