ブール論理(Boolean logic).イギリスの数学者ジョージ・ブール(1815~1864)が考案した論理数学.その名前になじみがなくても,AND,OR,NOTのブール論理演算子はPubMed検索などで日常的に利用しているであろう.デジタル回路・コンピュータはブール論理で動いている.