A = AB 1- AI

A = AC -l- Ac. [4]

En substituant à A. dans le second membre de [3] , la descriplion AC -l- Ac, qui en est donnée dans le second membre de [4], nous obtenons le dévelo;^pement de A, analogue à l'expan^iion des fonctions de Boole, mais beaucoup plus naturel et plus simple :

A = ABC -l- ABc -l- XbC \- Aftc. [5]

En substituant à A et à B, dans le second membre de [5], leurs équivalents fournis par les équations [1] et [2}, nous avons :

A = ABC -1- ABCe -|. ABbC ■!■ ADI.C.

Mais, comme Bb et Ce sont contradictoires, ABCc = 0, ABt)C = 0, ABbe=0.

Donc A = ABC-

D'une façon générale, lorsqu'on demande la solution d'ua problème logique, il faut d'abord former toutes les combinaisons possibles des termes qui y sont impliqués. Si l'on a deux termes, on aura les quatre combinaisons Buivanles :