論理式の問題で等価な式を書けというものなのですが、

¬P∧Q∨P∧¬Q　＝　(¬P∨¬Q)∧(P∨Q)
¬P⊃Q ＝ P∨Q
forall x [A(x)∧B(x)] ＝ forall x[A(x)]∧ forall y[B(x)]
forall x[¬A(x)]⊃ exist x[B(x)] ＝ exist x[A(x)∨B(x)]
forall x[A(x)] ∨ forall[B(x)] = exist x[A(x)∨B(x)]

でしょうか？この形式の論理式にあまりなれていないので、教えて下さい。