用逻辑代数定律证明:A AB_C_ A_CD (C_ D_)E=A CD E