SlideShare ist ein Scribd-Unternehmen logo
1 von 12
CIRCUITOS LÓGICOS

  Son básicamente , un arreglo de interruptores conocidos como compuertas lógicas,
  en que cada compuerta lógica tiene su tabla de verdad. Los circuitos lógicos mas
  simples son:

 Circuito en serie: es aquel que está constituido por interruptores dispuestos de uno de
 detrás
 de otro; este circuito la representa la conjunción de dos o más proposiciones.
  Ejemplo:

  p∧q            se representa: p             q

   p∨ q∧ r         Se representa: p               q       r
Circuitos en paralelo: es aquel que está constituido por interruptores
dispuestos de uno frente al otro, este circuito la representa la
disyunción débil de dos o más proposiciones.

                                          p
   p ∨q        Se representa
                                         q
Practiquemos:            1.Representa los                         q
                          Esquemas a circuitos.

a)    ( p ∧ q) ∨ r                                       p

              p            q                                        r


                  r                                                : p

b)    ( p ∧ q) ∨ ( :      p ∧ r)                  d)    ( p∧ : q ) ∧ ( :   p ∨ q)

          p           q                           e)      p ∧ ( r ∨ : q )  ∨ ( q∧ : r )
                                                                          

       : p            r
                                                   f)     p ∧ ( q ∧ r)  ∨ ( q ∧ r)
                                                                       

 c)     p ∧ ( q ∨ r)  ∨ : p
                     
Desarrollo:
                                 a)       p.        q.       r.
d)                        : p
        p     : q
                                          q.             r
                          q
                                2.Representa los circuitos a esquemas
                                  moleculares.


                                a)
•                    r.                  p.       : q
        p.                                    p

                   : q
                                        : r
        q          : r                   q.
p.                      d)
 b)                                                               q.       r.
               q
      q                       q.
               : r                                 p.
                                                             :q        :r
      r
               : s            s
                                                             p         : q
c)                 p.                              q
                   q
               :r                                            q         r
          q.            : p
                                   e)
      : r               : q                    p.            q.
                                                                           q    r
                                             : p            :q
                                                        p
Respuesta:



     a)
          ( p ∧ : q ) ∨ p  ∨ ( : r ∨ q )
                          
 b)       { ( q ∨ r ) ∧  ( p ∨ q ) ∨ ( : r ∨ : s ) } ∧ ( q ∨ s )
          ( p ∨ q ) ∨ : r  ∨ ( q ∨ : r ) ∧ ( : p ∨ : q ) 
                                                         
 c)


 d)       { p ∧ ( q ∧ r ) ∨ ( : q∧ : r ) } ∨ { q ∧ ( p∧ : q ) ∨ ( q ∨ r ) }
e)
           { ( p ∧ q ) ∨ ( :       p∧ : q )  ∧ ( q ∧ r ) ∨ p
                                                                      }
LEYES LÓGICAS

 Una ley es una equivalencia notable. Son las siguientes.
IDENPOTENCIA:                             DISTRBUTIVA:

 p∧ p∧ p = p                              p ∨( q ∧ r ) = ( p ∨ q) ∧( p ∨ r )
 p∨ p∨ p = p
                                          p ∧( q ∨ r ) = ( p ∧ q) ∨( p ∧ r )
CONMUTATIVA:
                                          INVOLUTIVA O DOBLE NEGACIÓN:
 p ∧q = q ∧ p
                                           : ( : p) = p
 p ∨q = q ∨ p
                                          DE DMORGAN:
ASOCIATIVA:

( p ∨ q) ∨ r = p ∨ ( q ∨ r )              :   ( p ∧ q ) =:     p∨ : q

( p ∧ q) ∧ r = p ∧ ( q ∧ r )              :   ( p ∨ q ) =:     p∧ : q
DEL COMPLEMENTO:
  DE ABSORCIÓN:
                           p ∨: p =V         tautológica
 p ∨( p ∧ q ) = p
                           p ∧: q =F         contradicción
 p ∧( p ∨ q ) = p
                          DE LA IDENTIDAD:
 p ∨( : p ∧ q ) = p ∨ q
                             p∨ =
                               V V
 p ∧( : p ∨ q ) = p ∧ q
                             p∧ =
                               V p
DE LA CONDICIONAL:
                             p∨ =
                               F p
p → q =: p ∨ q
                             p∧ =
                               F F
p → q =: p →: q
Practiquemos:

1.simplifica:



                p.
                                  p
            : p∨ q

                 :q
Desarrollo:

 {  p ∨ ( :               }
                 p ∨ q)  ∧ p ∨ : q
                        
 ( p ∨ q ) ∧ p  ∨ : q
                                    absorción

                                                   p.
    p∨ : q            absorción
                                                  : q
