跳到主要内容
逻辑计算器
计算器
合成
学习
词典
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
词典
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
难度:
高级
类别:
布尔代数
类型:
等价检查
仅使用否定和析取重写以下蕴含式：
A → B
逻辑表达式
插入：
∧ 与
∨ 或
¬ 非
→ 蕴含
↔ 当且仅当
⊤ 真
⊥ 假
(
)
显示帮助
清除
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
布尔代数入门
→
探索布尔代数的数学基础、定律和定理，以及它在数字系统和计算机科学中的应用。
相关练习
难度:
高级
类别:
布尔代数
类型:
简化
化简以下表达式： (A & B) | (A & !B)
难度:
高级
类别:
布尔代数
类型:
简化
化简以下表达式： !(A & !B) & !(!A | B)
难度:
高级
类别:
布尔代数
类型:
等价检查
使用与、或和非运算符表达双条件 A <-> B。
难度:
高级
类别:
布尔代数
类型:
等价检查
仅使用与、或和非运算符来表示A和B的异或运算。 XOR在恰好一个输入为真时（但不是两者都为真）结果为真。
←
上一个
化简以下表达式： !!(A & B)
难度:
高级
类别:
布尔代数
类型:
简化
下一步
→
使用一致性定理简化以下表达式： (A & B) | (!A & C) | (B & C)
难度:
高级
类别:
布尔代数
类型:
简化
