The math for this operation is easy when the numbers are premultiplied:
- R' = RF + (1 − AF)RB
- G' = GF + (1 − AF)GB
- B' = BF + (1 − AF)BB
- A' = AF + (1 − AF)AB
The result is (0.75,0.5,0.5,0.75), which is the result of having each color's contribution to the pixel weighted by its area.
Clears thangs right up...dont it? 