The point of implication is to say whether, in case P is true, that Q is true as well. If P is false, then the implication is always true. So it’s !P || Q. Or

The point of implication is to say whether, in case P is true, that Q is true as well. If P is false, then the implication is always true. So it’s !P || Q. Or P=>Q as the author proposes. If(bValidate => IsValid()) { /* runs if either validation was unnecessary or passed */ } And that would be equivalent to (!bValidate || IsValid()).