Workshop 与工作站
TeachFORGE.ai
Workshop / 逻辑 沙盒
逻辑 沙盒 工作站
用 IEEE 门符号、实时输入开关、真值表与布尔工具设计并模拟数字逻辑电路——再把一条电路复用于多种课堂版本。
AI 可以起草。由你决定课堂看到什么。
逻辑 沙盒 是什么
逻辑 沙盒 是数字逻辑电路 工作站。放置 IEEE 风格的门、接线、现场切换输入，并通过信号传播、真值表与布尔表达式读出行为——需要更简形式时还包括 奎因–麦克拉斯基 化简。
这对计算与电子基础很重要，因为在学习者能拨动输入并看见输出作答之前，布尔想法一直抽象。
教师为何使用 逻辑 沙盒
门电路入门
带清晰 IEEE 符号的 AND、OR、NOT、NAND、NOR、XOR、XNOR 与缓冲器。
加法器与构建块
把理论接到可工作电路的半加器与全加器演示。
MUX 与 NAND 完备性
带经典教学点的目录电路。
验证
自动真值表与表达式，让关于行为的说法可以在教室里核对。
在 TeachForge 上，逻辑 沙盒 是 Workshop 的 工作站——为从电路走到现场教学、无需离开平台而建。
逻辑 沙盒 工作站 内
与 Workshop 其余部分一样，你一边搭建，一边看行为更新。
- 可视电路画布 ，含可点击输入以现场切换 0/1
- JSON 电路编辑器 ，当你需要完整结构控制时
- 真值表面板 ，对大量输入有合理上限
- 布尔表达式与化简工具 在工具栏上
- 浮空输入警告 ，让不完整电路更容易被发现
- 逻辑模板与参数化目录包，以及导出与发送到 Whiteboard
电路如何变成模拟
加载模板，或编辑门与连线
从教学电路开始，或自己搭建。
在画布上切换输入
信号传播；真值表与表达式随行为更新。
导出、保存，或实时发送
送到白板上、放进题目，或导出为你自己的文件。
一条电路。它的每个版本。
逻辑 沙盒 支持 参数化目录包 ，用于核心教学电路，外加已保存的电路 JSON——加法器或 MUX 可按同一结构重开，准备新演示。
边教边改
翻转输入、改接一门，或在讲解中重开起点。
保持结构，变化问题
同一电路可先承载「预测输出」，再承载「完成真值表」。
让布尔看得见
把抽象逻辑接到学习者可以一门一门追踪的东西上。
贴近评估
保存电路包，并在题目与实验室中复用。
更喜欢手搭每一扇门？画布会空着，直到你填入。需要既快又不丢掉模拟时，目录起点就在那里。
可起步的现成电路
打开目录包或模板，再改编：
| 区域 | 可打开的内容 |
|---|---|
| 基础 | AND 门；NAND 完备性 |
| 算术 | 半加器；全加器 |
| 选择 | 2 选 1 多路复用器 |
按你的方式使用 AI 帮助
需要初稿？把 AI 当助手——在到达学习者之前审阅、编辑并批准。
复制提示词
生成现成提示词，粘贴到你已在用的聊天工具。
使用自己的 GPU
在设置中连接本地模型端点，在你控制的硬件上运行生成。
使用自己的 API 密钥
在设置中添加提供商密钥，选择模型，用自己的账户生成。
AI 可能会出错。正因如此，教师才留在环路中。
把电路带到教学发生的地方
- Whiteboard — 放到实时白板上，在全班面前调整
- Quest Ladder — 放入问题与讲解
- Virtual Lab — 在互动实验作业中复用
- 社区 — 分享你的作品，并在其他教育者分享的基础上继续构建