当然可以!以下是逻辑运算符 !、&&、|| 的转换规则大全,用标准 Markdown 表格格式重新整理,便于复制使用:
🔍 一、德摩根定律(核心转换)
| 原表达式 |
等价转换 |
示例 |
应用场景 |
!(A && B) |
`!A |
|
!B` |
| `!(A |
|
B)` |
!A && !B |
A && B |
`!(!A |
|
!B)` |
| `A |
|
B` |
!(!A && !B) |
⚙️ 二、分配律(运算符拆分)
| 原表达式 |
等价转换 |
示例 |
| `A && (B |
|
C)` |
| `A |
|
(B && C)` |
A && (B && C) |
(A && B) && C |
有效 && (签名 && 日期) → (有效&&签名) && 日期
|
| `A |
|
(B |
🔄 三、结合律(运算顺序调整)
| 原表达式 |
等价转换 |
说明 |
A && (B && C) |
(A && B) && C |
连续 && 顺序可调换 |
| `A |
|
(B |
| `A && (B |
|
C)` |
| 优先级规则 |
`&& > |
|
🔁 四、吸收律(冗余消除)
| 原表达式 |
等价转换 |
逻辑解释 |
| `A && (A |
|
B)` |
| `A |
|
(A && B)` |
| `!A && (A |
|
B)` |
A && !A |
false |
矛盾律 |
| `A |
|
!A` |
🎭 五、与常量运算
| 原表达式 |
等价转换 |
示例 |
说明 |
A && true |
A |
登录 && true → 登录
|
单位元 |
A && false |
false |
支付 && false → false
|
零元素 |
| `A |
|
true` |
true |
| `A |
|
false` |
A |
!true |
false |
!已认证 → false
|
常量否定 |
!false |
true |
!已过期 → true
|
常量否定 |
🔀 六、幂等律与等价关系
| 原表达式 |
等价转换 |
逻辑意义 |
A && A |
A |
幂等律(重复无效) |
| `A |
|
A` |
!!A |
A |
双重否定律 |
A && B |
B && A |
交换律 |
| `A |
|
B` |
💻 七、编程实践技巧
✅ 条件简化
// 德摩根定律
if (!(isVIP && hasCoupon)) {
// 等价于:
if (!isVIP || !hasCoupon)
}
// 吸收律应用
if (isGuest || (isGuest && isNew)) {
// 等价于:
if (isGuest)
}
🛡️ 安全访问与默认值
// 避免 null 错误
user && user.profile && user.profile.name
// 设置默认值
const displayName = username || "游客"
🔄 条件反转优化
// 原始复杂条件
if (!(isAdmin || (isEditor && hasPermission)))
// 优化后
if (!isAdmin && (!isEditor || !hasPermission))
💡 验证工具:可通过 Stanford Truth Table Tool 验证所有等价逻辑表达式。
📚 所有规则依据布尔代数逻辑,可生成真值表严格验证。
如需导出为 PDF 或用于讲义,我也可以帮你排版或生成格式更丰富的版本!
最后编辑于 :
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。