I forgot

Why is:

A + ~A.B = A + B


~ = NOT

Well, reading it like this:

A v (¬A ^ B) <=> A v B

And making a truth table, you see the truth values on the main column are the same. So, logically equivalent. How you imagine it in your mind is up to you, use Venn diagrams or some shit