Autor Tema: Equivalencia de funciones lógicas

0 Usuarios y 1 Visitante están viendo este tema.

21 Mayo, 2017, 07:50 am
Leído 587 veces

ediyu

  • Nuevo Usuario
  • Mensajes: 1
  • Karma: +0/-0
  • Sexo: Masculino
Buenas a todos,

Quisiera saber si la forma para poder demostrar la equivalencia entre estas dos funciones lógicas se puede realizar sólamente aplicando cambios a una de las dos funciones, cómo sería posible para demostrarlo?
Adjuntaré la imagen para que se vean las dos funciones más claramente, una a cada lado de la igualdad.

    \( \overline{ab}h+\overline{c}fgh+\overline{d}fgh+\overline{e}fgh=\overline{(a+b)(cde+\overline{fg})}h \)

Muchas gracias a todos y saludos!

22 Mayo, 2017, 12:16 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 46,535
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

 Bienvenido al foro.

 Recuerda leer y seguir  las reglas del mismo así como el tutorial del LaTeX para escribir las fórmulas matemáticas correctamente.

 Por esta vez te han corregido la fórmula desde la administración.

Buenas a todos,

Quisiera saber si la forma para poder demostrar la equivalencia entre estas dos funciones lógicas se puede realizar sólamente aplicando cambios a una de las dos funciones, cómo sería posible para demostrarlo?
Adjuntaré la imagen para que se vean las dos funciones más claramente, una a cada lado de la igualdad.

    \( \overline{ab}h+\overline{c}fgh+\overline{d}fgh+\overline{e}fgh=\overline{(a+b)(cde+\overline{fg})}h \)

Muchas gracias a todos y saludos!

Tendrías aplicando dos veces las Leyes de De Morgan:

\( \overline{(a+b)(cde+\overline{fg})}=\overline{(a+b)}+\overline{(cde+\overline{fg})}=\bar a \bar b+(\bar c+\bar d+\bar e)fg \)

Después la distributiva y ....

Saludos.