Question 1058601
Can you help me solve this formal proof?
<pre>

1. (C * K) v (L * T)
2. ~C v ~K             :. L * T
3. ~(C * K)           2, DeMorgan's rule
4. L * T              1, 3, Disjunctive Syllogism 

Edwin</pre>