plantejament digital de problemes tecnològics

1. identificar cada element de maniobra (control) amb una variable 
la variable tan sols pot adopatar els valors 0 (obert) i (tancat). en el cas nostre, A i B són els interruptors.
2. identificar cada actuador amb una funció
cada funció tambè prendrà unicament dos valors, depenent dels que adoptin les variables. en aquest cas, els valors 0 i 1 de la funció correspondran als estats parat i en moviment del motor. les variables i les funcions que nomes poden adoptar dos valors s'anomenen variables i funcions lògiques.
3. elaborar la taula de veritat dels actuadors
la taula recull tots els valors que 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
al nostre circuit els valors que pren la funció M es poden obtenir multiplicant booleanament els valors que adopten les variables lògiques A i B. per tant, la funció M es pot expressar així: M = A*B. encara que una funció lògica sigui molt complicada, sempre es podrà expressar com una suma de productes de les seves variables, negades o no. aquesta expressió algebraica s'anomena primera forma cànonica ( FC1).