Ich kanns versuchen. Ich denke es wäre
Wenn p und r dann q ist genau dann logisch wahr wenn, wenn p dann q.
oder wie es in dem Buch steht (plus 'nem kleinem "AL" nach dem "╞"
p ⇒ q ╞ p ∧ r ⇒ q
Fange grade erst an mich mit Symbolischer Logik auseinanderzusetzen.