- ベストアンサー
論理式
info22の回答
- info22
- ベストアンサー率55% (2225/4034)
丸投げしないでやれる所は、自力でやる。 わからない所を質問する場合はやった所までの解答の過程を補足に書いた上で、行き詰っている所の何が分からないか、質問して下さい。 全く分からず他力本願なら諦めて、教わった先生に訊いて下さい。 > f=AB+¬(C(D+E)) …(●) =AB+¬C+¬(D+E)=AB+¬C+¬D¬E =(A+¬C+¬D)(B+¬C+¬D)(A+¬C+¬E)(B+¬C+¬E) …(■) (参考) やり方の手順 手順1)与えられた論理式を加法標準形になおす。 手順2)ゼロになるケースを網羅する。 手順3)各ゼロになるケースを負論理の和で表す。 手順4)すべてのケースの負論理和の積をとる。 合っているかは、自分で確認して下さい。 →(●)と(■)の真理値表が一致するか確認する。 後半)dについて数学的帰納法を適用する。
関連するQ&A
- 論理式を加法標準形、乗法標準形に変形する問題なのですが、どうやってやれ
論理式を加法標準形、乗法標準形に変形する問題なのですが、どうやってやればいいかよくわかりません。項をabcを使った式に直してから変形するみたいなのですが・・・。 ・加法標準形に変形 f = ab + bc + ac ・乗法標準形に変形 f = (a + b)c ご教授お願いします。
- 締切済み
- 数学・算数
- 至急!論理学の問題で困ってます!
論理学の問題で困っています。 以下の推論の記号化を推論規則や置換規則を用いて妥当性の形式的証明を行いなさい。尚、構成的ディレンマを用いずに証明しなさい。 とあります。どなたか証明方法がわかるかたがいらっしゃいましたら、解答お願いします。 1A⊃(B・C) 2D⊃(B・E) ∴(A∨D)⊃[(B・C)∨(B・E)]
- 締切済み
- 恋愛相談
- 論理式。ド・モルガンの法則について。
ABY 000 011 101 110 から論理式を主乗法標準形で求めよ。 という問題があるのですが、僕は解き方としてド・モルガンの法則を利用して、 _ _ Y = AB + AB _______ _______ _ _ Y = AB + AB _________ __ __ _ _ Y = (AB)(AB) _________ _ _ Y = (A+B)(A+B) だとおもったのですが、解答では直接(?) _ _ Y = (A+B)(A+B) という式を出しているのですが、僕の答えは別解として成り立っているのでしょうか?それともどこかで間違っているでしょうか? 式のNOTのバーが見づらくてすみません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 論理式の簡単かがわからない
論理式の簡単かがわからない f=AB+A^B+^ABの式(^で否定です)でカルノー図で解くとA+Bになるのはわかるのですが論理公式による方法がわからなくて困ってます。 わかる方教えてください
- ベストアンサー
- その他(学問・教育)
補足
丸投げすいません! 二日前からペラペラと教科書を見ただけで論理回路の勉強ほとんどしてなくて>< 論理式の二行目から三行目への手順をもう少し詳しく教えてくれませんか?? お願いします。