SOLUTION: i can only use the 8 implicational rules 1. ~W∙~~Z 2. (~W∙X)>Y 3. ~ZvX :. Y

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: i can only use the 8 implicational rules 1. ~W&#8729;~~Z 2. (~W&#8729;X)>Y 3. ~ZvX :. Y