Hi, I would like to know the reason why

( x <= n) ^ (x < n) ) is equivalent to (x <= n)

Because I think if n = 7

then first one can have value up to x = 7

but x < n can only have value up to x = 6

so since it is narrow the commonalities can exist up to x = 6...

so I thought it was (x < n) but the answer says ( x <= n ) let me know..