## Discrete math (proof by contradiction)

Use Boolean algebra to show that (p^(not q)) implies (p implies q) is a contradiction. do not use truth tables, thanks