- ベストアンサー
論理式
info22の回答
- info22
- ベストアンサー率55% (2225/4034)
#2,#3,#5です。 A#3の補足質問 >f^d=¬(¬A◎¬B◎¬C) ? ¬(X◎Y)=(X◎¬Y)=(¬X◎Y) の式を使えば¬が中に入れられると思いますが? =¬(¬A◎(¬B◎¬C)) なので =¬A◎¬(¬B◎¬C)=¬A◎((¬(¬B))◎¬C) =¬A◎(B◎¬C)=¬A◎¬(B◎C)=A◎(B◎C)= or =(¬(¬A)◎(¬B◎¬C))=A◎(¬B◎¬C)=A◎(B◎C)= ここで (¬X◎¬Y)=¬(X◎¬Y)=¬(¬(X◎Y))=X◎Y X◎¬Y=¬(X◎Y) も覚えておいた方がいいでしょう。
関連する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になるのはわかるのですが論理公式による方法がわからなくて困ってます。 わかる方教えてください
- ベストアンサー
- その他(学問・教育)
補足
すごいわかりやすい解答ありがとうございます! きちんと重要変形のとこは押えました。 あと、ひとつ計算チェックしてほしいんですがいいですか?? (A◎B)◎C=( A(¬B) + (¬A)B ) ◎ C = ¬( A(¬B) + (¬A)B )C+( A(¬B) + (¬A)B )(¬C) A◎(B◎C)=A◎( B(¬C) + (¬B)C ) = (¬A)( B(¬C) + (¬B)C )+A¬( B(¬C) + (¬B)C ) これって計算していくと両方の解が違うように思えるんですけどどこかおかしい場所ありますか?? お願いします。