Saltar al contenido

Demostrar la equivalencia sin hacer uso de tablas de verdad

Sé libre de divulgar nuestro espacio y códigos en tus redes sociales, apóyanos para hacer crecer esta comunidad.

Solución:

La equivalencia que has escrito no se sostiene.

Contraejemplo: $A$ y $B$ son verdaderos. Luego, el lado izquierdo se evalúa como $(F lor T) lor (F lor F)=T lor F=T$, mientras que el lado derecho es $F$.

Qué hace mantener es que $(neg A lor B) colorredland (neg B lor neg A) equiv neg A$

Suponiendo que cometió un error tipográfico y que eso es lo que necesitaba mostrar, se muestra fácilmente de la siguiente manera:

$$(neg A lor B) land (neg B lor neg A) oversetConmutaciónequiv$$

$$(neg A lor B ) land (neg A lor neg B)oversetDistribuciónequiv$$

$$neg A lor (B land neg B) oversetComplemento equiv$$

$$neg A lor bot oversetIdentidadequiv$$

$$neg A$$

valoraciones y comentarios

Nos puedes añadir valor a nuestra información participando con tu veteranía en las ilustraciones.

¡Haz clic para puntuar esta entrada!
(Votos: 0 Promedio: 0)



Utiliza Nuestro Buscador

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *