Salut,
Voila je cherche un algo qui me permettrai de simplifier un équation logique. Mais pour cela je doit d'abord définir ca décomposition disjonctive et ensuite utiliser la méthode de Quine.
Le probleme c'est que je c'est pas comment je pourais faire pour définir un algo pour cette décomposition. Pouvez-vous m'aidez svp?
