Starting from a circuit I'm able to obtain simplified the boolean expression:
F(A,B,C,D) = A'D' + ABC + BCD'
After observing the k-map I can observe that the expression BCD' (green) is covered by A'D + ABC.
How can I factor out BCD' mathematically?