当AND的第一个运算数的值为false时，其结果必定为false；当OR的第一个运算数为true时，最后结果必定为true，在这种情况下，就不需要知道第二个运算数的具体值。在一些语言中（如Lisp），默认的逻辑运算符就是短路运算符，而在另一些语言中（如Java，Ada），短路和非短路的运算符都存在。对于一些逻辑运算，如XOR，短路求值是不可能的 。短路表达式codice_1，事实上等价于条件语句：codice_2。短路表达式codice_3，则等价于条件语句：codice_4。