Question 1153481
<pre>
1.  (K->L)&(K->M)

2.  (~KvL)&(~KvM)        1, material implication

3.  ~Kv(L&M)             2, distribution

4.   K->(L&M)            3, material implication


Edwin</pre