SlideShare uma empresa 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

Mais conteúdo relacionado

Mais procurados

Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicionalMariexis Cova
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalMaestroJCH
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesWilderd Cabanillas Campos
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ssCarlos Davila
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionWendy Estupiñan
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]Henry Villalba
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosAlejo Tephros
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadpaquitogiron
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notablesrafael felix
 
Dominio y rango de funciones con restricciones
Dominio y rango de funciones con restriccionesDominio y rango de funciones con restricciones
Dominio y rango de funciones con restriccionesMagiserio
 

Mais procurados (20)

Ejercicios campo electrico y carga puntual
Ejercicios campo electrico y carga puntualEjercicios campo electrico y carga puntual
Ejercicios campo electrico y carga puntual
 
CIRCUITOS LOGICOS
CIRCUITOS LOGICOSCIRCUITOS LOGICOS
CIRCUITOS LOGICOS
 
Ejercicios algebraproposicional
Ejercicios algebraproposicionalEjercicios algebraproposicional
Ejercicios algebraproposicional
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
TAUTOLOGÍA .
TAUTOLOGÍA .TAUTOLOGÍA .
TAUTOLOGÍA .
 
Sesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposicionesSesión y practica de formalización y valoración de proposiciones
Sesión y practica de formalización y valoración de proposiciones
 
Ejercicios resueltos rdi ss
Ejercicios resueltos   rdi ssEjercicios resueltos   rdi ss
Ejercicios resueltos rdi ss
 
Leyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacionLeyes del calculo proposicional verificacion
Leyes del calculo proposicional verificacion
 
Logica proposicional[1][1]
Logica proposicional[1][1]Logica proposicional[1][1]
Logica proposicional[1][1]
 
Leyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntosLeyes lógica matemática y conjuntos
Leyes lógica matemática y conjuntos
 
Conectivos
ConectivosConectivos
Conectivos
 
Ejercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdadEjercicios resueltos de tablas de verdad
Ejercicios resueltos de tablas de verdad
 
Inferencias logicas
Inferencias logicasInferencias logicas
Inferencias logicas
 
Potencial electrico respuestas
Potencial electrico respuestasPotencial electrico respuestas
Potencial electrico respuestas
 
LóGica Proposicional
LóGica ProposicionalLóGica Proposicional
LóGica Proposicional
 
Conjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoriaConjunto ejercicios-y-teoria
Conjunto ejercicios-y-teoria
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Implicaciones Notables
Implicaciones NotablesImplicaciones Notables
Implicaciones Notables
 
Dominio y rango de funciones con restricciones
Dominio y rango de funciones con restriccionesDominio y rango de funciones con restricciones
Dominio y rango de funciones con restricciones
 

Semelhante 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
 
Lógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidadLógica- tablas de verdad-veracidad
Lógica- tablas de verdad-veracidad
 
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
 
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
 

Mais de Victor Huamani Nstra.SRA DEL CARMEN

Mais 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