SlideShare una empresa de Scribd logo
1 de 12
Leyes del álgebra de
proposiciones
Cariela Loyo
01-11-2016
Definición
 Son equivalencias
lógicas que nos
permiten reducir
esquemas moleculares
complejos y expresarlos
en formas más sencillas.
 También se conocen como Leyes Lógicas, y
representan formas proposicionales en las que si se
sustituyen sus variables por los enunciados
correspondientes el resultado será una proposición
lógicamente verdadera.
 Tautología: es una fórmula bien formada que resulta
verdadera para cualquier interpretación; es decir, para
cualquier asignación de “valores de verdad” que se
haga a sus fórmulas atómicas.
 La construcción de una tabla de verdad es un método
efectivo para determinar si una fórmula es una
tautología.
Leyes idempotentes
 La Idempotencia es la
propiedad para
realizar una acción
determinada varias
veces y aún así
conseguir el mismo
resultado que se
obtendría si se realiza
una sola vez.
Leyes asociativas
 No importa cómo
agrupes para calcular,
el resultado será
verídico (aplica
cuando tienen el
mismo conector.
Leyes conmutativas
 El resultado de
calcular los elementos
no depende de su
orden
Leyes distributivas
 Expresa que se
obtiene la misma
respuesta cuando se
calcula un conjunto
por otro conjunto de
preposiciones simples
o compuestas que
cuando realizas las
operaciones por
separado.
Leyes de identidad
 Es la constatación de
que dos
proposiciones que se
escriben diferente,
son de hecho el
mismo objeto; siendo
así una igualdad entre
dos expresiones.
Leyes de complementación
 Tercio excluido:
 La disyunción de
una proposición y
de su negación es
siempre verdadera.
Leyes de complementación
 Contradicción:
 La conjunción entre una proposición y su negación
no pueden ser ambas verdaderas al mismo tiempo
y en el mismo sentido.
Leyes de la complementación
 Ley de la doble negación:
 La negación de una proposición es verdadera
cuando dicha proposición es falsa y viceversa.
Leyes de Morgan
 Son un par de reglas
de transformación que
permiten la expresión
de las conjunciones y
disyunciones
puramente en
términos de vía
negación.
 A- la negación de la
disyunción es la
conjunción de las
negaciones
 B- la negación de la
conjunción es la

Más contenido relacionado

La actualidad más candente

Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaflakitacm
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad Luis Serrano
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en MatemáticaWilbert Tapia
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNPacheco Huarotto, Luis
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificaciónangiegutierrez11
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezsantiagoexaul
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosAngel Brito
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 
Relacion entre conjuntos
Relacion entre conjuntosRelacion entre conjuntos
Relacion entre conjuntosfredyloz
 
Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.CARLOS MASSUH
 

La actualidad más candente (20)

Disyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativaDisyunción, Disyunción exclusiva y Conjunción negativa
Disyunción, Disyunción exclusiva y Conjunción negativa
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad
 
Conectivos Lógicos
Conectivos LógicosConectivos Lógicos
Conectivos Lógicos
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
Métodos de Demostración en Matemática
Métodos de Demostración en MatemáticaMétodos de Demostración en Matemática
Métodos de Demostración en Matemática
 
Leyes del algebra proposicional
Leyes del algebra proposicionalLeyes del algebra proposicional
Leyes del algebra proposicional
 
Formas Proposicionales
Formas ProposicionalesFormas Proposicionales
Formas Proposicionales
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Simbolizacion de proposiciones
Simbolizacion de proposicionesSimbolizacion de proposiciones
Simbolizacion de proposiciones
 
Proposiciones y su clasificación
Proposiciones y su clasificaciónProposiciones y su clasificación
Proposiciones y su clasificación
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Propiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguezPropiedad distributiva en la logica proposicional exaul rodriguez
Propiedad distributiva en la logica proposicional exaul rodriguez
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Conjuntos
ConjuntosConjuntos
Conjuntos
 
Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Relacion entre conjuntos
Relacion entre conjuntosRelacion entre conjuntos
Relacion entre conjuntos
 
Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.Las proposiciones y Las conectivas lógicas.
Las proposiciones y Las conectivas lógicas.
 

Destacado

Destacado (8)

Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.Lógico mat. c 3 equivalencia lógica.
Lógico mat. c 3 equivalencia lógica.
 
Algebra proposiciones
Algebra proposicionesAlgebra proposiciones
Algebra proposiciones
 
Guia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntosGuia de practicas de logica y teoria de conjuntos
Guia de practicas de logica y teoria de conjuntos
 
1.1 logica proposicional
1.1 logica proposicional1.1 logica proposicional
1.1 logica proposicional
 
Leyes del algebra de proposiciones
Leyes del algebra de proposicionesLeyes del algebra de proposiciones
Leyes del algebra de proposiciones
 
Lógica : Leyes lógicas
Lógica : Leyes lógicasLógica : Leyes lógicas
Lógica : Leyes lógicas
 
Logica y circuitos logicos ok
Logica y circuitos logicos okLogica y circuitos logicos ok
Logica y circuitos logicos ok
 
Formulas2
Formulas2Formulas2
Formulas2
 

Similar a Leyes del álgebra de proposiciones

Similar a Leyes del álgebra de proposiciones (20)

Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Tecnicas de programación
Tecnicas de programaciónTecnicas de programación
Tecnicas de programación
 
Ecuaciones
EcuacionesEcuaciones
Ecuaciones
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Eucación y funciones
Eucación y funcionesEucación y funciones
Eucación y funciones
 
Ecuaciones lineales
Ecuaciones linealesEcuaciones lineales
Ecuaciones lineales
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Ecuación
EcuaciónEcuación
Ecuación
 
CALCULO PROPOSICIONAL
CALCULO PROPOSICIONALCALCULO PROPOSICIONAL
CALCULO PROPOSICIONAL
 
Matematicas
MatematicasMatematicas
Matematicas
 
Lógica Matemática
Lógica MatemáticaLógica Matemática
Lógica Matemática
 
Logica matematico. :v
Logica matematico. :vLogica matematico. :v
Logica matematico. :v
 
Leyes del algebra
Leyes del algebraLeyes del algebra
Leyes del algebra
 
Trabajo de logica
Trabajo de logicaTrabajo de logica
Trabajo de logica
 
dasdasTrabajo de logicaaaa
dasdasTrabajo de logicaaaadasdasTrabajo de logicaaaa
dasdasTrabajo de logicaaaa
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
ecuac
ecuacecuac
ecuac
 
Fundamentos matematica
Fundamentos matematicaFundamentos matematica
Fundamentos matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 
Trabajo de logica matematica
Trabajo de logica matematicaTrabajo de logica matematica
Trabajo de logica matematica
 

Último

Edificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRCEdificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRCANDECE
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)ssuser6958b11
 
