Proof writing involving propositional logic: (x ∨ y) ≡ ( x ∧ y ) → x ≡ y Prove by using propositional logic: 
(x ∨ y) ≡ ( x ∧ y ) → x ≡ y
I'm a bit lost here proving by propositional logic that the statement is valid. I don't know how to start this problem. Any help? I know the statement is true since x ≡ y, thus the premise (x ∨ y) ≡ ( x ∧ y ) does not matter, it will be still true according to the → operation. Any ideas? Any help will be greatly appreciated, thanks. 
Edit: 
Apart from true tables. 

You want to show that $x \equiv y$ from the premise $(x\vee y) \equiv (x \wedge y)$. I assume it's enough to derive $(x\to y) \wedge (y \to x)$.


*

*$(x\vee y) \equiv (x \wedge y) \qquad \text{(premise)}$

*Assume $x \qquad\qquad \text{(assumption)}$

*$x \vee y \qquad\qquad\qquad \text{by $p \to (p \vee q)$}$

*$x \wedge y\qquad\qquad\qquad \text{by 1.}$

*$y \quad\qquad\qquad\qquad \text{by $(p\wedge q) \to q$}$

*$x \to y \quad\qquad\qquad \text{by 2. and 5., discharging 2.}$

*-- 11. similarly derive $y \to x$.

