次のような命題論理式と時相論理式があります。
"phi1 => phi2";
"phi1 U phi2";
"X phi1".
接頭表記を使用してそれらを表現したいと思います。つまり、「phi1 U phi2」は「U phi1 phi2」と表されます。「U phi1 phi2」を表すために使用するデータ型に関するアイデアはありますか? 私はpythonを使用しており、文字列として表現できることは知っていますが、式の各項に個別にアクセスする必要があるため、より効率的なものがあるかどうか疑問に思っていました. ("U","phi1","phi2")また、うまく機能するように表現しようとしましたが、より複雑な式では「()」が重くなります。
前もって感謝します