Plantejament digital de problemes tecnològics

1. Identificar cada element de mabiobra (control) amb una variable. La variable tan sols pot adoptar els valors 0 (obert) i 1 (tancat). En el cas nostre, Ai B són els interruptors.
2. Identificar cada actuador amb una funció. Cada funció també prendrà únicament dos valors. depenent dels que adoptin les variables. En aquest cas, els valors 0 i 1 de la funció correspondrant als estats <parat> i en <moviment> del motor. Adopten dos valors; variables i funcions lògiques.
3. Elaborar la taula de veritat dels actuadors. La taula recull tots els valors qe pot prendre una funció lògica segons els valors que adoptin les variables lògiques de les quals depèn.
4. Expressar algebraicament les funcions lògiques. Els valors que pren la funció M es poden obtenir multiplicant booleanament els valors que adopten les variables lògiques A i B. La funció M es pot expressar així: M = A · B. Aquesta expressió algebraica s'anomena primera forma canònica (FC1).

VARIABLES		FUNCIÓ
A	B	M
0	0	0
0	1	0
1	0	0
1	1	1

L'ÀLGEBRA DE BOOLE
La formen:

• Dos elements: 0 i 1.
• Tres operacions definides com a:

          -Multiplicació (·):

0·0=0	0·1=0
1·0=0	1·1=1

          -Suma (+):

0+0=0	0+1=1
1+0=1	1+1=1

          -Negació: (͞͞͞͞͞  ):

͞0 =0

͞1 =0

• I les propietats següents_

         -Commutativa.

         -Associativa.

         -Distribuitiva.

         -L'element negatiu satisfà.