2.simplifica:


                   q.
                  : p
     q.                      : p
                   : q

                    p.

 Desarrollo:


{ q ∧  ( q∨ :                    }
                  p) ∨ ( : q ∨ p)  ∧ : p
                                  

  { q ∧ [ q∨ :     p∨ : q ∨ p ] } ∧ : p     idempotencia


   { q ∧ [ q∨ :    q ∨ p∨ : p ]} ∧ : p      conmutativa
{ q ∧ [ V ∨ V ]} ∧ :   p   Del complemento


{ q ∧ V} ∧ :   p

 q∧ : p             De la identidad



     q.            : p


  3.simplifica:

( p ∧ q ) ∨ ( : p ∧ q )  ∧ p
                        

( p ∧ q) ∧ p ∨ ( : p ∧ q) ∧ p
                             
                                             distributiva


[ p ∧ p ∧ q ] ∨[ :           p ∧ p ∧ q]        conmutativa
( p ∧ q ) ∨ ( F ∧ q ) Idenpotencia y del complemento
  ( p ∧ q ) ∨ F De la identidad
                                       ( p∧ : q ) ∨ :   q   Doble negación

 ( p ∧ q)        De la identidad

 4.sinplifica:
                                       :q      absorción


: ( p → q )  ∨ : q
            

  : ( : p ∨ q) ∨ : q     condicional



(::    p∧ : q ) ∨ : q     De Dmorgan

Weitere ähnliche Inhalte

Was ist angesagt?

Circuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipoCircuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipojuancajusoldamian
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdadVideoconferencias UTPL
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLuis Bruno
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaCarlos Chavarria
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicasEva Vásquez
 
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
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALtrifonia2014
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Victor Alonso Jimenez
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ssCarlos Davila
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Esquemas moleculares
Esquemas molecularesEsquemas moleculares
Esquemas molecularessandovix
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicioneshilgri
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicionalamarilisrivas94
 

Was ist angesagt? (20)

Circuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipoCircuitos logicos trabajo en equipo
Circuitos logicos trabajo en equipo
 
Lógica proposicional tablas de verdad
Lógica proposicional tablas de verdadLógica proposicional tablas de verdad
Lógica proposicional tablas de verdad
 
La logica proposicional
La logica proposicionalLa logica proposicional
La logica proposicional
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓNEQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
EQUIVALENCIAS LÓGICAS Y SIMPLIFICACIÓN
 
Conectivos lógicos silviacardozo
Conectivos lógicos silviacardozoConectivos lógicos silviacardozo
Conectivos lógicos silviacardozo
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
LÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONALLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL
 
Leyes De Lógica
Leyes De LógicaLeyes De Lógica
Leyes De Lógica
 
Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)Ejercicios de logica matematica (resueltos)
Ejercicios de logica matematica (resueltos)
 
Logica proposcional-1
Logica proposcional-1Logica proposcional-1
Logica proposcional-1
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Lógica Sesión N°3
Lógica Sesión N°3Lógica Sesión N°3
Lógica Sesión N°3
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Esquemas moleculares
Esquemas molecularesEsquemas moleculares
Esquemas moleculares
 
Analisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposicionesAnalisis y desarrollo de las proposiciones
Analisis y desarrollo de las proposiciones
 
Ejemplos de logica proposicional
Ejemplos de logica proposicionalEjemplos de logica proposicional
Ejemplos de logica proposicional
 

Ähnlich wie Circuitos lógicos y leyes lógicas (20)

Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)Problemas1 (algunas soluciones)
Problemas1 (algunas soluciones)
 
1° encuentro ejercicios de lógica
1° encuentro   ejercicios de lógica1° encuentro   ejercicios de lógica
1° encuentro ejercicios de lógica
 
Equivalencia E Implicancias
Equivalencia E ImplicanciasEquivalencia E Implicancias
Equivalencia E Implicancias
 
Razonamiento logico
Razonamiento logicoRazonamiento logico
Razonamiento logico
 
Logica Matematica
Logica MatematicaLogica Matematica
Logica Matematica
 
4)__Circuitos lógicos-----4°-.pdf
4)__Circuitos lógicos-----4°-.pdf4)__Circuitos lógicos-----4°-.pdf
4)__Circuitos lógicos-----4°-.pdf
 
Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]
Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]
Ejercicios de simplificacion_de_ecuaciones_logicas_1[1]
 
Práctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRTPráctica de la Unidad I - Discreta - UTN-FRT
Práctica de la Unidad I - Discreta - UTN-FRT
 
COMPENDIO QUINTO
COMPENDIO QUINTOCOMPENDIO QUINTO
COMPENDIO QUINTO
 
