有向グラフに「and」および「or」および「not」ゲートの束を作成したいと思います。次に、入力からトラバースして、結果が何であるかを確認します。
それを行う既製のトラバーサルがあると思いますが、表示されません。そのようなトラバーサルの名前が何であるかはわかりません。
確かに幅優先ではうまくいきません。私はすべての葉を手に入れ、根に向かって上る必要があります. 言い換えると
A = (B & (C & Z))
最初に C @ Z を解決する必要があります。
このタイプのものをグラフに入れて上にトラバースする必要があります。