| No. | 表达式 | 逆推 | CNF | DNF |
|---|---|---|---|---|
| 1 |
| 十进制 | A | 表达式1 |
|---|---|---|
| 0 | 0 | - |
| 1 | 1 | - |
说明有点长了
输入表达式，然后点击任意空白位置，即可自动计算真值表，或单击真值表中的值，来改变真值表。
一个布尔逻辑计算器，可以通过已有表达式计算真值表，以及通过真值表来反推CNF（合取范式）和DNF（析取范式）。方便大家在离散数学、计科导、数字电路等课程的部分章节的学习。
1代表True，0代表False，- 代表Don't care，|代表逻辑或，&代表逻辑与，^代表异或，!代表逻辑非
填写表达式时仅支持A、B、C、D、E、F、G、H八个变量（不区分大小写），以及|&^!()六种符号。
若要通过真值表来逆推表达式请选择对应表达式后的“逆推”选项，然后可通过点击真值表对应位置的值来改变真值表，CNF和DNF会自动计算。
感谢李奉治老师，让我拥有一个非常舒服的计算机科学导论实验课体验
感谢张修梁学长提供的美化建议
本作品代码均为本人自己编写，无任何AI生成的代码，网站logo为我自己绘制，字体为开源的
Cascadia Code