Innanzitutto il concetto di implicante, di per se, non ha senso.
Occorre sempre parlare di "implicante di una funzione (booleana)".

Detto questo, presa una funzione f, 
un IMPLICANTE p di f e' una funzione esprimibile come prodotto di variabili (negate o affermate) della 
funzione f tale che, per ogni assegnamento delle variabili per cui 
il prodotto ha valore 1, anche la funzione f vale 1.
Notazione: p --> f

Un implicante p di f e' PRIMO se non esiste alcun altro implicante p' di f
tale che p --> p'

Un implicante primo p di f e' ESSENZIALE se per un dato assegnamento
delle variabili di f p vale 1, ma nessun altro implicante primo di f
vale 1.

Le definizioni date hanno anche una descrizione grafica nelle mappe di
Carnaugh, che vi invito ad andare a vedere sul testo.