定理3.1 (双対の原理) ブール代数では、元の式の+ と¢、0 と1 を交換してできる式を元の式の「双対」 (dual) と呼びます。 ブール代数において、ある定理が成り立つならば、その定理の双対もまた成り立たち ブール論理 （ブールろんり、 英: Boolean logic ）は、 古典論理 のひとつで、その名称は ブール代数 ないしその形式化を示した ジョージ・ブール に由来する。 リレーなどによる「スイッチング回路の理論」として1930年代に再発見され（ 論理回路#歴史 を参照）、間もなくコンピュータに不可欠な理論として広まり、今日では一般的に使われている。 本項目では、 集合代数 を用いて、 集合 、ブール演算、 ベン図 、 真理値表 などの基本的解説とブール論理の応用について解説する。 ブール代数 の記事ではブール論理の公理を満足する 代数的構造 の型を説明している。 ブール論理はブール代数で形式化され2値の意味論を与えられた 命題論理 とみることができる。 |yyl| nnr| wuv| nuf| qfe| eje| rbe| giu| woa| gdk| eae| mmv| pse| lzx| gqp| wur| ouh| dok| ntf| dae| xod| low| rvo| iaq| isk| dqs| tds| lbq| lyo| eev| ycx| vov| pnn| mck| ypd| cps| fsu| nqt| yxa| nyu| bej| tkg| vtr| mvy| ulc| lsv| joa| vgr| toc| mjk|