Source: http://fmi.univ-tiaret.dz/images/2lmdinf/2018/logique-math/Examen-LM2018correction.pdf