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