Ayuda 1.2 leyes logicas gregorio
Ayuda 1.2 leyes logicas gregorioAyuda 1.2 leyes logicas gregorio
Ayuda 1.2 leyes logicas gregorio
 
Proposiciones
ProposicionesProposiciones
Proposiciones
 
Compuerts
CompuertsCompuerts
Compuerts
 
Circuitoslogic
CircuitoslogicCircuitoslogic
Circuitoslogic
 
Problemas1
Problemas1Problemas1
Problemas1
 
LóGica SesióN N°3
LóGica SesióN N°3LóGica SesióN N°3
LóGica SesióN N°3
 
Tautologías
TautologíasTautologías
Tautologías
 
Logica 7
Logica 7Logica 7
Logica 7
 
Teoria De Equivalencias
Teoria De EquivalenciasTeoria De Equivalencias
Teoria De Equivalencias
 
Taller no 2 de logica matematica
Taller no 2 de logica matematicaTaller no 2 de logica matematica
Taller no 2 de logica matematica
 
Estructura hugo
Estructura hugoEstructura hugo
Estructura hugo
 

Mehr von Victor Huamani Nstra.SRA DEL CARMEN

Mehr von Victor Huamani Nstra.SRA DEL CARMEN (20)

Actividad de la semana 36
Actividad de la semana 36Actividad de la semana 36
Actividad de la semana 36
 
Actividad de la semana 35
Actividad de la semana 35Actividad de la semana 35
Actividad de la semana 35
 
Evidencias del mes de noviembre
Evidencias del mes de noviembreEvidencias del mes de noviembre
Evidencias del mes de noviembre
 
Actividad de la semana 34
Actividad de la semana 34Actividad de la semana 34
Actividad de la semana 34
 
Actividad de la semana 33
Actividad de la semana 33Actividad de la semana 33
Actividad de la semana 33
 
Imanol ayllon (religion semana 26) (1)
Imanol ayllon (religion   semana 26) (1)Imanol ayllon (religion   semana 26) (1)
Imanol ayllon (religion semana 26) (1)
 
Evidencias del mes de octubre
Evidencias del mes de octubreEvidencias del mes de octubre
Evidencias del mes de octubre
 
Imanol ayllon (matematica semana 29)
Imanol ayllon (matematica   semana 29)Imanol ayllon (matematica   semana 29)
Imanol ayllon (matematica semana 29)
 
Rondon matematica-semana 29 (1)
Rondon matematica-semana 29 (1)Rondon matematica-semana 29 (1)
Rondon matematica-semana 29 (1)
 
Imanol ayllon (matematica semana 26)
Imanol ayllon (matematica   semana 26)Imanol ayllon (matematica   semana 26)
Imanol ayllon (matematica semana 26)
 
Actividad de la semana 30
Actividad de la semana 30Actividad de la semana 30
Actividad de la semana 30
 
Actividad de la semana 29
Actividad de la semana 29Actividad de la semana 29
Actividad de la semana 29
 
Actividad de la semana 27 aprendiendo en casa
Actividad de la semana 27 aprendiendo en casaActividad de la semana 27 aprendiendo en casa
Actividad de la semana 27 aprendiendo en casa
 
Actividad de la semana 27
Actividad de la semana 27Actividad de la semana 27
Actividad de la semana 27
 
Rosy miguel inocente Semana 23
Rosy miguel inocente  Semana 23Rosy miguel inocente  Semana 23
Rosy miguel inocente Semana 23
 
Matematicas s22-nikaydo
Matematicas s22-nikaydoMatematicas s22-nikaydo
Matematicas s22-nikaydo
 
Evidencias del mes de setiembre
Evidencias del  mes de setiembreEvidencias del  mes de setiembre
Evidencias del mes de setiembre
 
Actividad de la semana 25
Actividad de la semana 25Actividad de la semana 25
Actividad de la semana 25
 
Actividad de la_semana_24 aprendiendo en casa
Actividad de la_semana_24 aprendiendo en casaActividad de la_semana_24 aprendiendo en casa
Actividad de la_semana_24 aprendiendo en casa
 
Ecuación de 2_do_grado de Aprendiendo en casa
Ecuación de 2_do_grado  de Aprendiendo en casaEcuación de 2_do_grado  de Aprendiendo en casa
Ecuación de 2_do_grado de Aprendiendo en casa
 

