Exercices logique et menteurs

Vol

Un crime a été commis, il y a trois suspects : Alex, Bob, Corinne.
Après enquête, vous avez réussi à établir ces affirmations :
  1. Alex ou Corinne est coupable
  2. Alex est innocent ou Bob est coupable
  3. Si Bob est coupable, Alex et Corinne sont innocents
Qui est coupable ?
(note : il peut y avoir 0, 1 ou plusieurs coupables).

Menteurs ?

Quatre personnes, nommées Walter, Xavier, Yann, Zoé, peuvent être chacune soit fiable, soit non fiable : Voici ce que vous disent les personnes Walter, Xavier, Yann, Zoé :
  1. Xavier dit "Zoé est fiable"
  2. Zoé dit "Yann est fiable"
  3. Yann dit "Zoé est non fiable et Walter est fiable"
  4. Walter dit "Xavier est non fiable et Yann est fiable"
Par ailleurs, on sait qu’il y a au moins un fiable. Déterminer les fiables et les non fiables.