1. Indentificarem els sensors del sitema amb variables booleanes, i la funció lògica amb l'actuador.
2. Assignarem els valors lògics (0,1) als estats físics.
3. Elaborarem la taula de la veritat de la funció lògica, que reflectirà els valors que pren per a cada combinació possible de valors de les variables. Finalment, deduïnm l'expressió de la primera forma canònica de la funció, a partir de les combinación per a les quals adopta el valor 1.
V1
|
V2
|
I
|
T
|
0
|
0
|
0
|
0
|
0
|
0
|
1
|
0
|
0
|
1
|
0
|
0
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
0
|
1
|
0
|
1
|
1
|
1
|
1
|
0
|
0
|
1
|
1
|
1
|
1
|