Technika obliczania przez kompilator lub interpreter wartości logicznych warunków złożonych, w której warunek po jednej stronie operatora logicznego może nie być wyliczany, jeżeli wartość logiczna warunku po drugiej stronie jest wystarczająca do określenia wartości logicznej całego warunku złożonego.
A programming language/interpreter technique for evaluating compound conditions in which a condition on one side of a logical operator may not be evaluated if the condition on the other side is sufficient to determine the final outcome.