Source: http://www.isetn.rnu.tn/archives/fr/images/documents/cours/TD%20syst%C3%A8mes%20logiques.pdf