SOLUTION: 1) (A&B) > ~(S v T) 2) ~E 3) (S v T) v ~(~E & ~F) 4) (~E v F)

SOLUTION: 1) (A&B) > ~(S v T) 2) ~E 3) (S v T) v ~(~E & ~F) 4) (~E v F) > (A&B) Conclusion: E v F

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