1. [(LvW)*G)] ≡ F /F⊃G |2. F ACP |3. {[(LvW)*G)]⊃F}*{F⊃[(LvW)*G)]} 1, ME |4. {F⊃[(LvW)*G)]}*{[(LvW)*G)]⊃F} 3, commutativity |5. F⊃[(LvW)*G)] 4, simplification |6. (LvW)*G 5,2, MP |7. G*(LvW) 6, commutativity |8. G 7, simplification 9. F⊃G lines 2-8 CP Note: ACP stands for "assumption for conditional proof". ME stands for "material equivalence". MP stands for "modus ponens". CP stands for "conditional proof". Edwin