ブール論理とは何？わかりやすく解説 Weblio辞書

ブール論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/06 10:05 UTC 版)

ブール論理（ブールろんり、英: Boolean logic）は、古典論理のひとつで、その名称はブール代数ないしその形式化を示したジョージ・ブールに由来する。

「ブール論理」の続きの解説一覧

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/17 15:40 UTC 版)

「SKIコンビネータ計算」の記事における「ブール論理」の解説

SKIコンビネータ計算ではブール論理の計算が可能である。これは、次を満たす真（T）または偽（F）を表す閉項によって実現される： Txy = x Fxy = y T = K F = SK Kxy = x SKxy = Ky(xy) = y 真と偽を定義すれば、今やブール論理の全ての演算は if-then-else 構造によって実装できる。入力となるChurch booleanの否定を得るには、入力に F と T を順に適用すればよい。したがって NOT は次のように定義できる： NOT = S(SI(KF))(KT) NOTx = S(SI(KF))(KT)x = SI(KF)x(KTx) = Ix(KFx)(KTx) = xFT OR = SI(KT) ORxy = Ix(KTx)y = xTy AND = SS(K(KF)) ANDxy = Sx(K(KF)x)y = xy(KFy) = xyF

※この「ブール論理」の解説は、「SKIコンビネータ計算」の解説の一部です。
「ブール論理」を含む「SKIコンビネータ計算」の記事については、「SKIコンビネータ計算」の概要を参照ください。

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/13 20:52 UTC 版)

「情報検索」の記事における「ブール論理」の解説

※この「ブール論理」の解説は、「情報検索」の解説の一部です。
「ブール論理」を含む「情報検索」の記事については、「情報検索」の概要を参照ください。

ウィキペディア小見出し辞書の「ブール論理」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。お問い合わせ。

ブール論理と同じ種類の言葉


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアのブール論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
	Text is available under GNU Free Documentation License (GFDL). Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのSKIコンビネータ計算 (改訂履歴)、情報検索 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。