I've been working through Logical Equivalence problems, and this one seems to have gotten me stuck! Can somebody help?
I'm trying to use Logical Equivalence Laws to show the LHS is equivalent to RHS
$$(((P\land R) \rightarrow (\lnot P \lor Q)) \lor (\lnot(P \land \lnot Q)) \equiv \lnot P \lor (\lnot Q \rightarrow \lnot R)$$