Logicmedium
0:00.0

Using the method of resolution, which clause is the result of resolving (PQ)(P \lor Q) and (¬PR)(\neg P \lor R)?