Don't know which step to begin with please help
1. EvV
2. [(EvO)vV]>~(VvM)
/E
3. [Ev(OvV)]>~(VvM) 2, Association
4. [Ev(VvO)]>~(VvM) 3, Commutation
5. [(EvV)vO]>~(VvM) 4, Association
6. ~[(EvV)vO]v~(VvM) 5, Material Implication
7. {~(EvV)&~O]v~(VvM) 6, DeMorgan
8. [~(EvV)v~(VvM)]&[~Ov~(VvM)] 7, Distribution
9. [(EvV)>~(VvM)]&[~Ov~(VvM)] 8, Material Implication
10. (EvV)>~(VvM) 9, Simplification
11. ~(VvM) 10,1, Modus ponens
12 ~V&~M 11, DeMorgan
13. ~V 12, Simplification
14. VvE 1, Commutation
15, E 14, 15, Disjunctive syllogism
Edwin
