You are right. (x <= n) /\ (x < n) is equivalent to (x < n), not (x <= n).
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..