SOLUTION: Use conditional proof or indirect proof to establish the truth of the following tautology. [~S v ~(~T � ~U)] ⊃ [~U ⊃ (~T ⊃ ~S)]

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: Use conditional proof or indirect proof to establish the truth of the following tautology. [~S v ~(~T � ~U)] &#8835; [~U &#8835; (~T &#8835; ~S)]