Bonjour je travail sur un exercice de math mais j'ai du mal à comprendre la démarche à utiliser pour sa résolution :
Un homme qui semble divaguer déclare à toute la clientèle d’un café :
1. Le jour où je ne bois pas et où je dors, je ne suis pas content.
2. Le jour où je bois, je ne suis pas content et je dors.
3. Le jour où je ne mange pas, ou bien je ne suis pas content, ou bien je dors ou les deux.
4. Le jour où je mange, ou bien je suis content, ou bien je bois ou les deux.
5. Le jour où il ne pleut pas et où je suis content, je ne mange pas.
6. Aujourd’hui, je suis content.
A-t-il bu ? mangé ? dormi ? Quel temps fait-il ?
Pour le moment j'ai noté ceci :
1. /b^d => /c
2.b => /c ^ d
3. /m => /c "ou" d
4. m => c "ou" b
5. t ^ c => /m
Avec m pour manger,
d pour dormir,
t pour le beau temps,
c pour content et
b pour boire.
Pourriez vous m'éclairer pour le raisonnement et la démarche à appliquer pour la résolution.
-----
