Bonjour tout le monde, je travaille sur un testeur de formules logiques simples.
Il faut le faire de façon récursive.
Mon professeur nous a indiqué que si on a n variables propositionnelles, on fixe la première à 0 ou 1 et on réitère le processus avec les n-1 restantes.
On a :
{0, 1}^n = ({0} x {0, 1}^(n-1)) U ({1} x {0, 1}^(n-1)) qui j'admets
Mais je ne vois pas comment gérer cette expression au niveau récursif...
Quelques explications ne seraient pas de refus.
Merci d'avance.
Partager