通过本质判断
- child::^3b66fa
根据逻辑表达式在特殊取值下的形式判断(⭐)
- 对某些输入变量, 取一些特殊值, 使表达式最后化简成或这两种情况
实例
1. 之一
对于, 当B=C=0时, L=, 满足竞争-冒险现象的主要条件, 所以可能会产生竞争-冒险现象
2. 之一
对于, 当B=C=0时, L==1, 所以不会发生竞争-冒险现象
对于, 当B=C=0时, L=, 满足竞争-冒险现象的主要条件, 所以可能会产生竞争-冒险现象
对于, 当B=C=0时, L==1, 所以不会发生竞争-冒险现象