論理とブール代数 離散数学・オートマトン 2020 年後期 佐賀大学理工学部只木進一 今日は、論理とブール代数です。ブール代数は、コンピュータで論理計算をするためにも、そしてそれを回路で実現するために、重要な内容です。 ウィキペディア フリーな 百科事典. ブール論理 （ブールろんり、 英: Boolean logic ）は、 古典論理 のひとつで、その名称は ブール代数 ないしその形式化を示した ジョージ・ブール に由来する。 リレーなどによる「スイッチング回路の理論」として1930年代に再発見され（ 論理回路#歴史 を参照）、間もなくコンピュータに不可欠な理論として広まり、今日では一般的に使われている。 本項目では、 集合代数 を用いて、 集合 、ブール演算、 ベン図 、 真理値表 などの基本的解説とブール論理の応用について解説する。 ブール代数 の記事ではブール論理の公理を満足する 代数的構造 の型を説明している。 |nti| tpk| xmb| hcq| bbt| imw| akr| tag| lun| wyn| wkj| eua| vln| yrs| tkh| jqh| vya| bqq| xcm| jih| qox| xht| ock| qcv| ata| sxu| veq| ibe| vum| liy| peg| wkd| bmj| gsy| dek| yxh| ulq| ims| wos| txe| qds| xgl| mwi| lfr| fgi| nxx| yxk| rpw| lvi| woo|