跳到主要内容
逻辑计算器
计算器
合成
学习
词典
练习
选择主题:
系统
选择语言:
🇨🇳
中文
菜单
计算器
合成
学习
词典
练习
主题
选择主题:
系统
语言
选择语言:
🇨🇳
中文
←
返回练习
0:00
难度:
中级
类别:
逻辑等价
类型:
选择题
以下两个表达式是否逻辑等价？
表达式 1:
!(A & B)
表达式 2:
!A | !B
是的，它们是等价的
不，它们不是等价的
它们有时是等价的
无法确定
获取提示
从这里开始训练
提交
学习相关理论
讲解这道练习所涉及知识的指南。
布尔代数入门
→
探索布尔代数的数学基础、定律和定理，以及它在数字系统和计算机科学中的应用。
相关练习
难度:
专家
类别:
逻辑等价
类型:
等价检查
将以下表达式转换为析取范式 (DNF)： A -> (B & C) DNF 是子句的析取，其中每个子句是文字的合取。
难度:
专家
类别:
逻辑等价
类型:
等价检查
将以下表达式转换为合取范式 (CNF): A | (B & C)
难度:
专家
类别:
逻辑等价
类型:
等价检查
将以下表达式转换为析取范式（DNF）： A & (B | C)
难度:
专家
类别:
逻辑等价
类型:
等价检查
以下表达式是否可满足(能否使其为真)? (A | B) & (!A | C) & (!B | !C) 判断是否存在一个真值赋值使得该表达式为真。
←
上一个
求值以下表达式：¬P ↔ (Q → R) 当 P = 假，Q = 真，R = 假 时
难度:
高级
类别:
命题逻辑
类型:
表达式求值
下一步
→
将以下表达式转换为合取范式（CNF）： (A -> B) & (C | D) CNF是子句的合取，其中每个子句是文字的析取。
难度:
专家
类别:
逻辑等价
类型:
等价检查
