Usted buscó: implicant (Inglés - Francés)

it should be noted that an implicant of a function is a product that implies that function.
on rappelle qu'un impliquant d'une fonction est un produit qui implique cette fonction.

going down the negative branch of a given occurrence variable (o.sub.i) on a path means that the corresponding propositional variable does not participate in the product constituting the prime implicant considered.
le passage par la branche négative d'une variable d'occurrence (o i ) donnée lors d'un parcours, signifie que la variable propositionnelle correspondante ne participe pas au produit constituant l'impliquant premier considéré.

method for automatically generating an implicit representation of the prime implicants of a function
procédé d'élaboration automatique d'une représentation implicite des impliquants premiers d'une fonction