用公式法化简逻辑函数F=AB+ABC' +ABD
F=AB+ABC' +ABD=AB(1+C’+D)=AB （∵1+任何变量=1）