Ich habe folgende Aufgabe:

Paul und Quentin wurden festgenommen, weil man sie des Ladendiebstahls bezichtigt. Ihr Kumpel Raul konnte sich unbemerkt davonmachen. Verwenden Sie die aussagenlogischen Variablen P, Q, und R für die Aussagen, dass Paul (P), Quentin(Q) oder Raul (R) gestohlen haben.

a) Formalisieren Sie die folgenden Aussagen in der Aussagenlogik:

1. Entweder Paul oder Quentin haben tatsächlich geklaut.
2. Falls Raul unerlaubt etwas mitgehen ließ, so haben sowohl Quentin als auch Paul keinen Diebstahl begangen.
3. Weder Raul noch Paul haben gestohlen, falls Quentin nichts stahl.  

meine Lösungen lauten:

1. P v Q  (P oder Q)
2. R -> ¬Q ^ ¬R (nicht Q und nicht R)
3. ¬Q -> ¬R ^ ¬P (nicht R und nicht P)

Ich habe das Gefühl dass ich zu einfach gedacht habe und bitte daher um Hilfe. Vielen Dank.