Source: https://www.alloschool.com/assets/documents/course-437/notions-de-logique-serie-d-exercices-1.pdf