Résolvant


De DataFranca

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

Source : TermiumPlus