(computing) A logical operator that returns a value as soon as the outcome is certain, without necessarily testing all operands (for example, an OR operator returning true if the first operand evaluates as true, without evaluating the second operand)