布尔代数简化业务逻辑的核心是将嵌套if、&& || !等还原为可运算逻辑式，再用吸收律、德·摩根律等定律消除冗余，使条件更短、易读、少错。
直接用布尔代数简化业务逻辑条件表达式，核心不是套公式，而是把代码里那些嵌套 if、多重 && ||、取反 ! 的判断，还原成可运算的逻辑式，再用几条关键定律“砍掉冗余”。实际效果是让条件更短、更易读、更少出错。
先把业务条件转成标准布尔表达式
业务代码中的条件往往混着函数调用、比较操作和括号嵌套。简化前先做“标准化”：
- 把每个原子判断（如 user.isPremium()、order.total > 100、!payment.failed）抽象为单个大写字母变量，比如 P、T、F′
- 把 && 统一换成乘法符号 ·（或省略），|| 换成 +，! 换成上划线（如 !valid → V′）
- 保留原有括号结构，确保运算优先级不被破坏。例如：if (A && (B || C)) → 对应 A·(B + C)
优先用吸收律和幂等律“瘦身”
这两条在业务逻辑中最常出现，见效最快：
- A + A·B = A：只要主条件成立，后面加再多“且满足某附加条件”都白搭。例如 isStaff || (isStaff && hasPermission) → 直接简化为 isStaff
- A + A′·B = A + B：当某分支覆盖了 A 为假时的所有情况，就可以去掉 A′ 的限制。例如 isLoggedIn || (!isLoggedIn && isGuestAllowed) → 等价于 isLoggedIn || isGuestAllowed
- A + A = A 或 A·A = A：重复判断直接合并。比如连续两次检查 status == 'active'，只留一个
善用德·摩根律处理取反嵌套
深层否定（如 !(a && b || c)）最容易写错也最难读。用德·摩根律一层层“翻出来”：
- (X + Y)′ = X′·Y′ → 把外层取反拆成两个取反的与
- (X·Y)′ = X′ + Y′ → 把外层取反拆成两个取反的或
- 操作顺序：先翻最外层括号，再逐层向内；每翻一次，运算符就切换（+↔·），每个变量加′
- 例子：!(user.role == 'admin' && order.isUrgent()) → 设 A = admin, U = urgent，原式为 (A·U)′ = A′ + U′，即 user.role != 'admin' || !order.isUrgent()
结合互补律和同一律快速收口
化简后期常遇到能“定论”的项，直接终结整段表达式：
- A + A′ = 1（恒真）：只要一对互斥条件用 OR 连接，整个分支必然执行。比如 status == 'paid' || status == 'refunded' 若已知 status 只可能在这两者中，则整段可替换为 true
- A·A′ = 0（恒假）：互斥条件 AND 在一起，整段可删。例如 isDeleted && !isDeleted 永远不成立
- A + 1 = 1、A·0 = 0：一旦出现恒真/恒假子式，立即向上合并。像 hasAccess || true → true，后续逻辑可整体跳过
