Résolvant


Révision datée du 28 janvier 2024 à 12:24 par Pitpitt (discussion | contributions) (Remplacement de texte : « ↵<small> » par «  ==Sources== »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

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

Récupérée de « https://datafranca.org/wiki/index.php?title=Résolvant&oldid=92120 »

Contributeurs: Arielle Halindintwali, Imane Meziani, wiki