Question 04

Etat de chaque processeur :

Notons P1 ( respectivement P2 et P3 ) la proposition " le processeur 1 ( respectivement 2 et 3 ) est en état de fonctionnement normal".

Alors la réponse à la première question s'écrit en logique des proposition :

A={( P1 et ( P2 et P3 )) ou ( [non P1] et [non ( P2 et P3 )])}

La réponse à la deuxième question s'écrit quand à elle :

B={([non P1] et P2) ou (P1 et [non P2])}

Puis, afin de déterminer l'état de chaque processeur, nous allons considérer la proposition C={A et B} qui se résout facilement grâce à une table de vérité.

La réponse est ainsi :

La proposition C est vraie si et seulement si P2 est vraie et P1 et P3 sont fausses.

Réponse alogrithmique :

Pas de réponse type.