费奇式推演证明一下表达式。

证明（φ∧ψ)∨(┐φ∧┐ψ)├Fφ↔ψ
希望各位专业人士帮忙看看吧，帮忙解决一下问题

参考下：
(p∧q)→r
=﹁(p∧q)∨r
=(﹁p∨﹁q)∨r
=﹁p∨﹁q∨r
=﹁p∨(﹁q∨r)
=p→(﹁q∨r)
=p→(q→r)