selon la notation du calcul propositionnel le problème s’analyse comme suit.

Q est active lorsque A est active revient à si A alors Q ou en symboles: A→Q

Q est active lorsque B est inactive revient à si non B alors Q ou en symboles: nonB→Q

On a donc ((A→Q) et ((nonB→Q)), ce qui s’écrit aussi selon un théorème d’équivalence :

(A ou nonB)→Q

Je pense que la bonne interprétation est l’interprétation 2.

Déjà du point de vue de l’expérience, j’ai travaillé sur ce genre d’énoncé dans mon université et l’interprétation retenue était la seconde.

Ensuite, du point de vue sémantique, le fait d’écrire deux fois lorsque revient à décrire deux moments différents. On peut observer ceci facilement avec l’exemple suivant : “Je me suis fait mal lorsque je me suis coupé et lorsque je me suis mordu”. On voit bien que les deux actions (coupé/mordu) se sont passées à des moments distincts car il y a plusieurs lorsque. On peut donc étendre ce raisonnement à la logique : il y a autant de lorsque que de moments.

Donc proposition 2 : Q = A OU _B