SlideShare una empresa de Scribd logo
1 de 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

Más contenido relacionado

La actualidad más candente

Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
Tata Virgüez
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
Eva Vásquez
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
Ara Narvaez
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
Perez Kyria
 

La actualidad más candente (20)

Ejer logica resueltos
Ejer logica resueltosEjer logica resueltos
Ejer logica resueltos
 
Logica proposicional
Logica proposicionalLogica proposicional
Logica proposicional
 
Examen1 lógica
Examen1 lógicaExamen1 lógica
Examen1 lógica
 
inferencias logicas
inferencias logicasinferencias logicas
inferencias logicas
 
Tautologías
TautologíasTautologías
Tautologías
 
Taller2 Logica Proposicional
Taller2 Logica ProposicionalTaller2 Logica Proposicional
Taller2 Logica Proposicional
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Razonamiento logico
Razonamiento logicoRazonamiento logico
Razonamiento logico
 
Equivalencias y reglas de inferencia
Equivalencias y reglas de inferenciaEquivalencias y reglas de inferencia
Equivalencias y reglas de inferencia
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Conectores logicos
Conectores logicosConectores logicos
Conectores logicos
 
Logica hipotesis y conclusion
Logica hipotesis y conclusionLogica hipotesis y conclusion
Logica hipotesis y conclusion
 
proposiciones lógicas -matematica basica
  proposiciones  lógicas -matematica basica  proposiciones  lógicas -matematica basica
proposiciones lógicas -matematica basica
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
Inferencia LóGica
Inferencia LóGicaInferencia LóGica
Inferencia LóGica
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Modus Ponendo Ponens
Modus Ponendo PonensModus Ponendo Ponens
Modus Ponendo Ponens
 
La Proposición lógica
La Proposición lógicaLa Proposición lógica
La Proposición 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.
Lógico mat. c 3 equivalencia lógica.
 

Similar a Circuitos lógicos y leyes lógicas

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]
Anoniemy Anoniek
 
LóGica SesióN N°3
LóGica SesióN N°3LóGica SesióN N°3
LóGica SesióN N°3
rescalante
 
Logica
LogicaLogica
Logica
jordy
 

Similar a 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
 
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
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
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
 
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
 
Logica
LogicaLogica
Logica
 

Más de Victor Huamani Nstra.SRA DEL CARMEN

Más de 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