Pregunta 2a

Exercici 2

[2,5 punts en total]

En l'encreuament entre un carril de tramvia i un carril de cotxes es dóna prioritat al tramvia. Per fer-ho, es controla la presència de tramvies en el tram d'$1,5\ \mathrm{km}$ abans d'arribar a l'encreuament. Quan el semàfor dels cotxes es posa verd, es manté verd durant $15\ \mathrm{s}$ com a mínim, i no passa a vermell fins que es detecta la presència d'un tramvia. El semàfor del tramvia passa a vermell quan no es detecta la presència de cap tramvia. Evidentment, quan el semàfor dels cotxes és verd, el del tramvia és vermell, i viceversa. Es defineix la variable $t_c$ com el temps transcorregut des del darrer canvi d'estat dels semàfors. Responeu a les qüestions que hi ha a continuació utilitzant les variables d'estat següents:

$s_c =$ {1: semàfor de cotxes verd; 0: semàfor de cotxes vermell}; control de presència: $c_p =$ {1: tramvies presents; 0: tramvies no presents}; control de temps: $c_t =$ {1: $t_c > 15\ \mathrm{s}$; 0: $t_c \leq 15\ \mathrm{s}$}; semàfors: $c =$ {1: canvien d'estat; 0: no canvien d'estat}.

a) Escriviu la taula de veritat del sistema.