問題タブ [prefix-notation]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - ネストされた 2 つの論理 AND OR 式ツリー オブジェクトに一致
両方が同じかどうかを識別するために、特定の論理式を Java の別の論理式と比較する必要があります。たとえば、式 as((a&b)&(c|d)&(e&f))と other as を考えてみましょう((a&e)&(c|d)&(b&f))。どちらも同等です。考慮してください(a&(f&(b&e))&(c|d))：これも同等です。さらに、この式は入れ子にすることができます。これを接頭辞表記に変換しようと思ったのですが、適切な方法が見つかりません。Expressions は、式タイプが AND/OR であり、その子式 ex の配列を持つ再帰的なクラス オブジェクトです。上記の最初の式の場合:
式を単純化して比較する方法はありますか?
python - 命題論理式と時相論理式の接頭辞/ポーランド語表記?
次のような命題論理式と時相論理式があります。
接頭表記を使用してそれらを表現したいと思います。つまり、「phi1 U phi2」は「U phi1 phi2」と表されます。「U phi1 phi2」を表すために使用するデータ型に関するアイデアはありますか? 私はpythonを使用しており、文字列として表現できることは知っていますが、式の各項に個別にアクセスする必要があるため、より効率的なものがあるかどうか疑問に思っていました. ("U","phi1","phi2")また、うまく機能するように表現しようとしましたが、より複雑な式では「()」が重くなります。
前もって感謝します