One of two possible abstract states (logic 1 or logic 0) that may be taken on by a logic (binary) variable.
