The Logical Connectives
Short-circuit evaluation means that in some situations only the left argument is evaluated, and the right argument is not even examined.
There is no way to overload the logical operators and preserve the short-circuit evaluation.