Implicado, implicado primo, implicado primo esencial

IMPLICADO:sea F una función booleana y H un producto de literales.Si F cubre a H, se dice k H implica a F, o bien que H es un implicado de F, y se representa por H. IMPLICADO PRIMO: un producto de literales P se dice que es un implicado primo de F si, y solo si, implica a F y a cualquier subproducto(producto con menor numero de literales) obtenido de P no es un implicado de F. El conjunto de todos los implicados primos de una función se denotara por P. IMPLICADO PRIMO ESENCIAL: un implicado primo de F se dice que es esencial si cubre al menos a un miembro de la función que no puede ser cubierto por ningún otro implicado primo de la misma.