Question 928684
<pre>
1. (~M->P)&(~N->Q)
2. ~(M&N)
         // PvQ

3. ~Mv~N        2, DeMorgan's law
4. PvQ          1,3 Constructive dilemma

Edwin</pre>