Circuitos lógicos y leyes lógicas

  • 1.
  • 2. CIRCUITOS LÓGICOS Son básicamente , un arreglo de interruptores conocidos como compuertas lógicas, en que cada compuerta lógica tiene su tabla de verdad. Los circuitos lógicos mas simples son: Circuito en serie: es aquel que está constituido por interruptores dispuestos de uno de detrás de otro; este circuito la representa la conjunción de dos o más proposiciones. Ejemplo: p∧q se representa: p q p∨ q∧ r Se representa: p q r Circuitos en paralelo: es aquel que está constituido por interruptores dispuestos de uno frente al otro, este circuito la representa la disyunción débil de dos o más proposiciones. p p ∨q Se representa q
  • 3. Practiquemos: 1.Representa los q Esquemas a circuitos. a) ( p ∧ q) ∨ r p p q r r : p b) ( p ∧ q) ∨ ( : p ∧ r) d) ( p∧ : q ) ∧ ( : p ∨ q) p q e)  p ∧ ( r ∨ : q )  ∨ ( q∧ : r )   : p r f)  p ∧ ( q ∧ r)  ∨ ( q ∧ r)   c)  p ∧ ( q ∨ r)  ∨ : p  
  • 4. Desarrollo: a) p. q. r. d) : p p : q q. r q 2.Representa los circuitos a esquemas moleculares. a) • r. p. : q p. p : q : r q : r q.
  • 5. p. d) b) q. r. q q q. : r p. :q :r r : s s p : q c) p. q q :r q r q. : p e) : r : q p. q. q r : p :q p
  • 6. Respuesta: a) ( p ∧ : q ) ∨ p  ∨ ( : r ∨ q )   b) { ( q ∨ r ) ∧  ( p ∨ q ) ∨ ( : r ∨ : s ) } ∧ ( q ∨ s ) ( p ∨ q ) ∨ : r  ∨ ( q ∨ : r ) ∧ ( : p ∨ : q )      c) d) { p ∧ ( q ∧ r ) ∨ ( : q∧ : r ) } ∨ { q ∧ ( p∧ : q ) ∨ ( q ∨ r ) } e) { ( p ∧ q ) ∨ ( : p∧ : q )  ∧ ( q ∧ r ) ∨ p  }
  • 7. LEYES LÓGICAS Una ley es una equivalencia notable. Son las siguientes. IDENPOTENCIA: DISTRBUTIVA: p∧ p∧ p = p p ∨( q ∧ r ) = ( p ∨ q) ∧( p ∨ r ) p∨ p∨ p = p p ∧( q ∨ r ) = ( p ∧ q) ∨( p ∧ r ) CONMUTATIVA: INVOLUTIVA O DOBLE NEGACIÓN: p ∧q = q ∧ p : ( : p) = p p ∨q = q ∨ p DE DMORGAN: ASOCIATIVA: ( p ∨ q) ∨ r = p ∨ ( q ∨ r ) : ( p ∧ q ) =: p∨ : q ( p ∧ q) ∧ r = p ∧ ( q ∧ r ) : ( p ∨ q ) =: p∧ : q
  • 8. DEL COMPLEMENTO: DE ABSORCIÓN: p ∨: p =V tautológica p ∨( p ∧ q ) = p p ∧: q =F contradicción p ∧( p ∨ q ) = p DE LA IDENTIDAD: p ∨( : p ∧ q ) = p ∨ q p∨ = V V p ∧( : p ∨ q ) = p ∧ q p∧ = V p DE LA CONDICIONAL: p∨ = F p p → q =: p ∨ q p∧ = F F p → q =: p →: q
  • 9. Practiquemos: 1.simplifica: p. p : p∨ q :q Desarrollo: {  p ∨ ( : } p ∨ q)  ∧ p ∨ : q  ( p ∨ q ) ∧ p  ∨ : q   absorción p. p∨ : q absorción : q
  • 10. 2.simplifica: q. : p q. : p : q p. Desarrollo: { q ∧  ( q∨ : } p) ∨ ( : q ∨ p)  ∧ : p  { q ∧ [ q∨ : p∨ : q ∨ p ] } ∧ : p idempotencia { q ∧ [ q∨ : q ∨ p∨ : p ]} ∧ : p conmutativa
  • 11. { q ∧ [ V ∨ V ]} ∧ : p Del complemento { q ∧ V} ∧ : p q∧ : p De la identidad q. : p 3.simplifica: ( p ∧ q ) ∨ ( : p ∧ q )  ∧ p   ( p ∧ q) ∧ p ∨ ( : p ∧ q) ∧ p     distributiva [ p ∧ p ∧ q ] ∨[ : p ∧ p ∧ q] conmutativa
  • 12. ( p ∧ q ) ∨ ( F ∧ q ) Idenpotencia y del complemento ( p ∧ q ) ∨ F De la identidad ( p∧ : q ) ∨ : q Doble negación ( p ∧ q) De la identidad 4.sinplifica: :q absorción : ( p → q )  ∨ : q   : ( : p ∨ q) ∨ : q condicional (:: p∧ : q ) ∨ : q De Dmorgan