1
$\begingroup$

Is there any conventional notation for variables that can only take the value 0 or 1? (I'm looking for something of the nature of an overbar, a caret, etc.)

$\endgroup$
  • 2
    $\begingroup$ To denote a boolean variable $b$, I would simply state the following before use: $b\in\mathbb{Z}:b\in[0,1]$. $\endgroup$ – Thomas Russell Jun 24 '12 at 10:54
  • 1
    $\begingroup$ @Shaktal: That looks convoluted. Why not just $b\in\{0,1\}$? $\endgroup$ – Henning Makholm Jun 24 '12 at 15:37
3
$\begingroup$

I don't know of such notation. You can always define that $\dot x$ means that $x$ is a Boolean variable with values in $\{0,1\}$.

Of course the dot can be replaced by other symbol. Be forewarned, though, that there are many many different contexts in which these symbols already have meaning. If you specify what you are going to use this notation for (logic, comp. sci., etc.) maybe some better suggestion will be given.

Until then, I think my first suggestion should probably fit.

$\endgroup$
1
$\begingroup$

What you call a boolean variable in CS, is essentially an element of the finite field or order 2. you could write: $$x \in F_2$$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.