I think it is always true that
x || (x && y)
is equivalent to
x
If so, what is that law called? I'm not even sure how I would Google for that.
It's called a Redundancy Law.
A + A·B = A