Prove the correctness/validity of the following expressions: Marks (2) 1.(A∧B)∨C ≡ (A∨C)∧(B∨C)(hint: use distributive rule truth table) 2.¬∃X¬P (X) → ∀xP (X)(hint: use inference rule/s of FOL)