结构推理 利用公式A+AB=A，消去F=A+ABCD多余的乘积项AB。