问题描述
我有命题和时间逻辑表达式，例如：
"phi1 => phi2";
"phi1 U phi2";
"X phi1".
我想使用前缀符号来表示它们，即“phi1 U phi2”将表示为“U phi1 phi2”。关于使用哪种数据类型来表示“U phi1 phi2”的任何想法？我正在使用 python，我知道我可以将它表示为一个字符串，但我想知道是否有更有效的东西，因为我需要单独访问表达式的每个术语。还尝试将其表示为 ("U","phi1","phi2") ，这很好用，但对于更复杂的公式，它在“()”上变得很重。
提前致谢
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）