Expresión mínima múltiple para una función lógica dada [cerrado]

Se producen varias expresiones mínimas cuando la solución requiere cierta superposición en la agrupación o la agrupación puede ser procesada de una manera diferente. Dibujar un mapa K es una forma fácil de visualizar las agrupaciones.

Ejemplo de superposición (Condición \ $ ABC \ $ (todos los 1) debe estar emparejado con \ $ A \ bar {B} C \ $ o \ $ AB \ bar {C} \ $):

$$ \ begin {array} {c | c} \ text {K-map} & \ text {Funciones} \\ \ begin {array} {r | cccc}   & BC \\   & 00 & 01 & 11 & 10 \\   \ hline A \ phantom {2} 0 & \ color {azul} {} 0 & 1 & 0 & 1 \\   1 & 0 & 1 & 1 & 1 \\ \ end {array} & \ begin {align} \\ F & = \ bar {B} C + B \ bar {C} + \ color {rojo} {AB} \\ &erio; = \ bar {B} C + B \ bar {C} + \ color {rojo} {AC} \\ \ end {align} \\ \ end {array} $$

Ejemplo de agrupación (agrupación horizontal, agrupación vertical, más Producto de Sumas): $$ \ begin {array} {c | c} \ text {K-map} & \ text {Funciones} \\ \ begin {array} {r | cccc}   & CD \\   & 00 & 01 & 11 & 10 \\   \ hline AB \ phantom {2} 00 & 1 & 1 & 0 & 0 \\   01 & 0 & 1 & 1 & 0 \\   11 & 0 & 0 & 1 & 1 \\   10 & 1 & 0 & 0 & 1 \\ \ end {array} & \ begin {align} \\ F_ {SoP} & = \ bar {A} \ bar {B} \ bar {C} + \ bar {A} BD + ABC + A \ bar {B} \ bar {D} \ phantom {2} \ color {azul} {\ texto {// horizontal}} \\ &erio; = \ bar {B} \ bar {C} \ bar {D} + \ bar {A} \ bar {C} D + BCD + AC \ bar {D} \ phantom {2} \ color {azul} {\ text { // vertical}} \\ \ hline F_ {PoS} & = (A + B + \ bar {C}) (A + \ bar {B} + D) (\ bar {A} + \ bar {B} + C) (\ bar {A} + B + \ bar {D}) \\ &erio; = (\ bar {B} + C + D) (\ bar {A} + C + \ bar {D}) (B + \ bar {C} + \ bar {D}) (A + \ bar {C} + D) \\ \ hline F_ {SoP} & \ equiv F_ {PoS} \\ \ end {align} \\ \ end {array} $$