Telecharger Cours

Logique et calculabilité

Si G est sous FNC ou FND, on dit que F est sous forme préfixe conjonctive ou disjonctive. On part d'une formeule prénexe polie et on va faire disparaître ...



Download