Buscar este blog

lunes, 4 de noviembre de 2019

Tablas de verdad, (Lógica, repaso). UPCM.


Conjunción:
p
^
q
1
1
1
1
0
0
0
0
1
0
0
0
La conjunción es verdadera sólo cuando ambas variables lo son y es falsa en los demás casos.
Se lee p y q.

Disyunción (simple):
p
v
q
1
1
1
1
1
0
0
1
1
0
0
0
La disyunción es verdadera en todos los casos menos cuando vale 0 y vale 0.
Se lee p ó q.

Disyunción excluyente:
p
w
q
1
0
1
1
1
0
0
1
1
0
0
0
La disyunción excluyente es verdadera cuando una variable es verdadera y la otra falsa, y es falsa en los demás casos.
Se lee p ó q, pero no ambas

Condicional:
p
->
q
1
1
1
1
0
0
0
1
1
0
1
0
El condicional es verdadero en todos los casos menos cuando vale 1 y vale 0.
Se lee si p entonces q

Bicondicional:
p
<->
q
1
1
1
1
0
0
0
0
1
0
1
0
El bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los demás casos.
Se lee si p y solo si p entonces q

Negación:
p
¬p
1
0
0
1
La negación - que se lee no p -, cambia el valor de la variable que se niega: sólo es verdadera si es falsa y es falsa si ¬p es verdadera.


No hay comentarios:

Publicar un comentario