boolean-logic - Simple Solver以外に、入力/出力が与えられたデジタル回路を解決するソフトウェアはありますか？

Question

全て -

ここに「SimpleSolver」と呼ばれるものがあります。

http://home.roadrunner.com/~ssolver/syn.html

ここからダウンロードできます

http://www.softpedia.com/progDownload/Simple-Solver-Download-103308.html

私の質問は次のとおりです。SimpleSolverは、必要な入力/出力を指定してデジタル回路を解決する唯一のものですか？シンプルソルバー以外にデジタル回路を解くソフトウェアはありますか？

すべて/アドバイスをいただければ幸いです。

Answer 1

を見てくださいLogic Friday 1。これはインタラクティブなツールなので、関数テーブル、式、またはゲートのネットワークとして定義されたブール式を処理/解決します。もう1つの優れたツールはBC2CNFです。CryptoMinisatのようなSATソルバーと組み合わせると、BC2CNFを使用してブール式を解き、どの変数値が実際に式を満たすかを見つけることができます。