{{Translated page}}
布爾域 B 是一般的 2-元素集合，比如 B = {0, 1}，它的元素被解釋為邏輯值，典型的 0 = 假而 1 = 真。
布爾變量 x 是從布爾域取值的變量，比如 x ∈ B。
