Le professeur a introduit la notation logique pendant le cours sur l'algèbre de Boole.
The professor introduced logical notation during the lecture on Boolean algebra.
En algèbre de Boole, une opération logique répond aux questions par vrai ou faux.
In Boolean algebra, a logical operation answers questions with true or false.
Un treillis distributif borné et complémenté s'appelle aussi une algèbre de Boole.
A complemented lattice that is also distributive is a Boolean algebra.
Ce théorème est un fait bien connu pour les algèbres de Boole.
This theorem is a well-known fact for Boolean algebras.
La conception de circuits numériques exige la connaissance de l'algèbre de Boole.
The design of digital circuits required the knowledge of boolean algebra.
C'est une algèbre de Boole si et seulement si n est sans facteur carré.
It is a Boolean algebra if and only if n is square-free.
Comme toute algèbre de Boole est un treillis distributif, cela montre l'implication souhaitée.
Since any Boolean algebra is a distributive lattice, this shows the desired implication.
Une collection d'événements s'étend à une algèbre de Boole, évitant ainsi les ensembles non-mesurables.
A collection of events extends to a Boolean algebra, and non-measurable sets are simply avoided.
Elle permet de démontrer que deux algèbres de Boole infinies dénombrables sans atomes sont isomorphes.
It can be used to prove that any two countably infinite atomless Boolean algebras are isomorphic to each other.
Une algèbre de Boole, dans laquelle la notion de fronts a été formalisée par deux opérateurs unaires a été construite.
A Boolean algebra in which the notion of events has been formalized by two unary operations has been built.
Le fait de postuler N rend tous les produits possibles définissables, mais transforme également la méréologie classique extensionnelle en un modèle non ensembliste de l'algèbre de Boole.
Postulating N renders all possible products definable, but also transforms classical extensional mereology into a set-free model of Boolean algebra.
