跳到主要内容
逻辑计算器
计算器
合成
学习
词典
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
词典
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下表达式是否为重言式(永真式)?
(A → B) ∨ (B → A)
逻辑表达式
插入：
∧ 与
∨ 或
¬ 非
→ 蕴含
↔ 当且仅当
⊤ 真
⊥ 假
(
)
显示帮助
清除
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
数学中的逻辑
→
理解逻辑如何构成数学的基础，从证明技巧和数学归纳法到集合论、量词和数学真理的哲学。
哲学中的逻辑
→
探索逻辑与哲学之间的深刻关系，涵盖逻辑哲学、模态系统、论证分析、悖论和逻辑真理的本质。
相关练习
难度:
专家
类别:
逻辑等价
类型:
等价检查
仅使用 NAND 运算（表示为 !(P & Q)）来表达以下表达式： A | B NAND 是功能完备的，这意味着任何布尔函数都可以仅使用 NAND 来表达。
难度:
专家
类别:
逻辑等价
类型:
等价检查
仅使用 NOR 运算（表示为 !(P | Q)）来表达以下表达式： A & B NOR 是功能完备的，这意味着任何布尔函数都可以仅使用 NOR 来表达。
难度:
专家
类别:
逻辑等价
类型:
简化
化简以下表达式： (A & B & C) | (A & B & !C) | (A & !B & C)
难度:
专家
类别:
逻辑等价
类型:
等价检查
证明以下式子是重言式： ((A -> B) & (B -> C)) -> (A -> C) 这是蕴含的传递性质。
←
上一个
以下表达式是否可满足？ (A | B) & (!A | B) & (A | !B) & (!A | !B)
难度:
专家
类别:
逻辑等价
类型:
等价检查
下一步
→
尽可能化简以下表达式： (A & B) | (A & !B) | (!A & B)
难度:
专家
类别:
逻辑等价
类型:
简化
