Source: https://www.alloschool.com/assets/documents/course-428/logique-mathematique-exercices-non-corriges-2-1.pdf