跳到主要内容
逻辑计算器
计算器
合成
学习
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
专家
逻辑等价
等价检查
将以下表达式转换为合取范式 (CNF):
A ∨ (B ∧ C)
逻辑表达式
插入：
∧ 与
∨ 或
¬ 非
→ 蕴含
↔ 当且仅当
⊤ 真
⊥ 假
(
)
显示帮助
清除
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
人工智能中的逻辑
→
探索逻辑如何构成人工智能系统的基础，从知识表示和推理引擎到机器学习和自然语言处理。
布尔代数入门
→
探索布尔代数的数学基础、定律和定理，以及它在数字系统和计算机科学中的应用。
相关练习
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下表达式是否可满足(能否使其为真)? (A | B) & (!A | C) & (!B | !C) 判断是否存在一个真值赋值使得该表达式为真。
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下表达式是否可满足？ (A | B) & (!A | B) & (A | !B) & (!A | !B)
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下表达式是否为重言式(永真式)? (A -> B) | (B -> A)
难度:
专家
类别:
逻辑等价
类型:
简化
尽可能化简以下表达式： (A & B) | (A & !B) | (!A & B)
←
上一个
将以下表达式转换为析取范式 (DNF)： A -> (B & C) DNF 是子句的析取，其中每个子句是文字的合取。
难度:
专家
类别:
逻辑等价
类型:
等价检查
下一步
→
将以下表达式转换为析取范式（DNF）： A & (B | C)
难度:
专家
类别:
逻辑等价
类型:
等价检查
