Définition 1 : Les portes logiques sont des « machines conceptuelles » comportant un ou plusieurs éléments d’entrée et un seul élément de sortie. Chaque élément d’entrée ou de sortie est une variable booléenne binaire (0 ou 1). On dispose de trois portes logiques de base réalisant les opérations d’une algèbre de boole : l’addition, la multiplication et la complémentation. A chacune de ces portes logiques on associe un circuit de commutation de base inspiré des circuits électriques mais dont les commutateurs représentent des variables booléennes. Ces commutateurs ne sont pas indépendants. Lorsqu’une variable x vaut 1 et seulement dans ce cas tout commutateur noté x est fermé et tout commutateur noté x’ est ouvert. Chaque circuit de commutation ne comporte qu’une seule entrée e et une seule sortie s On les représente par les schémas suivants :
x y
x xy
y
x
x x+y
y
y
x x’
Remarque 1 : Les portes logiques réalisant l’addition et la multiplication
booléennes se généralisent facilement à des portes logiques à plusieurs entrées
tout en conservant une sortie unique. Les circuits de commutation
correspondants se généralisent de la même manière en considérant plus de
commutateurs en série ou en parallèle.
Définition 2 : Les circuits logiques sont constitués à partir d’associations de portes logiques et les circuits de commutation sont constitués à partir d’associations de circuit de commutation de base.
Théorème 3 : Les circuits logiques (ainsi que les circuits de commutation) constituent une algèbre de boole binaire.
Définition 3 : On appelle mots binaires de longueur n une séquence a1 a2 … an de n éléments ai de B={0,1}. On appelle Bn l’ensemble des mots binaires de longueur n.
Proposition 1
: Bn , muni des opérations
suivantes, est une algèbre de Boole.
a=a1
a2 … an
Bn
b=b1
b2 … bn
Bn
Addition : a+b=c=c1 c2 … cn où i=1,…,n ci=ai+bi (addition dans B)
Multiplication : a*b=c=c1 c2 … cn où i=1,…,n ci=aibi (multiplication dans B)
Complémentaire : a’=a’1 a’2 … a’n