Source: https://www2.agroparistech.fr/ufr-info/membres/cornuejols/Teaching/AGRO/Cours-logique/Exos-Logique.pdf