- 締切済み
論理式を加法標準形、乗法標準形に変形する問題なのですが、どうやってやれ
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- info22_
- ベストアンサー率67% (2650/3922)
論理式の記号は色々ありますので質問者さんの場合の論理式をそのまま使わせて頂きます。 and(論理積):ab 論理和:a+b f=ab+bc+ac これはすでに加法標準形になっています。 f=(a+b)c これも乗法標準形(の最簡形)になっています。 何をしたいのでしょうか?
- zux
- ベストアンサー率33% (25/74)
標準系ですね 記号を変えてもいいでしょうか PQをP∧Q P+QをP∨Q それからPの否定を~P 恒真命題をI 恒偽命題をOで表します あと同値は≡ですね どうやって変えるかですが まず一般に P≡P∧I≡P∨O≡P∧P≡P∨Pで P∨~P≡I,P∧P~≡O です 意味を考えればわかると思います そして 例えばP∧QがP,Q,Rについての標準形にしたいなら P∧Q ≡(P∧Q)∧I ≡(P∧Q)∧(R∨~R) ≡(P∧Q∧R)∨(P∧Q∧~R) とやって標準化できます もしくは P∧Q ≡(P∧Q)∨O ≡(P∧Q)∨(R∧~R) ≡(P∨R)∧(Q∨R)∧(P∨~R)∧(Q∨~R) ここで (P∨R) ≡(P∨R)∨O ≡(P∨R)∨(Q∧~Q) ≡(P∨Q∨R)∧(P∨~Q∨R) となるので 同様な作業を(Q∨R),(P∨~R),(Q∨~R)の すべてについて行えば 最終的に全体が∧で結べます このテクを使いまわせば 問題も解けると思いますが
- B-juggler
- ベストアンサー率30% (488/1596)
こんばんは ブール代数でいいのかな? 加法標準形・乗法標準形とは どういう形を指す と言うのが 分かってあるのかどうか、 ここが最大の懸念です。 電気工学出身の代数屋なので、数学科では1年でやるんでしょうか? 書けばそれで終わりますが、後で苦労すると思うんですよね。 う~ん、○○標準形という形は、どういうものなのか。 これを書いてみてもらえませんか? やり方はフォローできますからね。 この辺はいいかな・・・。 ブール代数とします。 f(x、y、z)=xy∨yz=x¬yz∨xy¬z∨xyz (←加法標準形) =(x∨y∨z)(x∨y∨¬z)(x∨¬y∨¬z)(¬x∨y∨z) (乗法標準形) 真理値表作ったり、ドモルガンで持ってきたりして出せますよ。 一回ご自分で整理をされてくださいね。やっていますからね。m(_ _)m
関連するQ&A
- 主加法標準形後の簡略化
主加法標準形で真理値表から論理式を求めたいのですが 主加法標準形した後の論理式の簡略化がよくわかりません A'B'C+AB'C'+AB'C+ABC'(A'はAの否定) これを簡略化したいです 答えは(A+B)C' になっています 解説付きで教えてもらえると助かります
- 締切済み
- 情報工学
- BA250枚。論理回路での(主)加法標準形からNAND、(主)乗法標準
BA250枚。論理回路での(主)加法標準形からNAND、(主)乗法標準形からNORへの論理式の変形について。 画像の表について例にならって ・加法標準形 → NANDのみの形 ・乗法標準形 → NORのみの形 に変形せよというものです ちなみに否定のバーがかけないのでダッシュ(')で書かせていただきます。 例. (加法標)Y1 = X1'X2X3 + X1X2'X3 + X1X2X3' + X1X2X3 吸収則より = X2X3 + X1X3 + X1X2 二重否定で = (X2X3 + X1X3 + X1X2)'' ド・モルガン = ( (X2X3)'・(X1X2)'・(X1X2)' )' ・・・X2X3、X1X3、X1X2それぞれのバーの論理積のバー // (乗法標)Y1 = (X1+X2+X3) (X1+X2+X3') (X1+X2'+X3) (X1'+X2+X3) 吸収則より = (X1+X2) (X1+X3) (X2+X3) 二重否定で = ( (X1+X2) (X1+X3) (X2+X3) )'' ド・モルガン = ( (X1+X2)' + (X1+X3)' + (X2+X3)' )' // Y2,3について解き方をおしえてください。 たとえば、Y2は加法標準形だと、Y2 = X1'X2X3 + X1X2'X3のはずですが、これは吸収則をどう使えばよいのでしょうか。 また乗法標準形だとどうなるのでしょうか。 記載したものは大変見辛いと思いますがなんとか回答よろしくお願いします。
- ベストアンサー
- 物理学
- 加法標準形、乗法標準形
真理値表 入力 x,y,z 出力 F xyz F 0000 0010 0100 0111 1000 1011 1101 1111 上記した真理値表で表される 加法標準形 F(x,y,z)=yz+xz+xy 乗法標準形 F(x,y,z)=(NOTx+NOTy)(NOTx+NOTz)(NOTy+NOTz) を導いたのですが,合っていますでしょうか? ご確認お願い致します。
- 締切済み
- ハードウェア・サーバー