Showing the Français version because no English translation exists yet. Add that translation.
Unreviewed. This problem has not been reviewed by trusted users yet.
Mettre les formules suivantes sous forme normale disjonctive/conjonctive (où toutes les lettres sont des variables propositionnelles) :
- a∧(b∨(c∧(d∨e))),
- (¬a→(b∧(¬c)))→(a∧b),
- (a→(b→(c→d))),
- (a1→(a2→(...→an))) pour tout entier n≥1.