This is a discrete mathematics question. Specifically Propositonal Logic. I have not been able to solve this using Logical laws (boolean laws). If someone could please help me solve this using ONLY boolean laws, I would appreciate it. I am finding it hard to solve the questions involving three variables. Is there a trick to it?
Proof that this is a tautology.
$((p\land \lnot q) \leftrightarrow r) \to(r \to p)$
Also is it at all possible to solve this using inference rules?