ブール論理

ブール論理 は、真と偽の二値をとり、論理積・論理和・否定などの結合子をブール演算として扱う古典論理、とくに命題論理の表現形式である。ブール代数によって代数的意味論が与えられ、論理回路や計算機科学の基礎ともなっている。