导航
LogicSim 逻辑仿真器
表达式
图模型
元素属性
使用说明

在顶部“表达式”框输入逆波兰逻辑表达式,点击“解析文本”得到 JSON 模型,再点“文本转图”即可渲染图形。

五种逻辑操作符:

  • . 逻辑与 —— a b .
  • , 逻辑或 —— a b ,
  • < 逻辑非 —— a <
  • = 等价 / 同或 —— a b =
  • > 推出 —— a b >

组合示例:

  • a b . fe > 表示「a 与 b 推出 fe」
  • a b . fe ge > = 表示「a 与 b 等价于 fe 推出 ge」

Diagram Model loaded from Json Format.

滚轮缩放 · 拖拽空白平移 · 双击空白取消高亮 · 右键显示坐标