クワイン・マクラフスキー法

ふと思いついて「クワイン・マクラフスキー法」でぐぐってみたら全くヒットしない。どっかの学校のシラバスがひっかかる程度だ。これはカルノーマップと同じようなことを機械的に扱えるようにしたアルゴリズムなんだが、そんなにマイナーなものなのだろうか？英語でよいならあるかもしれないけど、綴りが不明なので検索できない。せっかくだからそのうち解説ページでも書こうかと思う。(などと言って書いたためしはない。)