- ベストアンサー
論理式
info22の回答
#2,#3,#5,#7です。 添付図、ピンボケでよく見えません。 ワードやパワーポイントなどに書いて、「Fn+Alt+PrtScr」で画面を切り取ってペイントに貼り付けて、たて3:横4の割合の図にしてJPGファイルに名前をつけて保存し、ここの画像としてアップすれは鮮明ではっきりした画像になります。 A#7の補足について >あと、ひとつ計算チェックしてほしいんですがいいですか?? >(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 ) ここまでは両方ともあっていますよ。 > これって計算していくと両方の解が違うように思えるんですけどどこかおかしい場所ありますか?? 続きの計算で間違えてみえるかと思います。 続きを計算すると >(A◎B)◎C=(A(¬B)+(¬A)B) ◎ C >= ¬(A(¬B)+(¬A)B)C+(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) =((¬A+B)(A+¬B))C+A(¬B)(¬C)+(¬A)B(¬C) =(AB+(¬A)(¬B))C+A(¬B)(¬C)+(¬A)B(¬C) =ABC+(¬A)(¬B)C+A(¬B)(¬C)+(¬A)B(¬C)…(◆) >A◎(B◎C)=A◎( B(¬C)+(¬B)C) >=(¬A)(B(¬C)+(¬B)C)+A¬(B(¬C)+(¬B)C) =(¬A)(B(¬C)+(¬B)C)+A((¬(B(¬C))(¬(¬B)C))) =(¬A)B(¬C)+(¬A)(¬B)C+A(((¬B)+C)(B+(¬C))) =(¬A)B(¬C)+(¬A)(¬B)C+A(BC+¬B¬C) =(¬A)B(¬C)+(¬A)(¬B)C+ABC+A(¬B)(¬C) =(◆) チャンと一致しました。
関連する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になるのはわかるのですが論理公式による方法がわからなくて困ってます。 わかる方教えてください
- ベストアンサー
- その他(学問・教育)
補足
すいません、添付図次からちゃんと作成します>< あと、俺の計算がミスってましたね。。。 間違った場所は把握できたんでよかったです! どうもありがとうございました。また何かあったときはよろしくお願いします。。