document.write( "Question 1153481: (K->L)&(K->M)├ K->(L&M) \n" ); document.write( "
\n" ); document.write( "1. (K->L)&(K->M)\r\n" ); document.write( "\n" ); document.write( "2. (~KvL)&(~KvM) 1, material implication\r\n" ); document.write( "\n" ); document.write( "3. ~Kv(L&M) 2, distribution\r\n" ); document.write( "\n" ); document.write( "4. K->(L&M) 3, material implication\r\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "Edwin