SOLUTION: ~(Z v Y) → ~W, ~U → ~(Z v Y), (~U → ~W) → (T → S), S → (R v P), [T → (RvP)] → [(~R v K) � ~K], therefore, ~K

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: ~(Z v Y) &#8594; ~W, ~U &#8594; ~(Z v Y), (~U &#8594; ~W) &#8594; (T &#8594; S), S &#8594; (R v P), [T &#8594; (RvP)] &#8594; [(~R v K) � ~K], therefore, ~K