Corrigé exercice 11 - MP2 - Chato

Soit p une formule logique on pose : H(p) : ? la formule p est équivalente `a une disjonction de mintermes ?. Corrigé exercice 11. 9/26. Page 11. Preuve par ...