1、右部单一化：F={A->B.A->C,B->C,A->B,AB->C.AC->D}
2、左部最简化：F={A->B.A->C,B->C.AC->D}
3、去掉多余的函数依赖：F={A->B.B->C.AC->D}