la variable tan sols pot adoptar els valors0(obert) y 1 (tancat) en el cas nostre, A i B són els interruptors
2)Identidficar cada actuadoramb una funcio
cada funcio prendra unicament dos valors,dependent dels que adoptin les variables.En aquest cas, els valors 0i 1 de la funcio correspondran, respectivament,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 del actuadors
la taula recull tots els valors que pot prendre una funcio logica segons els valors que adoptin les variables logiques de les quals depèn.
4)expressar aolgebraicament les funcions lògiques
al nostere cicuit els valor que prenen la funcio M es poden obtenir multiplicant (booleanament) els valors que adopten les variables logiques A i B . per tant, la funcio M es pot expressar així;M=A per B.
Encara que una funcio logica sigui molt complicada sempre es podra espressar com una suma de productes de les seves variables negades o no.
Aquesta expressió algebraica s'anomena primera forma canònica (FC1)
-Multiplicació (.): 0.0=0 0.1=0 1.0=0 ´ 1.1=1
-negació (-): 0=1 1=0
suma(+): 0+0=0 0+1=0 1+0=1 1+1=1
