| 1. | Boolean constant True has numeric value −1.
La constante booléenne True a la valeur numérique -1. |
| 2. | He developed Boolean algebra that would later make computer programming possible.
Il a créé l'algèbre booléenne qui a rendu possible la programmation informatique. |
| 3. | This is a list of topics around Boolean algebra and propositional logic.
Voici une liste de sujets autour de l'algèbre booléenne et la logique propositionnelle. |
| 4. | The simplest Kleene algebra that is not Boolean is Kleene's three-valued logic K3.
L'algèbre de Kleene la plus simple qui ne booléenne est la logique ternaire K3 de Kleene. |
| 5. | Conversely, an identity that holds for an arbitrary nontrivial Boolean algebra also holds in 2.
À l'inverse, une identité qui est valable pour une algèbre booléenne non-triviale tient également dans 2. |
| 6. | The advantage of an ROBDD is that it is canonical (unique) for a particular function and variable order.
L'avantage d'un ROBDD est qu'il est canonique (unique) pour une fonction booléenne donnée,. |
| 7. | In computer science, a Boolean variable is a variable that takes values in some Boolean domain.
En informatique, une variable booléenne est une variable qui prend des valeurs dans certains domaines Booléens. |
| 8. | In this context the decision is a boolean expression composed of conditions and zero or more boolean operators.
Décision Une décision est une expression booléenne composée de Conditions et éventuellement d'opérateurs booléens. |
| 9. | Such a machine decides quantified Boolean formulas in time n 2 {\displaystyle n^{2}} and space n {\displaystyle n} .
Une telle machine décide l'acceptation d'une formule booléenne quantifiée en temps n 2 |
| 10. | Lua has a boolean data type, but non-boolean values can also behave as booleans.
Lua a un type de données booléen, mais les variables non booléenne peuvent aussi se comporter comme des booléens. |
