👤

Compete proofs using rules of inference.
1. M v P
2. (P v S)  (R · D)
3. ~ M // R