Tablas Lógicas

Ayudantı́a MAT021
Mateo Hidalgo
Marzo 2022

Sean p y q proposiciones lógicas. Permitiremos a cada proposición tomar un valor de verdad falso, que
anotamos p ≡ F o bien verdadero, que anotamos p ≡ V . En este sentido, el par ordenado (p, q) puede ser
(F, F ) o (F, V ) o (V, F ) o (V, V ). Queremos definir un conector que le asigne a cada uno de estos pares
ordenados un valor de verdad. Por ejemplo, diremos que el conector de conjunción lógica ∨ recibe el par
odenado (V, V ) y devuelve el valor V , cosa que anotamos como (V ∨ V ) ≡ V , y decimos también que
(F ∨ F ) ≡ F, (F ∨ V ) ≡ V, (V ∨ F ) ≡ V . O de forma más concisa, escribimos la tabla de verdad:

p q p∨q
F F F
F V V
V F V
V V V

La pregunta ahora es, dado un conector arbitrario ∗ ¿de cuántas formas este conector puede tomar 2
valores de verdad y devolvernos un tercero? Ya que hay 4 pares ordenados posibles y dado que ∗ asigna un
valor V o F a cada uno, tenemos que hay 42 = 16 formas en que el conector ∗ asigna valores de verdad.
Presentamos una tabla de verdad con las 16 combinaciones posibles de p y q y una expresión que la identifica,
usando los conectores vistos en clase:

p q p∧¬p p∧q p∧¬q p ¬p∧q q ¬(p ⇔ q) p∨q

F F F F F F F F F F
F V F F F F V V V V
V F F F V V F F V V
V V F V F V F V F V

p q ¬p∧¬q p⇔q ¬q q⇒p ¬p p⇒q p⇒¬q p∨¬p

F F V V V V V V V V
F V F F F F V V V V
V F F F V V F F V V
V V F V F V F V F V

Para verificar su comprensión, se le pide que revise cada columna de la tabla y compruebe que, en efecto,
están presentes las 16 combinaciones posibles antes mencionadas y además confirme que cada columna
devuelve los valores que deberı́a al recibir las proposiciones p y q. La tabla anterior usó distintos sı́mbolos,
como ⇔, ∧, ∨, etc pero ¿Qué tanto podemos evitar el uso o invención de nuevos sı́mbolos para escribir las
16 combinaciones posibles? Por ejemplo, podemos definir arbitrariamente el conector ∗ que devuelve valores
segun la siguiente tabla de verdad:

1
 p q p∗q
F F V
F V V
V F F
V V V

Esta tabla fue construida de forma arbitraria, pero revisandola podemos notar que toma justamente los
valores del conector de implicancia ⇒, por lo que podemos evitar usar el sı́mbolo ∗ y usar en su lugar ⇒.
Una forma de escribir la tabla anterior usando el menor número de sı́mbolos posibles es usando solo
los conectores ya conocidos y estudiados (¬, ∨), es decir, negación y disyunción. En la siguiente tabla, se
expresan las 16 formas en que un conector podrı́a actuar sobre p y q expresado solo en términos de los
operadores ¬ y ∨:

p q ¬(p ∨ ¬p) ¬(p ∨ q) ¬(¬p ∨ q) p ¬(p ∨ ¬q) q ¬(¬p ∨ q) ∨ ¬(¬q ∨ p) p∨q

F F F F F F F F F F
F V F F F F V V V V
V F F F V V F F V V
V V F V F V F V F V

p q ¬(p ∨ q) ¬(¬(¬p ∨ q) ∨ ¬(¬q ∨ p)) ¬q p∨¬q ¬p ¬p∨q ¬p∨¬q (p ∨ ¬p)

F F V V V V V V V V
F V F F F F V V V V
V F F F V V F F V V
V V F V F V F V F V

Queda como ejercicio reescribir esta tabla, pero ahora escribiendo para cada una de las 16 combinaciones,
una expresión que use solo los conectores ¬ y ⇒, también puede ser enriquecedor argumentar (sin escribir
toda la tabla) que las 16 combinaciones pueden lograrse usando solo ¬ y ∧, es decir, negación y conjunción
(para esto recuerde las leyes de Morgan vistas en cátedra). Pueden enviar sus respuesta, dudas y comentarios
a mi correo: mateo.hidalgo@usm.cl especialmente si quieren enviarme sus desarrollos para retroalimentarlos.
¿De qué sirve todo esto? En el contexto de la informática, los computadores entienden solo el lenguaje
binario, es decir, ceros y unos. Si hacemos la identificacion de el valor Falso con el 0 y el valor Verdadero
con el 1, podemos llevar todo lo estudiado al campo de la informática, donde normalmente hablamos de
lógica Booleana y de puertas lógicas (logic gates). Por ejemplo, los siguientes son algunas puertas lógicas
muy usadas y que tienen correspondencias con los conectores vistos en las tablas anteriores

La NOT Gate podemos identificarlas con la negación lógica ¬ la OR Gate con la disyunción lógica ∨, etc.
Ya que mostramos que todo conector lógico se puede escribir como combinación de ¬ y ∨, podemios escribir
cualquier puerta lógica usando la NOT Gate y la OR gate.

2
 En el popular videojuego sandbox Minecraft, es posible hacer cableados usando redstone, que es un
analogo de los cableados electricos. Identificando la redstone encendida con el valor lógico Verdadero, la
redstone apagada con el valor lógico Falso, las antorchas con la negación lógica y la unión de cableados
con la disyunción lógica tenemos que cualquier puerta lógica puede ser construida usando solo redstone y
antorchas de redstone.