逻辑运算的短路性质