Boolean algebra is extremely well-defined, and you will find it is possible to mathematically prove what is redundant and what is not.
Fortunately, writing code is a science, more than it is an art.
Printable View
Yes, the if-statement obviously means checking if the expression equals true, if you then put "== true" in the expression, you're doing an extra comparison. The compiler might do away with your redundant comparison, but then we don't want to rely on the compiler to fix our mess now do we?
how is any of this related to the OP's question?