- ベストアンサー
4項のド・モルガンの法則についての質問です。
noname#149523の回答
No.1の質問を軽く流しちゃだめ。 (B∨¬C)∧DとB∨(¬C∧D)は同値ではないからカッコがない段階で問題に不備がある。 >教科書には2項のものしか書いておらず ∧,∨,→の論理結合子は2項演算子だということを確認してください。
関連するQ&A
- ド・モルガンの法則の証明
ド・モルガンの法則ってありますよね?(集合論か何かにある) ベン図でだと証明できるのですが、真理値表と論理演算(∧や∨を使う演算)での証明がどうしてもできません。わかりやすく教えてください。
- ベストアンサー
- 数学・算数
- ド・モルガンの法則についている"c"は何を示すのか?
こんばんは。 ド・モルガンの法則の公式にべき乗のような"c"がついていますが、これは何を表しているのでしょうか? お願いいたします。
- ベストアンサー
- 数学・算数
- ド・モルガンの定理
こんにちは、よろしくお願いします。 ド・モルガンの定理はベン図を用いると、視覚的に理解できる。 しかし、ベン図を用いず、数式のみで証明するとなると結構難しい。 参考書などにもほとんどのっていない。 そこで、次のように証明してみた(添付図の下の部分)。 否定(否定A∨否定B)=A∧B ・・・(1)※ 否定(否定(A∧B))=A∧B ・・・(2) (1)、(2)より、否定A∨否定B=否定(A∧B) 同様に 否定A∧否定B=否定(A∨B) ※(1)の考え方 否定(否定A)=A、、否定∨=∧、否定(否定B)=B これで証明になっているでしょうか、皆さんのご意見をお聞かせ下さい。
- ベストアンサー
- 数学・算数
- ド・モルガンの法則について
基本情報試験の勉強をしているのですが、ド・モルガンの法則のところが難しく、よくわかりません。 「論理積の否定は、それぞれの否定の論理和に等しい。」 (A・B)=A+B 「論理和の否定は、それぞれの否定の論理積に等しい。」 (A+B)=A・B とありますが、「否定の論理和」と「論理和の否定」の違いは何なのでしょうか? 「否定の論理和」では、A+Bの上に線が1本ずつ引かれていますが、「論理和の否定」では(A+B)の上に長い線が一本しかありません。 この違いを教えてください。
- ベストアンサー
- 情報処理技術者
- 論理式。ド・モルガンの法則について。
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のバーが見づらくてすみません。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 高校数学Aのド・モルガンの法則について
高校数学の予習をしていたら、わからないところが出てきたので質問させていただきました。 ド・モルガンの法則(画像添付しておきます)が理解できません。 わかる方、できればわかりやすく図などを用いて説明していただけませんか? 文章では、少しわかりにくいので… 注文多くてすいません‼ 回答、お待ちしております。
- ベストアンサー
- 数学・算数
- 経済数学基礎 [集合の問題] ド・モルガンの法則
経済数学基礎 [集合の問題] ド・モルガンの法則 (1)A\(B\C) = (A\B)∪(A∩C)が成り立つことの証明について、以下よりスマートな解答はありませんでしょうか? (注)アポストロフィ'は補集合の記号cの代わりに用いました) → (左式)=A\(B\C)=A\(B∩C') =A∩(B∩C')' =A∩(B'∪C) =(A∩B')∪(A∩C) (右式)=(A\B)∪(A∩C) =(A∩B')∪(A∩C) (左式)=(右式)より証明された。 (2)(A\B)\C=A\(B∪C)の証明の解き方は以下で合っていますか? (左式)=(A\B)\C=(A∩B')\C =(A∩B')∩C' =(A∩C')∩(B∩C') =(A\C)∩(B\C) ←ド・モルガンの逆バージョン? =A\(B∪C) =(右式)
- ベストアンサー
- 数学・算数
- ドモルガンの法則、対偶、三段論法
ド・モルガンの法則 対偶 三段論法 を日本語で分かりやすく教えてください なぜ Aが好きな人はBとCが好きである ↓ BかCが好きでない人はAが好きでない となるのか教えてください
- ベストアンサー
- 数学・算数
補足
>No.1の質問を軽く流しちゃだめ。 >(B∨¬C)∧DとB∨(¬C∧D)は同値ではないからカッコがない段階で問題に不備がある。 No.1の質問の際にも確認させていただいたのですがやはり 括弧はありません。 欠陥問題だったんですね・・・ 当方実力不足で重要なところとそうでないところの区別があまりついていないため こういったご指摘は大変助かります。 >∧,∨,→の論理結合子は2項演算子だということを確認してください。 2項演算子について調べたところちょうど∧、∨についても言及している ページを見つけたのでさっそく読んでいきたいと思います。 重大なご指摘、勉強のポイントについての書きこみありがとうございました。