Propositional logic/Universally valid/1/Exercise

Show that the propositional expression

${\left(r\rightarrow {\left(p\wedge \neg q\right)}\right)}\rightarrow {\left(\neg p\rightarrow {\left(\neg r\vee q\right)}\right)}$

is

always valid.

Create a solution