Salut à tous
J'ai un problème en méthématiques pour l'informatique.
J'ai trouvé dans les annales un exercice d'algèbre booléenne dont l'énoncé est le suivant :
"Dans la famille de Phillipe, le père Jean est parti en déplacement, la voiture de sa mère Nicole est chez le garagiste. Philippe doit prendre le train Vendredi à 17h. Sachant qu'une seule des affirmations suivantes est fausse, peux-t-on dire si Jean est rentré à
temps ?
1. Si Jean n'est pas rentré à temps ou si la voiture de Nicole est réparée nous emmenerons Phillipe à la gare.
2. La voiture de Nicole n'est pas réparée et nous n'emmenerons pas Phillipe à la gare.
3. La voiture est réparée, et si nous emmenons Phillipe à la gare c'est que Jean n'est pas rentré à temps."
J'ai essayé de faire la table de vérité de chacune de ces propositions. J'ai d'abord défini les propositions de base comme ceci :
J = "Jean est rentré à temps"
P = "Nous emmenerons Philippe à la gare"
N = "La voiture de Nicole est réparée"
Ensuite, j'ai traduit mathématiquement les propositions de l'énoncé comme celà (une lettre entre parenthèse signifie "complémentaire de...", le symbole V représente le OU logique et ^ représente le ET logique ) :
1. (J) V N => P
2. (N) ^ (P)
3. N ^ (J) => P
Je ne sais pas si c'est correct, mais toujours est-il que lorsque je trace la table de vérité de ces propositions, ça ne m'avance pas beaucoup. Je ne sais pas si c'est moi qui ne vois pas le truc ou si la traduction de ces propositions est fausse. Si vous pouviez m'aider ou m'éclairer sur ce sujet, ce serait sympa.
Merci d'avance
-----
