In Discrete Mathematics we are being asked to write adhoc arguments. At times I get quite confused (i'm a rookie) when it comes to writing these to prove a certain statement is true.
i.e. Prove (p^q) -> (pv not r) is a tautology.
What is the ideal way to write an adhoc argument to prove a statement as such?