2011-03-02から1日間の記事一覧
今回はQEPCAD Bの応用プログラムである,SLFQ(http://www.usna.edu/cs/~qepcad/SLFQ/Home.html)についてお話しましょう.SLFQは,Simplifying Large Formulas with QEPCAD Bという名の通り,QEPCAD Bを使って大きな論理式を簡約するもので,次からダウンロ…
今回はQEPCAD Bの応用プログラムである,SLFQ(http://www.usna.edu/cs/~qepcad/SLFQ/Home.html)についてお話しましょう.SLFQは,Simplifying Large Formulas with QEPCAD Bという名の通り,QEPCAD Bを使って大きな論理式を簡約するもので,次からダウンロ…