L’algèbre de Boole est une algèbre se proposant de traduire des signaux en expressions mathématiques. C’est une structure algébrique qui ne contient que deux éléments, que l’on appelle couramment variables booléennes. Ces variables ne peuvent avoir que deux états, 1 ou 0 (vrai ou faux), et respectent des règles de calcul.  Elle utilise plusieurs opérateurs que l’on nomme opérateurs booléens ou opérateurs logiques ou fonctions logiques ou portes logiques.

L’opérateur [latex]OU[/latex] correspond à la réunion de deux conditions. On le symbolise par un [latex]+[/latex], un [latex]OR[/latex] ou un [latex]|[/latex] dans certains langages de programmation. En mathématiques, on le symbolise par un [latex]\vee[/latex].

L’opérateur [latex]ET[/latex] correspond à l’intersection de deux conditions. On le symbolise par un [latex]\cdot[/latex] ou un [latex]*[/latex], un [latex]AND[/latex] ou un [latex]\&[/latex] dans certains langages de programmation ou par un [latex]\land[/latex] en mathématiques.

L’opérateur [latex]NON[/latex] correspond au complément à 1 d’une condition. Il est souvent représenté dans les conditions par un [latex]![/latex] ou par une barre au dessus de la variable ([latex]\bar{a}[/latex]). En mathématiques, on utilise le symbole [latex]\lnot[/latex].

La fonction booléenne « OU exclusif » souvent appelée « Exclusive OR » ([latex]XOR[/latex]), représentée par le symbole [latex]\oplus[/latex], correspond à l’intersection de deux conditions privée de la réunion de ces deux conditions.

[latex]K\oplus K=0[/latex]

[latex]K\oplus 0=K[/latex]

[latex](P\oplus K)\oplus K=P[/latex]

[latex](P_{1}\oplus K)\oplus (P_{2}\oplus K)=(P_{1}\oplus P_{2})\oplus (K\oplus K)=P_{1}\oplus P_{2}[/latex]