Du möchtest ja aus P1, P2 und P3 (da steht nochmal P2, aber ich nenne es einfach mal P3) K herleiten. Dafür vereinfache ich K.
K': (r&t)->nicht(p oder s) De-Morgansche Regel ujd doppelte Negation.
Die De-Morgansche Regel kannst du auch auf P1 und P2 anwenden. Demnach ist
p->nicht(q&r)
S->nicht(q&t) Diese kann ich in K' einsetzen.
Zu Beweisen ist nun (P3&(r&t))->nicht(nicht(q&r) oder nicht(q&t))
Wieder einmal wende ich die De-Morgansche Regel an und erhalte
q&r&t->(q&r)&(r&t)->q&r&t
qed.
Ps: Ich hatte leider nur in der 9. Klasse Logikunterricht, daher kann es durchaus sein, dass es nicht sehr akkurat ist. Achso, und entschuldigung, ich kann noch kein TeX. Wenn noch irgendetwas unklar oder nicht nachvollziehbar ist, gerne nocheinmal nachfragen.