Префиксная / польская нотация для выражений пропозициональной и темпоральной логики?
У меня есть выражения пропозициональной и временной логики, например:
"phi1 => phi2";
"phi1 U phi2";
"X phi1".
Я хотел бы представить их, используя префиксную нотацию, то есть «phi1 U phi2» будет представлено как «U phi1 phi2». Есть идеи, какой тип данных использовать для представления «U phi1 phi2»? Я использую python и знаю, что могу представить его в виде строки, но мне было интересно, есть ли что-то более эффективное, потому что мне нужно обращаться к каждому члену выражения индивидуально. Также пытался изобразить это как
("U","phi1","phi2") который работает нормально, но для более сложных формул становится тяжелым "()".
заранее спасибо