論理式

解決済

質問者：wingsnow
質問日時：2005/11/09 15:46
回答数：1件

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

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

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

通報する

この質問への回答は締め切られました。

質問の本文を隠す

回答 (1件)

ベストアンサー優先
最新から表示
回答順に表示

No.1ベストアンサー

回答者： oyaoya65
回答日時：2005/11/09 18:09

＞この論理式をクワイン・マクラスキーの方法で解くと解けません。

＞何度やっても解けません。
＞どうしてかわかりません。

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

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

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