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
Contributeurs: Arielle Halindintwali, Imane Meziani, wiki