Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
〖Boer〗
〖George Boole〗
ブール値関数(ブールちかんすう、英: Boolean-valued function)は、述語や命題の一種の総称であり、f : X → B という形式の関数として表される。ここで、X は任意の集合であり、B はブール領域である。 ブール領域 B とは、2つの元からなる集合であり、B = {0, 1}
ブール代数(ブールだいすう、英: boolean algebra)またはブール束(ブールそく、英: boolean lattice)とは、ジョージ・ブールが19世紀中頃に考案した代数系の一つである。ブール代数の研究は束の理論が築かれるひとつの契機ともなった。ブール論理の演算はブール
本項目では、集合代数を用いて、集合、ブール演算、ベン図、真理値表などの基本的解説とブール論理の応用について解説する。ブール代数の記事ではブール論理の公理を満足する代数的構造の型を説明している。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。
ことが示せるからこれは集合環である。 集合 X の部分集合全体の成すブール代数(冪集合代数)は、対称差を加法(単位元は空集合 ∅)とし交叉を乗法(単位元は全体集合 X)とするブール環の構造を与えることを思い出そう。この構造に対して、X 上の集合環は、加法に関して部分群で乗法に関して閉じているから、擬環構造に対する部分構造を与えている。X
ジョージ・ウィンストン ジョージ・クリントン ジョージ・デューク ジョージ・ベンソン ジョージ・A・ロメロ ジョージ・ルーカス ジョージ・ロイ・ヒル ジョージ・クルーニー ジョージ・ハミルトン ジョージ・タケイ ジョージ・アリアス ジョージ・アルトマン ジョージ・ウイルソン ジョージ・シェリル ジョージ・シスラー
また、各種ブール演算を行うことができ、論理積 (AND、&、*)、論理和 (OR、|、+)、排他的論理和 (XOR、NEQV、^)、同値 (EQV、=、==)、非同値 (NEQV、<>、!=)、否定 (NOT、~、!) などの操作が可能である。これらの演算はブール代数の演算に対応している。 Ada