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.