Pregunta 2a

Exercici 2

[2,5 punts en total]

Per a controlar la velocitat dels vehicles a l'entrada d'una població s'ha instal·lat un semàfor que generalment és verd, però que canvia a vermell quan es detecta un vehicle que s'hi apropa a una velocitat superior o igual a $60\ \mathrm{km/h}$. Perquè els vianants puguin travessar la carretera, el semàfor dels cotxes també canvia a vermell si com a mínim fa un minut que és verd i, a més, un vianant prem el polsador que incorpora el mateix semàfor. Responeu a les qüestions que hi ha a continuació utilitzant les variables d'estat següents:

velocitat del vehicle: $v =$ {1: velocitat $\geq 60\ \mathrm{km/h}$; 0: velocitat $< 60\ \mathrm{km/h}$}; temps en verd: $t =$ {1: temps $\geq 1$ minut; 0: temps $< 1$ minut}; polsador: $p =$ {1: premut; 0: no premut}; canvi a vermell: $c =$ {1: canvia a vermell; 0: es manté verd}.

a) Elaboreu la taula de veritat del sistema.