Los problemas de lógica se pueden ver de diferentes maneras:
- Como valores de verdad: \ $ \ textsf {true} \ $ o \ $ \ textsf {false} \ $
- Como valores de bit: \ $ 1 \ $ o \ $ 0 \ $
- Como niveles de voltaje: ALTO o BAJO
Su problema se reduce a la siguiente oración: "Salida \ $ 1 \ $ cuando tenga el patrón de entrada \ $ (1, 0, 1) \ $ o \ $ (0, 1, 0) \ $ y \ $ 0 \ $ con patrones de entrada \ $ (1, 1, 0) \ $ o \ $ (1, 0, 0) \ $. " Nombrando el patrón como \ $ (A, B, C) \ $, puede ver que el primer patrón \ $ (1,0,1) \ $ corresponde a \ $ A = 1 \ $ y \ $ B = 0 \ $ y \ $ C = 1 \ $.
Pero pensar en ellos como valores de verdad, es lo mismo que \ $ A = \ textsf {true} \ $, \ $ B = \ textsf {false} \ $ y \ $ C = \ textsf {true} \ $, o simplemente
$$ A \; \ textsf {and} \; \ textsf {not} (B) \; \ textsf {and} \; C = A \ cdot \ overline {B} \ cdot C, $$
ya que la "multiplicación" booleana corresponde a "y".
Al agregar el segundo patrón, obtenemos (Boolean \ $ + \ $ es un "o" lógico):
$$ Y = A \ overline {B} C + \ overline {A} B \ overline {C} $$
Sin embargo, debido a que no ha dicho nada sobre los patrones \ $ (0, 0, 0) \ $, \ $ (0, 0, 1) \ $, \ $ (1, 1, 0) \ $, \ $ (1, 1, 1) \ $, hay muchas otras soluciones (15 más para ser exactos) que también funcionan:
$$ \ begin {align}
Y & = A \ overline {B} C + \ overline {A} B \ overline {C} + \ overline {A} \ overline {B} \ overline {C} \\
Y & = A \ overline {B} C + \ overline {A} B \ overline {C} + \ overline {A} \ overline {B} C \\
Y & = A \ overline {B} C + \ overline {A} B \ overline {C} + A B \ overline {C} \\
Y & = A \ overline {B} C + \ overline {A} B \ overline {C} + ABC \\
Y & = A \ overline {B} C + \ overline {A} B \ overline {C} + \ overline {A} \ overline {B} \ overline {C} + \ overline {A} \ overline {B} C \\
&erio; \ vdots
\ end {align} $$
Podemos elegir cualquiera de estas 16 ecuaciones, cualquiera de las dos funcionaría. Pero en este caso tenemos una opción particularmente buena:
$$ Y = A \ overline {B} C + \ overline {A} B \ overline {C} + \ overline {A} \ overline {B} C + AB \ overline {C} = (A + \ overline {A} ) \ overline {B} C + (A + \ overline {A}) B \ overline {C} = \ overline {B} C + B \ overline {C} $$
Esto se puede reducir aún más usando \ $ \ textsf {xor} \ $:
$$ Y = \ overline {B} C + B \ overline {C} = B \ oplus C $$
Hay algunas formas de hacer estas matemáticas más rápido. Usar los mapas de Karnaugh es un método. El programa "Viernes de lógica" también es muy útil.