1. ~(G • H) 2. ~F > H 3. (G > ~F) • (~F > G) 4. (~F > G) • (G > ~F) 3, commutation 5. ~F > G 4, simplification 6, ~F > (G • H) 5,2, composition 7. ~~F 6,1, modus tollens 8. F 7, double negation 9. G > ~F 3, simplification 10. ~G 9,7 modus tollens 11. F • ~G 8,10 conjunction You did not list the choices, but most likely, the conclusion is step 11, which is F • ~G Edwin