跳到主要内容
逻辑计算器
计算器
合成
学习
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
高级
布尔代数
简化
将以下表达式转换为析取范式 (DNF):
(A → B) ∧ C
每个项应该是文字的合取,通过析取连接。
逻辑表达式
插入:
∧ 与
∨ 或
¬ 非
→ 蕴含
↔ 当且仅当
⊤ 真
⊥ 假
(
)
显示帮助
清除
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
卡诺图
→
一眼看出布尔表达式的化简:网格为何这样排列、如何圈出 1 和 0,以及如何从图上读出最简形式。
布尔代数入门
→
探索布尔代数的数学基础、定律和定理,以及它在数字系统和计算机科学中的应用。
相关练习
难度:
初学者
类别:
布尔代数
类型:
选择题
真 与 假 的结果是什么?
难度:
初学者
类别:
布尔代数
类型:
选择题
假 或 真 的结果是什么?
难度:
初学者
类别:
布尔代数
类型:
选择题
非 真 的结果是什么?
难度:
中级
类别:
布尔代数
类型:
简化
将以下布尔表达式化简为最简形式: A & (A | B) 化简后的结果是什么?
←
上一个
仅使用与、或和非运算符来表示A和B的异或运算。 XOR在恰好一个输入为真时(但不是两者都为真)结果为真。
难度:
高级
类别:
布尔代数
类型:
等价检查
下一步
→
将以下步骤按正确顺序排列,以从给定前提证明 Q。 目标: 证明 Q
难度:
初学者
类别:
逻辑等价
类型:
拖放证明