1

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.)

andreasdr
  • 466

2 Answers2

3

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.

Asaf Karagila
  • 393,674
1

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$$

Nathaniel Bubis
  • 33,018
  • 1
    that's so illegible and unnecesarilly compicated. This is probably correct, but who in the world would think of boolean as a finite field of order 2? You may need to know what is the field, then what is finite field, and then what is order of finite field and then that $F_2$ denotes it. Like the classical example of show-off rather than making things simple and clear. – Intelligent-Infrastructure Sep 11 '19 at 12:14
  • @Intelligent-Infrastructure - That really depends on the context. If $x\in{0,1}$, how much is $1+1$? if you know $x$ is part of the FF of order 2 the answer is $0$, but otherwise you have little way of knowing. – Nathaniel Bubis Sep 11 '19 at 14:03