Discrete Mathematics - Prove with inferences laws and boolean algebraic law

Prove with boolean algebraic law on the next set of questions

Problem 5: More Inference (20 points) Accepting the following premises: 1. (p At) - (TV) 2. q (unt) 3. Up 4. -5 Show that a r. Problem 2: Boolean Algebraic Laws (40 points) Use Boolean algebraic laws to prove the following equivalences: 1. [Cp 9) v ( p r)] [p - (Vr)] (15 points) 2.-6-(19) A (pv q)] [( - 9) (9-p] (15 points)