En lógica booleana , el término implicante tiene un significado genérico o particular. En el uso genérico, se refiere a la hipótesis de una implicación ( wikcionario: implicante ). En el uso particular, un término de producto (es decir, una conjunción de literales) P es un implicante de una función booleana F , denotada, si P implica F (es decir, siempre que P toma el valor 1, también lo hace F ). Por ejemplo, implicantes de la función
incluir los términos , , , , así como algunos otros.
Primer implicante
Un implicante principal de una función es un implicante (en el sentido particular anterior) que no puede ser cubierto por un implicante más general (más reducido, es decir, con menos literales ). W. V. Quine define un implicante primo ser un implicante que es mínimo - es decir, la eliminación de cualquier literal de P resultados en un no-implicante para F . Los implicantes primos esenciales (también conocidos como implicantes primos centrales ) son implicantes primos que cubren una salida de la función que ninguna combinación de otros implicantes primos es capaz de cubrir. [ cita requerida ]
Usando el ejemplo anterior, uno puede ver fácilmente que mientras (y otros) es un implicante principal, y no son. De este último, se pueden eliminar varios literales para convertirlo en principal:
- , y puede ser eliminado, cediendo .
- Alternativamente, y puede ser eliminado, cediendo .
- Finalmente, y puede ser eliminado, cediendo .
El proceso de eliminar literales de un término booleano se denomina expandir el término. Expandir en un literal duplica el número de combinaciones de entrada para las que el término es verdadero (en álgebra booleana binaria). Usando la función de ejemplo anterior, podemos expandir a o para sin cambiar la tapa de . [1]
La suma de todos los implicantes primos de una función booleana se denomina suma completa , suma de cobertura mínima o forma canónica de Blake .
Ver también
Referencias
- ^ De Micheli, Giovanni. Síntesis y Optimización de Circuitos Digitales . McGraw-Hill, Inc., 1994