一的一元运算的符号定义为formula_10 / ~(逻辑非/补集）。我们还使用值0（逻辑假/空集）和1（逻辑真/全集）。下列性质适用于布尔代数和布尔逻辑二者：
真值表.布尔逻辑只使用两个值0和1，这两个值的交集和并集可以使用真值表定义如下：
其他记号.可以使用各种样式的基本算符来表达布尔逻辑。AND（与）、OR（或）、NOT（非）是最直觉的。数学家、工程师和程序员经常使用 +表示或，formula_13表示与（因为在某些方面这些运算类似于在其他代数结