Sistema de Gestión de Freelancers (Base de Datos)
Sistema de Gestión de Freelancers (Base de Datos)Sistema de Gestión de Freelancers (Base de Datos)
Sistema de Gestión de Freelancers (Base de Datos)dianamateo1513
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIAMayraOchoa35
 
Diagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptxDiagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptxHarryArmandoLazaroBa
 
Fisiología del azufre en plantas S.S.pdf
Fisiología del azufre en plantas S.S.pdfFisiología del azufre en plantas S.S.pdf
Fisiología del azufre en plantas S.S.pdfJessLeonelVargasJimn
 
CFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric ProjectCFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric ProjectCarlos Delgado
 
Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...esandoval7
 
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...humberto espejo
 
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdfCONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdfErikNivor
 
Tarea de UTP matematices y soluciones ingenieria
Tarea de UTP matematices y soluciones ingenieriaTarea de UTP matematices y soluciones ingenieria
Tarea de UTP matematices y soluciones ingenieriaSebastianQP1
 
Físicas 1: Ecuaciones Dimensionales y Vectores
Físicas 1: Ecuaciones Dimensionales y VectoresFísicas 1: Ecuaciones Dimensionales y Vectores
Físicas 1: Ecuaciones Dimensionales y VectoresSegundo Silva Maguiña
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPJosLuisFrancoCaldern
 
Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.ALEJANDROLEONGALICIA
 
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRQUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRyanimarca23
 
Clase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptxClase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptxPaolaVillalba13
 
Sistema de gestión de turnos para negocios
Sistema de gestión de turnos para negociosSistema de gestión de turnos para negocios
Sistema de gestión de turnos para negociosfranchescamassielmor
 
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdfRicardoRomeroUrbano
 
Fijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEFijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEANDECE
 

Último (20)

Edificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRCEdificio residencial Becrux en Madrid. Fachada de GRC
Edificio residencial Becrux en Madrid. Fachada de GRC
 
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
VIRUS FITOPATÓGENOS (GENERALIDADES EN PLANTAS)
 
Sistema de Gestión de Freelancers (Base de Datos)
Sistema de Gestión de Freelancers (Base de Datos)Sistema de Gestión de Freelancers (Base de Datos)
Sistema de Gestión de Freelancers (Base de Datos)
 
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIACLASE 2 MUROS CARAVISTA EN CONCRETO  Y UNIDAD DE ALBAÑILERIA
CLASE 2 MUROS CARAVISTA EN CONCRETO Y UNIDAD DE ALBAÑILERIA
 
Diagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptxDiagrama de flujo metalurgia del cobre..pptx
Diagrama de flujo metalurgia del cobre..pptx
 
Fisiología del azufre en plantas S.S.pdf
Fisiología del azufre en plantas S.S.pdfFisiología del azufre en plantas S.S.pdf
Fisiología del azufre en plantas S.S.pdf
 
CFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric ProjectCFRD simplified sequence for Mazar Hydroelectric Project
CFRD simplified sequence for Mazar Hydroelectric Project
 
Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...Simbología de Soldadura,  interpretacion y aplicacion en dibujo tecnico indus...
Simbología de Soldadura, interpretacion y aplicacion en dibujo tecnico indus...
 
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
594305198-OPCIONES-TARIFARIAS-Y-CONDICIONES-DE-APLICACION-DE-TARIFAS-A-USUARI...
 
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdfCONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
CONSTRUCCIONES II - SEMANA 01 - REGLAMENTO NACIONAL DE EDIFICACIONES.pdf
 
Tarea de UTP matematices y soluciones ingenieria
Tarea de UTP matematices y soluciones ingenieriaTarea de UTP matematices y soluciones ingenieria
Tarea de UTP matematices y soluciones ingenieria
 
Físicas 1: Ecuaciones Dimensionales y Vectores
Físicas 1: Ecuaciones Dimensionales y VectoresFísicas 1: Ecuaciones Dimensionales y Vectores
Físicas 1: Ecuaciones Dimensionales y Vectores
 
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIPSEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
SEGURIDAD EN CONSTRUCCION PPT PARA EL CIP
 
MATPEL COMPLETO DESDE NIVEL I AL III.pdf
MATPEL COMPLETO DESDE NIVEL I AL III.pdfMATPEL COMPLETO DESDE NIVEL I AL III.pdf
MATPEL COMPLETO DESDE NIVEL I AL III.pdf
 
Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.Flujo potencial, conceptos básicos y ejemplos resueltos.
Flujo potencial, conceptos básicos y ejemplos resueltos.
 
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBRQUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
QUIMICA ORGANICA I ENOLES Y ENAMINAS LIBR
 
Clase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptxClase 1 Análisis Estructura. Para Arquitectura pptx
Clase 1 Análisis Estructura. Para Arquitectura pptx
 
Sistema de gestión de turnos para negocios
Sistema de gestión de turnos para negociosSistema de gestión de turnos para negocios
Sistema de gestión de turnos para negocios
 
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf3.3 Tipos de conexiones en los transformadores trifasicos.pdf
3.3 Tipos de conexiones en los transformadores trifasicos.pdf
 
Fijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSEFijaciones de balcones prefabricados de hormigón - RECENSE
Fijaciones de balcones prefabricados de hormigón - RECENSE
 

Leyes del álgebra de proposiciones

  • 1. Leyes del álgebra de proposiciones Cariela Loyo 01-11-2016
  • 2. Definición  Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos y expresarlos en formas más sencillas.  También se conocen como Leyes Lógicas, y representan formas proposicionales en las que si se sustituyen sus variables por los enunciados correspondientes el resultado será una proposición lógicamente verdadera.
  • 3.  Tautología: es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de “valores de verdad” que se haga a sus fórmulas atómicas.  La construcción de una tabla de verdad es un método efectivo para determinar si una fórmula es una tautología.
  • 4. Leyes idempotentes  La Idempotencia es la propiedad para realizar una acción determinada varias veces y aún así conseguir el mismo resultado que se obtendría si se realiza una sola vez.
  • 5. Leyes asociativas  No importa cómo agrupes para calcular, el resultado será verídico (aplica cuando tienen el mismo conector.
  • 6. Leyes conmutativas  El resultado de calcular los elementos no depende de su orden
  • 7. Leyes distributivas  Expresa que se obtiene la misma respuesta cuando se calcula un conjunto por otro conjunto de preposiciones simples o compuestas que cuando realizas las operaciones por separado.
  • 8. Leyes de identidad  Es la constatación de que dos proposiciones que se escriben diferente, son de hecho el mismo objeto; siendo así una igualdad entre dos expresiones.
  • 9. Leyes de complementación  Tercio excluido:  La disyunción de una proposición y de su negación es siempre verdadera.
  • 10. Leyes de complementación  Contradicción:  La conjunción entre una proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido.
  • 11. Leyes de la complementación  Ley de la doble negación:  La negación de una proposición es verdadera cuando dicha proposición es falsa y viceversa.
  • 12. Leyes de Morgan  Son un par de reglas de transformación que permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.  A- la negación de la disyunción es la conjunción de las negaciones  B- la negación de la conjunción es la