Necesito simplificar la siguiente expresión lógica:
$$ \ begin {array} {| c | c | c | c | c |} \ hline A & B & C & X & SOP \\ \ hline 0 & 0 & 0 & 0 & \\ \ hline 0 & 0 & 1 & 1 & \ overline {A} \ \ overline {B} C \\ \ hline 0 & 1 & 0 & 1 & \ overline AB \ overline C \\ \ hline 0 & 1 & 1 & 1 & \ overline ABC \\ \ hline 1 & 0 & 0 & 0 & \\ \ hline 1 & 0 & 1 & 1 & A \ overline BC \\ \ hline 1 & 1 & 0 & 0 & \\ \ hline 1 & 1 & 1 & 1 & A B C \\ \ hline \ end {array} $$
$$ X = \ overline {A} \ \ overline {B} C + \ overline AB \ overline C + \ overline ABC + A \ overline BC + ABC $$
Obtengo la siguiente expresión lógica después de la simplificación:
$$ \ begin {alineado} X & = \ overline {A} \ \ overline {B} C + \ overline AB \ overline C + \ overline ABC + A \ overline BC + ABC \\ & = ABC + \ overline ABC + \ overline {A} \ \ overline {B} C + A \ overline BC + \ overline AB \ overline C \\ & = BC (A + \ overline A) + \ overline BC (A + \ overline A) + \ overline AB \ overline C \\ & = BC + \ overline BC + \ overline AB \ overline C \\ & = C (B + \ overline B) + \ overline AB \ overline C \\ & = C + \ overline AB \ overline C \ end {alineado} $$
Sin embargo, K-MAP y Logic Friday me dan una respuesta diferente.
Editar: cambié el SOP, hubo un error.