时间戳

首页 > 解决方案 > 命题和时间逻辑表达式的前缀/波兰符号？

python - 命题和时间逻辑表达式的前缀/波兰符号？

问题描述

我有命题和时间逻辑表达式，例如：

"phi1 => phi2"; 
"phi1 U phi2";
"X phi1".

我想用前缀表示法来表示它们，即“phi1 U phi2”将表示为“U phi1 phi2”。关于使用哪种数据类型来表示“U phi1 phi2”的任何想法？我正在使用 python，我知道我可以将它表示为一个字符串，但我想知道是否有更有效的方法，因为我需要单独访问表达式的每个术语。还尝试将其表示为("U","phi1","phi2")可以正常工作，但对于更复杂的公式，它会在“（）”上变得很重。

提前致谢

标签： pythonlogical-operatorsprefix-notation

解决方案

推荐阅读