AB(C+D)+D+非D(A+B)(非B+非C)
=ABC+ABD+D+非D(A非B+A非C+B非B+B非C)
=ABC+(AB+1)D+非D(A非B+A非C+B非C)
=ABC+D+非D(A非B+A非C+B非C)
=ABC+D+(A非B+A非C+B非C)
=ABC+D+(A非B+A非C)+B非C
=ABC+D+A(非B+非C)+B非C
=ABC+D+A非(BC)+B非C
=A(BC+非(BC)+B非C+D
=A+B非C+D
AB(C+D)+D+非D(A+B)(非B+非C)
=ABC+ABD+D+非D(A非B+A非C+B非B+B非C)
=ABC+(AB+1)D+非D(A非B+A非C+B非C)
=ABC+D+非D(A非B+A非C+B非C)
=ABC+D+(A非B+A非C+B非C)
=ABC+D+(A非B+A非C)+B非C
=ABC+D+A(非B+非C)+B非C
=ABC+D+A非(BC)+B非C
=A(BC+非(BC)+B非C+D
=A+B非C+D