1. (C v D) > (E * F) 2. D v C :. E 3. C v D 2, Commutation 4. E * F 1,3, Modus Ponens 5. E 4, Simplification Edwin