((q IMPLIES p) OR ((r OR q) AND (NOT q OR p) )) AND ((NOT p AND q) IMPLIES r)
how do I simplify this to (p or not q) I'm stumped I have tried applying rules of interference but I just cant get it a simplified form much help will be appreciated thanks.
Use absorption laws $p\vee (p\wedge q) = p\wedge (p\vee q) = p$ (and of course $p\implies q = \neg p\vee q$)