問題タブ [cnf]
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 - CNF の数学的論理を生成する
数学的ロジックを動的に生成して再帰関数 dfsCompute に渡そうとしていますが、それができません。渡された値が配列と見なされ、それに応じて評価されるように、何を渡す必要があるのか 疑問に思っているので、見つけてください。以下のコード スニペット:
ロジックを動的に生成して再帰関数に渡し、if 条件で同じことを確認する方法を教えてください。
eclipse-plugin - チェックボックスを使用した Common Navigator Framework の使用方法
Common Navigator Framework を使用すると、TreeViewer のようなチェック ボックスをサポートする方法がわかりません。
当初は Check Tree View を使おうと思っていたのですが、RCP の仕組みを十分に生かすことができず、Common Navigator Framework を使うことにしました。
boolean - クエリを CNF に変換する
私は最近ロジックを学ぼうとしていますが、実行できないクエリに出くわし、どこが間違っているのかよくわかりません。クエリを CNF に変換するとき、この特定の状況になったらどうしますか?
これをどのように再配置してCNF形式にしますか? 私は何か完全に間違っていますか？
助けてくれてありがとう、ショーン
nlp - この確率的文法の CNF 形式は何になるでしょうか?
PCFGが好きなら、
CNFフォームとは？以下になりますか？
または何か他のもの？
sat - Yosys 命令「sat -dump_cnf」
Verilog にサンプルの組み合わせ回路があり、命令に従って論理合成を行い、blif ファイルを生成できます。
ただし、回路から CNF 式を生成する必要があります。ABC などのツールでは、組み合わせマイター (つまり、1 つの出力) からのみ生成できます。
yosys 命令「sat -dump_cnf FILE」を試してみたところ、実際に CNF ファイルを生成できました。ただし、CNF 内の変数を回路内の I/O にマップする方法がわかりません。
Yosys の "sat -dump_cnf" 機能を調べた人はいますか?