論理式

質問

F=AB＾C+AB＾C＾+ABC＾+A＾BC＾+A＾BC+A＾B＾C
＾は、否定を表します。

これをカルノー図で簡単化するとF=A^C＋BC＾＋AB＾
または、F=AC^＋A^B＋B＾Cとなります。これは、ある問題集にあり答えも合っています。

しかし、この論理式をクワイン・マクラスキーの方法で解くと解けません。何度やっても解けません。どうしてかわかりません。アドバイスください。

回答No.1

oyaoya65

＞この論理式をクワイン・マクラスキーの方法で解くと解けません。
＞何度やっても解けません。
＞どうしてかわかりません。

何処かにおかしいところがあるから解けないわけです。
圧縮過程（下のURL参照）を書いていただかないとチェックできません。

クワイン・マクラスキーの方法のアルゴリズムに従ってやっているか確認してみてください。
アルゴリズムは下記URLで確認ください。
http://www.ced.is.utsunomiya-u.ac.jp/~itohst/sw1-02.pdf

なお、Windows上で動作するクワイン・マクラスキー法の実行形式プログラム「qm.exe」（12変数まで対応）が公開されています（上記URL中にダウンロード先記載）ので確認してみるのもいいですね。