Question

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.

Was it helpful?

Solution

It's called a Redundancy Law.

A + A·B = A
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top