Udowodnić że wyrażenia są tautologiami

[xoyox]

Udowodnić że podane wyrażenia są tautologiami rachunku kwantyfikatorów.
1. ~\(\vee x\)Φ\((x) \Leftrightarrow \wedge x\)~Φ\((x)\) (prawo de Morgana)
2.~ \(\wedge x\) Φ\((x)\Leftrightarrow \vee x\)~Φ\((x)\) (prawo de Morgana)
3.\(\vee x \wedge y\) Φ\((x,y) \Rightarrow \wedge y \vee x\)Φ\((x,y)\)
4.\(\vee x [\)Φ\((x)v\) Ψ\((x)] \Leftrightarrow \vee x\)Φ\((x) v \vee x\) Ψ\((x)\)