Boolean logic

/ˈbuːliən ˈlɒdʒɪk/ ブーリアン ロジック

1. 真偽値(True/False)と論理演算(AND, OR, NOTなど)を扱う論理体系。デジタル回路やプログラミングの基礎。

真(True)と偽(False)の二つの値だけを使い、論理積(AND)、論理和(OR)、否定(NOT)などの演算を用いて推論を行う論理の形式を指します。数学者ジョージ・ブールによって提唱され、コンピュータサイエンスやデジタル回路設計の基礎となっています。
Boolean logic is fundamental to computer science. (ブーリアン論理はコンピュータサイエンスの基礎です。)