Source: https://clg-reeberg-neron.eta.ac-guyane.fr/IMG/pdf/exercices_relations_logiques_3eme.pdf