用代数法化简函数F=(A B D)(A B C)(A B C D)