2_3_TablasDeVerdad

Tablas de Verdad - Lógica Digital
1 / 19
volgende
Slide 1: Tekstslide
AlgebraTertiary Education

In deze les zitten 19 slides, met tekstslides.

time-iconLesduur is: 50 min

Onderdelen in deze les

Tablas de Verdad - Lógica Digital

Slide 1 - Tekstslide

Lógica Digital
  • p = Hay voltaje
  • Veradero = 1
  • Falso = 0

Slide 2 - Tekstslide

Principio del tercero excluido
Si existe una proposición y su negación, una es verdadera, una es falsa y no existe una tercera


p=dia
¬p=noche

Slide 3 - Tekstslide

Validez:
 Que esté bien estructurado, formulado correctamente.
Veracidad:
Que sea cierto, esté comprobado.

Slide 4 - Tekstslide

Tablas de verdad
  • Herramienta que nos permite conocer todos los posibles resultados de una operación lógica.

P1
P2
P3
R
0
0
0
0
0
0
1
0
0
1
0
1
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
0
1
1
1
1

Slide 5 - Tekstslide

Tablas de verdad
  • Herramienta que nos permite conocer todos los posibles resultados de una operación lógica.
  • Se comienza a llenar con 0 y 1 ó F y V de forma intercalada (uno y uno) en la columna más cercana al resultado.
P1
P2
P3
R
0
1

Slide 6 - Tekstslide

Tablas de verdad
  • Herramienta que nos permite conocer todos los posibles resultados de una operación lógica.
  • Se comienza a llenar con 0 y 1 ó F y V de forma intercalada (uno y uno) en la columna más cercana al resultado.
  • Cada nueva variable se duplica el número de 0s y 1s consecutivos (2,4,8,etc)
P1
P2
P3
R
0
0
0
1
1
0
1
1

Slide 7 - Tekstslide

Tablas de verdad
  • Herramienta que nos permite conocer todos los posibles resultados de una operación lógica.
  • Se comienza a llenar con 0 y 1 ó F y V de forma intercalada (uno y uno) en la columna más cercana al resultado.
  • Cada nueva variable se duplica el número de 0s y 1s consecutivos (2,4,8,etc)
  • EL RESULTADO ES TODA LA TABLA
P1
P2
P3
R
0
0
0
0
0
1
0
1
0
0
1
1
1
0
0
1
0
1
1
1
0
1
1
1

Slide 8 - Tekstslide

Disyunción
Para formar parte del conjunto solución es necesario que una o dos proposiciones sean verdad
P
Q
P || Q
0
0
0
0
1
1
1
0
1
1
1
1
o

Slide 9 - Tekstslide

Disyunción exclusiva
Para formar parte del conjunto solución es necesario que una proposición sean verdad.
NO PUEDEN SER AMBAS VERDAD
P
Q
P ⊕ Q
0
0
0
0
1
1
1
0
1
1
1
0
o

Slide 10 - Tekstslide

Conjunción
Para formar parte del conjunto solución es necesario que ambas proposiciones sean verdad
P
Q
P & Q
0
0
0
0
1
0
1
0
0
1
1
1
y&

Slide 11 - Tekstslide

Negación
Para formar parte del conjunto solución es necesario que la proposición sea falsa.
P
!P
0
1
1
0
no¬!

Slide 12 - Tekstslide

Implicación
Si se cumple la causa, debe de cumplirse el efecto.
P
Q
P → Q
0
0
1
0
1
1
1
0
0
1
1
1
siIF

Slide 13 - Tekstslide

Doble Implicación
Únicamente si se cumple la causa, debe de cumplirse el efecto.
P
Q
P ↔ Q
0
0
1
0
1
0
1
0
0
1
1
1
siysolosiIF

Slide 14 - Tekstslide

La complejidad de la tecnología

Slide 15 - Tekstslide

Ejemplo:                            
P
Q
R
0
0
0
0
0
1
1
0
0
1
0
1
0
1
0
1
0
0
1
0
1
0
1
1
0
1
0
1
1
0
0
0
0
1
1
1
0
1
0
1
0
1
1
1
0
1
1
0
0
1
1
1
1
1
0
0
(PQ)¬(QR)
(PQ)
(QR)
(PQ)¬(QR)
¬(QR)

Slide 16 - Tekstslide

Ejemplo:                            
P
Q
R
0
0
0
0
1
1
0
0
0
1
0
0
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1
1
1
0
0
1
1
1
1
1
0
1
1
0
0
0
1
1
0
0
1
0
1
1
1
1
0
0
1
0
(PQ)(Q¬R)
PQ
¬R
(PQ)(Q¬R)
Q¬R

Slide 17 - Tekstslide

Ejemplo:                            
P
Q
R
0
0
0
0
0
1
0
1
0
0
1
1
1
0
0
1
0
1
1
1
0
1
1
1

Slide 18 - Tekstslide

Ejemplo:                            
P
Q
R
0
0
0
0
0
1
0
1
0
0
1
1
1
0
0
1
0
1
1
1
0
1
1
1

Slide 19 - Tekstslide