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