Source: https://physique-et-maths.fr/enseignement/licence1/mathematiques/logique_raisonnement/logique_raisonnement_exercices_devoirs.pdf