Source: http://www.dimension-k.com/maths/2nde/2nde-logique-exercices(2011)-correction.pdf