Résolvant

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

Source : TermiumPlus