"The C Companion" gives logical identities like

    (A && B) || (A && !B) == A,

but what he means by A on the RHS, I think, is that you must take into account the fact that A_LHS might be zero. You can't really write this identity and give a constant on the right, so he wrote the next best thing.

Well, the real next best thing would be !(!A).