SOLUTION: ~(X v ~W), ~(C v (F � G)), F≡~ (X�Y), (H�F) ⊃ (C vG) /: ~(HvX) Thank you so much for your help.

Algebra.Com
Eval error:

ModPerl::Util::exit: (120000) exit was called at /home/ichudov/project_locations/algebra.com/templates/Algebra/Questions/MoreLikeThis.pm line 159

SOLUTION: ~(X v ~W), ~(C v (F � G)), F&#8801;~ (X�Y), (H�F) &#8835; (C vG) /: ~(HvX) Thank you so much for your help.