De la logique

Les doublettes

  Alain, Bernard, Claude, Denis, Éric et François jouent en trois équipes de deux.
Retrouve les équipes de deux sachant que :
  1. Alain est avec Éric ou François.
  2. Si Alain est avec François, alors Denis est avec Éric.
  3. Si Bernard est avec Claude ou Denis, alors Alain n’est pas avec Éric.
  4. Si Denis est avec Claude, alors Bernard n’est pas avec François.