Tabla de
negación
a
a
0 1
1 0
La negación (~) es el conectivo
lógico que a toda proposición a
asocia la proposición “no a”. Si el
valor de verdad de p es verdadero,
el de no p es falso.
Tabla de
verdad de la
conjunción
La conjunción, con el conectivo
lógico “y” (∧) es verdadera
únicamente si las proposiciones a y b
son verdaderas. En los demás casos
a ∧ b es falsa.
Se lee: a y b
a
b a
∧
b
0 0 0
0 1 0
1 0 0
1 1 1
Tabla de
verdad de
disyunción
inclusiva
La disyunción inclusiva es el conectivo
lógico “o” (∨). Es falsa únicamente si
las proposiciones a y b son falsas. En
los demás casos a
∨
q es verdadera.
Se lee: a o b.
a
b a
∨
b
0 0 0
0 1 1
1 0 1
1 1 1
Tabla de
verdad
a
0
1
a b
0 0
0 1
1 0
1 1
