Mini términos
Para una función booleana de n variables {x_1,…x_n}, un producto
booleano en el que cada una de las n variables aparece una sola vez (negada o
sin negar) es llamado mini término. Es decir, un mini término es una expresión
lógica de n variables consistente únicamente en el operador conjunción lógica
(AND) y el operador complemento o negación (NOT).
Por ejemplo, abc, ab’c y abc’ son ejemplos de minterms para una función
booleana con las tres variables a, b y c.
En general, uno asigna a cada minterm (escribiendo las variables que lo
componen en el mismo orden), un índice basado en el valor binario del minterm.
Un término negado, como a’ es considerado como el número binario 0 y el término
no negado a es considerado como un 1. Por ejemplo, se asociaría el número 6 con
a b c’, y nombraríamos la expresión con el nombre m_6. Entonces m_0 de tres
variables es a’ b’ c’ y m_7 debería ser a b c al ser 111_ {(2}. Se puede
observar que cada minterm solo devuelve verdadero, (1), con una sola entrada de
las posibles. Por ejemplo, el mini término 5, a b’ c es verdadero solo cuando a
y c son ciertos y b es falso - la entrada a = 1, b = 0, c = 1 da resultado 1.
Maxitérminos
Un maxitérmino es una expresión lógica de n variables que consiste
únicamente en la disyunción lógica y el operador complemento o negación. Los
maxiterminos son una expresión dual de los mini términos. En vez de usar
operaciones AND utilizamos operaciones OR y procedemos de forma similar. Por
ejemplo, los siguientes términos canónicos son maxitérminos:
No hay comentarios:
Publicar un comentario