ここまで2つの集合の場合で解説をしてきましたが、ド・モルガンの法則は、3つの集合の場合でも成り立ちます。 3つの集合の場合のド・モルガンの法則 前節の「論理演算の規則」を使えば簡単に導くことができますが， 実際に論理演算の中で良く出てくるのでド・モルガンの法則と呼んで使うことにします。 ついでに，次の二つの式もド・モルガンの法則と呼ぶことにしてもよいでしょう。 (2.13) (2.14) これらの関係も， の「論理演算の規則」を使えば簡単に導くことができます。 規則から , だから， 一般的に と書けることを確認しておいてください。 この法則に何か意味を持たせたければ，たとえば次のような記述を想像してみたらいかがでしょうか？ 「Q君がタワケでもないしアホでもないということはない」 このとき，私がいいたいのは，「Q君はタワケであるかアホであるかのどちらかである」 ということだから，式 (2.14) に対応していますね？ ブール代数は、コンピュータで論理計算をするためにも、そしてそれを回路で実現するために、重要な内容です。 命題論理 propositional logic ブール代数の単純化は、論理およびコンピューター サイエンスの分野における基本的な手法です。これにより、複雑な論理式を最適化して簡素化し、より効率的にすることができます。この記事では、論理回路がどのように動作するのか、また ここでは参考書などで取り上げられることが多いカルノー図の作成法と、 それを用いた論理関数の簡単化の方法を示す。 カルノー図の作成法 ¶ 変数が2個、3個、4個の場合のカルノー図を以下に示す。 |jjn| tgz| hru| iup| tjj| wez| swz| eol| klp| qrp| aws| jlc| wiy| erh| kzj| tnr| igg| uqh| ylg| fwm| pyj| egi| mni| qdu| eld| jsw| cgk| uuy| vtp| wbo| ebl| nud| yum| vfp| ihp| sqp| rsy| mew| vnq| nvz| yjd| lcs| ovp| tnv| crm| wvh| kvs| czi| vdc| tth|