- ベストアンサー
論理式
info22の回答
- info22
- ベストアンサー率55% (2225/4034)
>論理式の二行目から三行目への手順をもう少し詳しく教えてくれませんか?? やり方の手順がすべてです。 参考URLの乗法標準形の所にカルノー図から乗法標準形の論理式をつくる作り方が載っていますので、そこをご覧下さい。 乗法標準形の式を作るときは A=0の場合は、論理式の中では A と書き、 A=1の場合は、論理式の中では ¬A と書いて 論理式の各和項を作る。 ただそれだけです。 それ以上の説明は不可能です。後は例題をこなしてなれるだけです。 そして、A#1に書いたように、加法標準形と乗法標準形の式に 論理変数の値を具体的に与えて計算して、真理値表が同じになることで 納得するしかないでしょう。 「^d」について説明がなかったのでA#2では、べき乗の意味かと勝手に推測して、回答のアドバイスをしました。しかし、A#1の補足で >dは相対関数を意味してます。 とのことですので解釈が間違っていましたのでA#2の最後の行の >後半)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になるのはわかるのですが論理公式による方法がわからなくて困ってます。 わかる方教えてください
- ベストアンサー
- その他(学問・教育)
お礼
ありがとうございます。少しURL先を覗いて勉強してきます! 訂正で ×相対関数 ○双対関数 でした。 出力z = f(a1,…,an)のとき、それぞれの変数の否定とその関数自体の否定、もしくはAND,ORをひっくり返した論理式です! 後者のが断然楽ですね!