Source: https://www.dimension-k.com/maths/2nde/2nde-logique-exercices2(2016).pdf