离散数学命题演绎证明A∨B→C∧D,D∨E→F=>A→F毕业七八年了,

Question

离散数学命题演绎证明A∨B→C∧D,D∨E→F => A→F 毕业七八年了,

Answer 1

A∨B→C∧D , D∨E→F=> A→D, D→F =>A→F
A∨B表示A,B中至少满足一个
C∧D表示同时满足C和D