在“解析文本”按钮上面的文本框内输入“逆波兰逻辑表达式”。

“逆波兰逻辑表达式”支持五种逻辑操作符：

• “.”：“a b .”代表“a”和“b”的逻辑与，
• “<”：“a <”代表“a”的逻辑非，
• “,”：“a b ,”代表“a”和“b”的逻辑或，
• “=”：“a b =”代表“a”和“b”的逻辑等价/同或，
• “>”：“a b >”代表“a”和“b”的逻辑推出。

逆波兰逻辑表达式组合的举例说明：

• “a b . fe >”即代表逻辑表达“a 与 b 推出了 fe”，
• “a b . fe ge > =”即代表逻辑表达“a 与 b 等价于 fe 推出了 ge”。

之后点击“解析文本”按钮，将“逆波兰逻辑表达式”转换为适合图形表示的 JSON 格式，之后再点击“解析文本”按钮旁的“文本转图”，得到最终的正规图形表示。

补充操作：选中节点后可修改“元素名称 / 元素备注”并点“保存修改”；“图转文本”可将画布导出为 JSON；“保存文本 / 载入文本”用于导出、导入本地 JSON 文件；滚轮缩放，Alt + ↑ / ↓ 缩放，双击空白处清除高亮。