Source: http://jp.spriet.free.fr/__prepa/seance_1_logique/_Condition_Necessaire__Suffisante/_Terms_logique_CNS.pdf