P(Av~B|B) does not equal P(A). P((Av~B) & B) equals P(A).
Edit: it doesn’t, of course. P(Av~B|B) = P(A|B) and the other thing I said is just silly.
P(Av~B|B) does not equal P(A) [...] P(Av~B|B) = P(A|B)
Whoops! You’re right. I’ll edit the comment to reflect this correction.
Just for general convenience: P((A+~B)B) = P(AB).
P(Av~B|B) does not equal P(A). P((Av~B) & B) equals P(A).
Edit: it doesn’t, of course. P(Av~B|B) = P(A|B) and the other thing I said is just silly.
Whoops! You’re right. I’ll edit the comment to reflect this correction.
Just for general convenience: P((A+~B)B) = P(AB).