Source: http://blog.ac-versailles.fr/jpgoualard/public/TS-2017-2018-correction-TD-logique.pdf