教程添加对短路的说明

examples/learn.md

@@ -576,6 +576,11 @@ case 4:
 > 和 DExp 有类似作用, 不过它的优先级是溢出的, 在许多地方需要加上括号使用
 >
 > `!` 运算并不实际存在, 它使用德摩根变换来反转内部条件, 直到反转到简单条件后结束
+>
+> `&&` 和 `||` 运算是短路的, 即:
+> - `a && b` 在 a 不成立时, 直接返回不成立, 并不会计算 b 是否也不成立
+> - `a || b` 在 a 成立时, 直接返回成立, 并不会计算 b 是否也成立
+> 合理使用这种短路特性可以带来许多便利
 
 
 简单语句
@@ -650,6 +655,13 @@ i, x = 2, abs(a-b) + sqrt(a)*2;
 
 同时也提供三元运算等, 详见 [op-expr](./op_expr.mdtlbl)
 
+> [!NOTE]
+> op-expr 提供的 `||` 和 `&&` 运算优先级和 CmpTree 类似, 但是并不具备短路特性,
+> 即 `a && b` a 为假 b 就不求值, `a || b` a 为真 b就不求值.
+>
+> op-expr 的 `||` 和 `&&` 是使用 `+` 和 `land` 实现的,
+> 只是为了有方便的优先级进行逻辑运算
+
 
 关于注释
 ===============================================================================