请在"解析文本"按钮上方的文本框内输入"逆波兰逻辑表达式"。

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

• .：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 模型；再点击"文本转图"即可得到最终的正规图形表示。