- 締切済み
記号論理学の推論図 タブロー体系G体系
T¬A⊃B この式をタブロー体系で、 ¬A∩B→ この式をG体系で示したいのです 否定がつくとよくわからなくなるのですが、それぞれどうなるのでしょうか?
- みんなの回答 (1)
- 専門家の回答
みんなの回答
- th8601
- ベストアンサー率0% (0/0)
関連するQ&A
- 論理式の記号表記について
宜しくお願いいたします。 論理式の下記の表記の仕方ですが、意味と違いがいまひとつわかりません。 (1) A○+B (実際には○の中に+が入っています) ___ (2) A○+B (実際には○の中に+が入っていて、且つ、全体否定の上付きバーになってます) 手持ちの参考書に書かれていないのですが、○の中に+が入っているのはどういう意味を持つのでしょうか? プラスマイナスをあらわしてるんでしょうか? 文章で記号表現がうまくできずにわかりにくくてすいません。 宜しくご教授お願いいたします。
- ベストアンサー
- 数学・算数
- 論理式の簡単かがわからない
論理式の簡単かがわからない f=AB+A^B+^ABの式(^で否定です)でカルノー図で解くとA+Bになるのはわかるのですが論理公式による方法がわからなくて困ってます。 わかる方教えてください
- ベストアンサー
- その他(学問・教育)
- 論理演算について
論理式でX=~A+~Bは、X=~(A・B)とも表すことができるとありますが、どうしてでしょうか?考え方を教えていただければ幸いです。 ※ちなみにX=~(A・B)は、Aの上方からBの上方へ否定の線を引いたのと同様のものと捉えていただければ良いです。
- ベストアンサー
- その他([技術者向] コンピューター)
- 論理回路?
ドモルガンの法則がわかりません。否定論理積(NAND)=排他的論理和(EOR)が、ドモルガンの法則になるのか?と考察しましたが、ペン図で表すとEORには全体部の塗りつぶしが無いです。ドモルガンの法則は式で表すと、AまたはBの否定=AかつBの否定で、AまたはBの否定は否定論理和(NOR)になり、否定論理積(NAND)と合いません。有識者の方、詳しい解説、ご教授願えれば幸いです。
- ベストアンサー
- その他([技術者向] コンピューター)
- 論理式の簡略化(カルノー図) 教えてください
論理式の簡略化の問題でどうしてもわかりません。 宜しくお願いいたします。 【問】 ある問題集の問題です。 論理式A・B+B・C+C・A^を簡略化した結果は次のうちどれか? (1)A^・B+C (2)A・B+A^・C (3)A・B+B^・C (4)A・B^+B・C 【解】 A^・B^ A^・B A・B A・B^ C^ 1 C 1 1 1 上記のようにカルノー図を書いて答えはA・B+Cだと思ったのですが、私の答えが選択肢になくこれ以上わかりませんでした。 どこが間違っているのでしょうか? お手数ですが、宜しくご教授のほど、お願いいたします。
- ベストアンサー
- 数学・算数
- 論理式および、ベイッチ図(ベイチ図)からの式の簡単化について。
次の論理式を簡単化せよ。という問題です。 たとえば、X = A'B'CD + A'BCD + A'BC'D + A'B'C'D は、それぞれの項にA'Dが共通しているので、簡単化すると X = A'Dとなりますよね。 次に、Y = A'B'C + A'BCD + ABCD' + ABCD + AB'C ですが、これはベイッチ図(ベイチ図)を書くと画像左のようになりました。ここから画像右のように○印をつけ考えたものの、よくわかりませんでした。ちなみに解答は、Y = AC + B'C + CDです。 考え方を教えてください。 表記上、否定マーク(バー)が書けないので、'(ダッシュ)で書かせていただきました。見づらくて申し訳ありません。回答よろしくお願いします。
- 締切済み
- 数学・算数
- 論理式の計算順序
X=~A・~B+~A・B+A・~B (~A,~B,はそれぞれA,Bの否定 ・は論理積、+は論理和) という論理式の計算順序について教えてください。 私は、左から順に、Aの否定とBの否定の論理積をとっ て、その結果をAの否定の論理和をとってというように 計算しました。式にすると、 X=(((((~A・~B)+~A)・B)+A)・~B)です。結果、求めた 真理値表は解答のものと違ってしまいました。 解答では、~A・~B、 ~A・B、 A・~Bをまず先に求め、 その結果の論理和をとっていました。式にすると、 X=(~A・~B)+(~A・B)+(A・~B)という計算順序でした。 なぜ、このような計算順序になるのか、また、 もし、X=~A・~B+~A・B+Aのように最後の~Bを 取り除いた場合の計算順序も教えてください。 よろしくお願いします。 真理値表 A B X 0 0 1 0 1 1 1 0 1 1 1 0
- ベストアンサー
- 情報処理技術者