Source: https://docplayer.fr/83562766-Logique-partie-1-propositions-predicats-laurent-debize-bts-sio-calculs-propositionnels-proprietes-des-operateurs-logiques-calcul-des-predicats.html.pdf