Mister Exam
按步骤的数理逻辑
有了正确解答，你会成为小组里最受欢迎的人❤️😊
⌨
- 使用符号逻辑与布尔代数
- 按运算优先级为表达式加括号
- 化简逻辑表达式
- 生成所输入公式的真值表
- 求逻辑表达式的范式:
- 合取范式（含完全合取范式）
- 析取范式（含完全析取范式）
逻辑表达式示例
- 使用否定
(A⇒B)⇒¬(B⇒A)
- 逻辑表达式的加法（或）
(A⊕B)∨(A⊕C)
- 含“等价”符号
(A⇒B)∨(B⇔C)
- 含“蕴含/推出”符号
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
- NOR
(A⇒B)∧(A↓C)
- 使用合取与析取
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
- 使用 NAND 与 NOR
0↓1|a|b|c|1↓0
逻辑表达式支持的符号
此处列出输入逻辑公式时应使用的符号
- ¬a
- – 否定
- a⇒b
- – 蕴含
- a∧b
- – 合取
- a∨b
- – 析取
- a⇔b
- – 等价
- a⊕b
- – 模 2 加法 ( 异或)
- a|b
- – NAND (谢弗划)
- a↓b
- – NOR (皮尔士箭头)
- a⊙b
- – XNOR gate ( 带取反的异或)
计算器可化简包含以下运算的表达式: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR