望能帮助此方面学习有困难的同学。
| 符号 | 运算 | 说明 |
|---|---|---|
| ∧ | 合取(与) | 逻辑与运算 |
| ∨ | 析取(或) | 逻辑或运算 |
| ~ | 否定(非) | 逻辑非运算 |
| → | 蕴含 | 条件运算 |
| ↔ | 双条件 | 双向蕴含 |
在右侧控制面板的"输入变元"区域输入变元字母，如 pq 或 abc，然后点击"生成变元"按钮。
- 点击画布中的变元来选择它们（选中的元素会变红）
- 选择一个元素后，可以点击"~"按钮进行否定运算
- 选择两个元素后，可以点击其他运算符按钮进行二元运算
构建完表达式后，点击"生成真值表"按钮，系统会自动生成完整的真值表。
在真值表中填写你认为正确的答案（T 或 F），然后点击"检查答案"查看结果。
- 清空画布：清除所有元素和连接线
- 随机公式：生成随机逻辑公式用于练习