Source: https://isetn.rnu.tn/archives/fr/images/documents/cours/TD systèmes logiques.pdf