跳到主要内容
逻辑计算器
计算器
合成
学习
词典
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
词典
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
难度:
专家
类别:
逻辑等价
类型:
简化
转换为合取范式 (CNF):
(A ∧ B) ∨ (B ∧ C) ∨ (A ∧ C)
逻辑表达式
插入：
∧ 与
∨ 或
¬ 非
→ 蕴含
↔ 当且仅当
⊤ 真
⊥ 假
(
)
显示帮助
清除
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
人工智能中的逻辑
→
探索逻辑如何构成人工智能系统的基础，从知识表示和推理引擎到机器学习和自然语言处理。
布尔代数入门
→
探索布尔代数的数学基础、定律和定理，以及它在数字系统和计算机科学中的应用。
相关练习
难度:
专家
类别:
逻辑等价
类型:
简化
化简以下极其复杂的表达式： (((A -> B) & (B -> C)) -> (A -> C)) & (((A | B) & !A) -> B) & (A…
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下表达式是重言式吗？ ((A -> B) -> A) -> A 这被称为皮尔士定律（Peirce's Law），以查尔斯·桑德斯·皮尔士（Charles…
难度:
初学者
类别:
逻辑等价
类型:
证明完成
填写此证明中缺失的推理依据。 目标： 证明 Q
难度:
中级
类别:
逻辑等价
类型:
证明完成
完成以下证明： 1. P → Q (前提) 2. Q → R (前提) 3. P (前提) 4. _ (?) 5. _ (?) 目标：证明 R
←
上一个
已知 A & (B | C) ≡ (A & B) | (A & C) 为真(分配律), 这个命题的对偶式是什么?将 & 替换为 |,将 | 替换为 &,将 ⊤…
难度:
专家
类别:
逻辑等价
类型:
等价检查
下一步
→
Horn子句是一个子句（文字的析取），最多有一个正文字。 表达式：(!A | !B | C) 这是一个Horn子句吗？
难度:
专家
类别:
逻辑等价
类型:
等价检查
