Question 237506
<pre>
1.   M v ~(K v ~L)
2.   ~M . (N . O)           (Conclusion)  ~K . L
------------------------------------------------
3.   ~M                                     2       Simplification
4.   ~(K v ~L)                              2,3     Disjunctive Syllogism
5.   ~K . ~~L                               4       De Morgan's Law
6.   ~K . L                                 5       Double Negation
</pre>