Fin de la correction de l'exercice précédent: dernières tables de vérité. Un exemple de problème.