Résolvant
(Redirigé depuis Résolvante)
Définition
Clause obtenue par l'élimination des littéraux complémentaires et la disjonction des clauses parentes.
Français
résolvant
résolvante
Anglais
resolvent
Sources
![](/wiki/annonces/DF annonce livre.jpg)
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki