Using propositional logic properties and other logical equivalences (not truth tables), prove the following statements: 1. (p V q) V (pv-q) Is a tautology 2. ((p r) (q r) (pv q)) .+ r is a tautology 3. (pv q) (-p/-q) is a contradiction 4. (q ) ( q s-, r) p is a contradiction