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