Respondiendo a la pregunta planteada en este foro, podemos comentar el principio o ley de

dualidad, el cual nos indica que todas las relaciones o leyes lógicas, poseen la opción de tener una
contraparte (por decirlo) que se conformará con el intercambio entre los operadores o entre los
valores binarios o viceversa para ambos casos, podemos decir:

Si tenemos un signo de suma (+) lo podremos cambiar por uno de multiplicación (* Producto) y
viceversa y en el caso de los números binarios, si tenemos un 1 lo podremos cambiar por un 0 y
viceversa.

Si lo ponemos como un ejemplo, esto podría ser algo así:

A + (B * C) + 1 su dualidad quedaría de la siguiente forma A * (B + C) * 0, esto quiere decir que se

cambió el signo más por un producto, luego el producto del paréntesis se cambia por un signo
más, el último signo más se cambia por uno de producto y el 1 se cambia por un 0, entonces,
sabemos que todo lo que se multiplique por 0 nos dará 0 entonces la segunda fórmula quedaría:

A * (B + C) * 0 = 0

Y si realizamos la suma que se encuentra en la primera fórmula siempre nos dará 1, quedando las
dos fórmulas de la siguiente manera:

A + (B * C) + 1 = 1

A * (B + C) * 0 = 0

Como se puede ver se cumple con la ley de dualidad.

Sobre la equivalencia en las compuertas lógicas, entonces, para comenzar, tendremos una
compuerta OR (disyunción lógica) con los siguientes valores de entrada A negado y B negado con
su salida también negada, así, para validar su equivalencia, tendremos que asignar una compuerta
AND (conjunción lógica) según la ley de dualidad que mencioné en mi participación anterior, por lo
tanto tendremos la puerta AND pero, con sus valores cambiados, es decir, sus entradas A y B junto
con su salida que se encontraban negadas se cambiarán a valores sin negar. Si queremos ver esto
gráficamente sería de la siguiente manera:

OR (Y) AND (X)

A B SALIDA (Z) A B SALIDA (Z)
¬A ¬B ¬Z A B Z

This study source was downloaded by 100000850110071 from CourseHero.com on 07-21-2022 21:01:04 GMT -05:00

https://www.coursehero.com/file/65774957/foro-semana-6-logicadocx/
 Para validarlo quedaría de la siguiente forma:

X.- Z = A * B

Y.- ¬Z = ¬A + ¬B // Se encuentra todo negado porque su salida (Z) se encuentra negada, es decir,
doble negación sobre las dos entradas que se encuentran negadas.

Así, si aplicamos la ley de “De Morgan” que practicamos en la semana 4, podremos invertir la
operación y nos quedaría de la siguiente manera:

Y.- Z = A * B

Por lo tanto, tenemos que:

Y.- Z = A * B

X.- Z = A * B

Y así podemos validar que para el caso de estas compuertas se comportan de manera idéntica a su
contraparte en lógica de conectores.

Podemos comenzar indicando que esto puede ser similar a lo que se revisó en la semana cuatro
donde vimos los argumentos y reglas de inferencia, una vez mencionado esto, creo que, los
conceptos indicados pueden traer los siguientes beneficios en la resolución de problemas lógicos:

Transitividad: Si tenemos condiciones y estas se encuentran con “implicancia” podemos

determinar la relación que existen entre los 3 valores, es decir, esto nos podrá dar la facilidad de
tener estos 3 valores o proposiciones con valores de verdad los cuales, si el primero es el segundo,
y el segundo es el tercero, podríamos determinar que el primero puede ser el tercero (si a es
menor que b y b es menor que c, entonces a es menor que c).

Conmutatividad: Este concepto, nos da la oportunidad de invertir las proposiciones y obtener el

mismo resultado que al evaluarlo en primera instancia, es decir, P^Q es lo mismo que Q^P.

Complementación: La forma “sencilla” que encontré para desarrollar esto, sería mirar en un
conjunto A su complementación sería todo lo que no se encuentra en él, es decir, el universo. En el
caso de las fórmulas con disyunción el valor del universo será el valor de la fórmula con su
negación, el beneficio, obtener un valor distinto al de la fórmula.

This study source was downloaded by 100000850110071 from CourseHero.com on 07-21-2022 21:01:04 GMT -05:00

https://www.coursehero.com/file/65774957/foro-semana-6-logicadocx/
Powered by TCPDF (www.tcpdf.org)