• ベストアンサー

ブール代数

(¬P・Q・¬R)+(P・¬Q・¬R)+(P・¬Q・R)+(P・Q・R) を簡単化せよという問題なのですが (¬P・Q・¬R)+(P・¬Q・¬R)+(P・¬Q・R)+(P・Q・R)+(P・¬Q・R) ⇔(¬P・Q・¬R)+P・¬Q(¬R+R)+P・R・(Q+¬Q) ⇔(¬P・Q・¬R)+(P・¬Q)+(P・R) で終わりでいいのでしょうか?

質問者が選んだベストアンサー

  • ベストアンサー
noname#154783
noname#154783
回答No.2

ANo.1です. すみません.赤い囲みの位置がずれてました. 改めて正しい図を添付します.

kulalala
質問者

お礼

カルノー図という方法で簡単に 求まるのですね。ありがとうございます!

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (1)

noname#154783
noname#154783
回答No.1

カルノー図(添付図)を見る限りこれ以上簡単にはならなさそうなので, > (¬P・Q・¬R)+(P・¬Q)+(P・R) で終わりでいいんじゃないでしょうか.

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • ブール代数の問題

    (¬P・Q・¬R)+(P・¬Q・¬R)+(P・¬Q・R)+(P・Q・R) を変形して簡単化したいのですがやり方が分かりません。 どなたか教えて下さい。 半加算器の真理値から求めた論理式です。

  • 代数学 証明

    この問題の証明が分かりません。 分かる方、早急にお願いします。 【問】 素数p、任意の自然数q、rについて、     p^r*q C p^r がpの倍数でないことを証明せよ。

  • 線形代数の問題なんですが

    A=(1 0 1)    (0 1 0)    (1 0 1) と3次元空間上のベクトル r1=(1/√2)    (0)    (1/√2) があります。 行列Aの固有ベクトルq1,q2,q3を求め、それらを正規化したベクトルp1,p2,p3を基底とする座標系でr1を求めよ、という問題が解けません。 ここで行列Aの固有値は0、1、2で固有ベクトルは   (1) q1=(0)   (-1)    (0) q2=(0)   (0)   (1) q3=(0)    (1) です。 分かりづらくてすいませんがどうか解き方を教えてください。

  • 線形代数の行列の問題です。(その2)

    べき零行列A(A^m = O)に対して exp(A) = E + A + {1/(2!)}A^2 + ・・・+{1/(m-1)!}A^(m-1) と定義する。 A,Bがべき零かつ可換ならば exp(A+B) = exp(A) ・ exp(B) を証明せよ。 という問題について質問があります。 この問題の解説にて exp(A) ・ exp(B) = [Σ[p=0,r-1]{1/(p!)}A^p][Σ[q=0,s-1]{1/(q!)}B^q] = Σ[t=0,m-1]{1/(t!)}[Σ[p+q=t]{(t!)/(p!q!)}(A^p)(B^q)] (ただしm=r+s-1) とありますが、何故 m = r+s-1 とおけるのか、そして、何故 m = r+s-1 と置くという発想に至るのかが分かりません。

  • 線形代数の行列の質問です。

    べき零行列A(A^n = O)に対して exp(A) = E + A + {1/(2!)}A^2 + ・・・+{1/(m-1)!}A^(m-1) と定義する。 A,Bがべき零かつ可換ならば exp(A+B) = exp(A) ・ exp(B) を証明せよ。 という問題について質問があります。 この問題の解説にて exp(A) ・ exp(B) = [Σ[p=0,r-1]{1/(p!)}A^p][Σ[q=0,s-1]{1/(q!)}B^q]・・・(1) = Σ[t=0,m-1]{1/(t!)}[Σ[p+q=t]{(t!)/(p!q!)}(A^p)(B^q)]・・・(2) (ただしm=r+s-1) とありますが、なぜ(1)を(2)に変形することが出来るのか理解できません。 そもそも、 Σ[p+q=t] の意味がわかりません。

  • ブール代数での簡単化

    簡単化でわからない問題があったので質問させていただきます。 A・B・C+A'・B・C+A・B+(B・C)' 宜しくお願いします。

  • ブール代数

    画像のブール代数の計算問題なのですが、 計算結果が画像の答えと一致しないです。 どなたか詳しい方、細かい計算過程を教えていただけないでしょうか。 よろしくおねがいします。

  • 線形代数学の問題です。

    線形代数学の問題です。 u=(a,b,c),v=(d,e,f),w=(g,h,i)とするとき, pv+qu+rw=(0,0,0)を満たすp,q,rがp=q=r=0しかないとき | a b c | | d e f | ≠0 . | g h i | となることを示してください。 お願いします。

  • ブール代数

    ブール代数の問題です。 わかる方はぜひお応えください。 1.次の式を証明しなさい。また、双対を書きなさい。 (1)a+a'*b=a+b (2)(a+b)*(b+c)=a*c+b (3)(a*1)*(0+a')=0 2.次のブール式を加法標準形にしなさい。 (1)xz+xyz (2)xz+y'z+xyz (3)(x+y'z)'+(xyz'+x'y)' 3.次のブール式を完全加法標準形にしなさい。 (1)xy+xz' (2)z(x'+y)'+y' 4.次のブール式を加法標準形にし、さらに完全加法標準形にしなさい。 (1){(x'+y)'+x'y}' (2)x(x'+y)+y'z (3)(x'y')'(x'+xyz') (4)(x+y)(x+yz') 結構多いのですが、丁寧な解説をお願い致します。 全部できなくて構いません。 できる問題だけでも大丈夫です。

  • 代数学の問題です

    p,q,k:整数とする。 p,qは互いに素である。 <x>:xの非整数部分とする。 例 <4.7> = 0.7 このとき k*q ≦ n < (k+1)*q <n*p/q> = a/q  (0 ≦ a < q) となるような整数 n が唯一つ存在する事を証明せよ。 k=0と仮定できるのはなぜか? 自分なりにp,qが互いに素であることより p*x+q*y=1 となる事を考えて利用しようと思ったのですが見当違いのせいかうまくできませんでした。 どなたかこの問題の解答の分かる方のご解答をお待ちしております。