- ベストアンサー
ド・モルガンの法則
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
ベン図が書きやすいか書きにくいかということではないと思いますよ。 例えばプログラムを作る時の実際の会話の中で 『りんごを持っていない人 かつ バナナを持っていない人 は対象外にする』 のようにそのままでは意味不明な回りくどい事を言う人がよくあります。 つまり早い話、対象者は ________________________ __________ __________ りんごを持っている人 かつ バナナを持っている人 = ________________________ ________________________ りんごを持っている人 又は バナナを持っている人 = りんごを持っている人 又は バナナを持っている人 つまり『りんごを持っている人 又は バナナを持っている人を対象にする』になります。 このように実際の世界では無駄な論理を省いて処理を簡潔にするときに使うのでどちらがというわけではありませんね。
関連するQ&A
- ド・モルガンの法則の証明
ド・モルガンの法則ってありますよね?(集合論か何かにある) ベン図でだと証明できるのですが、真理値表と論理演算(∧や∨を使う演算)での証明がどうしてもできません。わかりやすく教えてください。
- ベストアンサー
- 数学・算数
- 4項のド・モルガンの法則についての質問です。
4項のド・モルガンの法則についての質問です。 F = A ∧ (B ∨ (not)C ∧ D) のとき (not)F を求める問題なのですが 自分でやってみたところ (not) A ∨ ((not)B ∧ C ∨ (not)D ) となり確かめるためにベン図を書こうとしたものの複雑でよくわからないものになり 答えがわかりません。 教科書には2項のものしか書いておらず確かめる方法がなく困っているので 回答お願いします。
- ベストアンサー
- 数学・算数
- ド・モルガンの法則について
基本情報試験の勉強をしているのですが、ド・モルガンの法則のところが難しく、よくわかりません。 「論理積の否定は、それぞれの否定の論理和に等しい。」 (A・B)=A+B 「論理和の否定は、それぞれの否定の論理積に等しい。」 (A+B)=A・B とありますが、「否定の論理和」と「論理和の否定」の違いは何なのでしょうか? 「否定の論理和」では、A+Bの上に線が1本ずつ引かれていますが、「論理和の否定」では(A+B)の上に長い線が一本しかありません。 この違いを教えてください。
- ベストアンサー
- 情報処理技術者
- ド・モルガンの定理
こんにちは、よろしくお願いします。 ド・モルガンの定理はベン図を用いると、視覚的に理解できる。 しかし、ベン図を用いず、数式のみで証明するとなると結構難しい。 参考書などにもほとんどのっていない。 そこで、次のように証明してみた(添付図の下の部分)。 否定(否定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 これで証明になっているでしょうか、皆さんのご意見をお聞かせ下さい。
- ベストアンサー
- 数学・算数
- 論理式。ド・モルガンの法則について。
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) =(右式)
- ベストアンサー
- 数学・算数
- ド・モルガンの時間計算量について
和積標準形(CNF)から積和標準形(DNF)に変換する際に、ド・モルガンの法則を適用すれば可能ですが、このときの時間計算量を教えてください。多項式時間でしょうか?それとも指数時間かかるのでしょうか?よろしければ、その理由も教えてください。
- 締切済み
- 数学・算数