受けてきました。二度目のチャレンジです。公開されていた複数の問題のうち、比較的簡単なものが出題されたので、恐らく受かると思います。

カルノー図に代表される論理圧縮法には、他に計算機向けの「クワイン-マクラスキ法」*1が挙げられます。今日、レポートを書くのに「QML」と呼ばれるクワイン-マクラスキ法を用いた論理圧縮プログラムを発見したので、紹介します。 入手元 http://www.vector.…