一到证明题求解.利用常用永真蕴含公式证明(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)

Question

一到证明题求解.
利用常用永真蕴含公式证明
(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)

Answer 1

(A→(B→C))∧((C∧D)→E)∧(┓F→(D→┓E))=>A→(B→F)可以化为
((A∧B)→C))∧((C∧D)→E)∧((D∧E)→F)=>(A∧B)→F
结论很明显不成立