Solução

Temos

chave secreta: $a=0$ $b=1$ $c=1$ $d=0$

cadeado aberto se $abcd =$ chave secreta

alarme ligado se $abcd \neq$ chave secreta e $abcd \neq$ estado repouso

Assim

$z = a' b c d'$

$y = z' (a + b + c + d) = z' (a' b' c' d')'$