性质.为两个主要的二元运算的符号定义为formula_8(逻辑与/交集）和formula_9(逻辑或/并集），把单一的一元运算的符号定义为formula_10 / ~(逻辑非/补集）。我们还使用值0（逻辑假/空集）和1（逻辑真/全集）。下列性质适用于布尔代数和布尔逻辑二者：
真值表.布尔逻辑只使用两个值0和1，这两个值的交集和并集可以使用真值表定义如下：
其他记号.可以使用各种样式的基本算符来表达布尔逻辑。AND（与）、OR（或）、NOT（非）是最直