今回はQEPCAD Bの応用プログラムである，SLFQ（http://www.usna.edu/cs/~qepcad/SLFQ/Home.html）についてお話しましょう．SLFQは，Simplifying Large Formulas with QEPCAD Bという名の通り，QEPCAD Bを使って大きな論理式を簡約するもので，次からダウンロ…

今回はQEPCAD Bの特徴の一つである，Extended Tarski Formulas（http://www.usna.edu/CS/~qepcad/B/user/ETF.html）についてお話しましょう．入力は，以前書いたバッチ処理と同じ書式ですが，ファイルは作らずecho出力をパイプ処理で読み込ませます．例えば …