Source: https://pageperso.lis-lab.fr/bernard.espinasse/Supports/LOGIQUE/1-SystemesFormels-08-4p.pdf