跳到主要内容
逻辑计算器
计算器
合成
学习
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
专家
逻辑等价
简化
化简以下表达式：
(A ∧ B ∧ C) ∨ (A ∧ B ∧ ¬C) ∨ (A ∧ ¬B ∧ C)
逻辑表达式
插入：
∧ 与
∨ 或
¬ 非
→ 蕴含
↔ 当且仅当
⊤ 真
⊥ 假
(
)
显示帮助
清除
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
逻辑门与数字电路
→
探索如何通过逻辑门（AND、OR、NOT、NAND、NOR、XOR）在硬件中实现布尔逻辑，以及这些逻辑门如何组合形成驱动现代计算的数字电路。
卡诺图
→
一眼看出布尔表达式的化简：网格为何这样排列、如何圈出 1 和 0，以及如何从图上读出最简形式。
相关练习
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下是一个有效的论证（重言式）吗？ ((A -> B) & A) -> B 这被称为肯定前件，是一条基本推理规则。
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下是否为有效论证（重言式）？ ((A -> B) & !B) -> !A 这被称为否定后件式 (Modus Tollens)，是另一个基本的推理规则。
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下是否为有效论证（重言式）？ ((A | B) & !A) -> B 这被称为析取三段论。
难度:
专家
类别:
逻辑等价
类型:
简化
化简以下包含4个变量的表达式： (A & B & C & D) | (A & B & C & !D) | (A & B & !C & D) | (A & B…
←
上一个
仅使用 NOR 运算（表示为 !(P | Q)）来表达以下表达式： A & B NOR 是功能完备的，这意味着任何布尔函数都可以仅使用 NOR 来表达。
难度:
专家
类别:
逻辑等价
类型:
等价检查
下一步
→
证明以下式子是重言式： ((A -> B) & (B -> C)) -> (A -> C) 这是蕴含的传递性质。
难度:
专家
类别:
逻辑等价
类型:
等价检查
