Source: https://www.irit.fr/~Dominique.Longin/wp-content/uploads/sites/11/2019/11/coursIFI2016-02-LogiqueFloue.pdf