A boolean domain 𝔹 is a generic 2-element set, say, 𝔹 = {0, 1}, whose elements are interpreted as logical values, typically, 0 = false and 1 = true.

A boolean variable x is a variable that takes its value from a boolean domain, as x ∈ 𝔹.