Source: https://courses.ex-machina.ma/downloads/CPI1/S1/Algebre/ch_logique.pdf