Professional Documents
Culture Documents
Luisa ha recibido una bonificacin de la empresa donde trabaja porque en el mes anterior fue
la mejor vendedora, superando las ventas de los ltimos cinco aos. Ella compr varias cosas qu
e necesitaba y quera. Das despus ella estaba recordando qu haba comprado e hizo la
siguiente reflexin: Compr una Tablet, y, no compr un computador porttil y no compr una T
ablet, y, no compr una tablet o no compr un celular de ltima tecnologa.
Transforma el texto que recrea los recuerdos de Luisa en lenguaje formal, realiza las
respectivas tablas de verdad e indica si es tautologa, contradiccin o contingencia. Adems debe
s hacer la comprobacin con el uso del simulador TRUTH.
P (~q ~p ) (~p~r)
p q r ( ~p ~r )
P
(~Q ~P)
V V V V F F V F F V F F V F F V
V V F V F V V F F V F F V V V F
V F V V F F F F F V F F V F F V
V F F V F V F F F V F F V V V F
F V V F F F V F V F F V F V F V
F V F F F V V F V F F V F V V F
F F V F F F F V V F F V F V F V
F F F F F V F V V F F V F V V F
Elementos de la expresin booleana
variables: a, b, c, ..., z
constantes: V (o 1) o F (o 0)
operador unario: ~ 1 no (negacin)
operadores & 2 y (conjuncin)
binarios: | | 2 NAND (no y)
+ 3 o (disyuncin)
- 3 NOR (no o)
# 3 XOR (exclusivo o)
> 4 si (implicacin)
= 5 si y solo si (bicondicional)
(), [] o {} pueden usarse para agrupar expresiones para
agrupamiento:
cambiar el orden de evaluacin
Ningn estudiante de pregrado puede ocupar el primer lugar y el segundo lugar al mismo tiempo
en las pruebas SABER PRO
Vanessa es estudiante de pregrado.
Vanessa no puede ocupar el primer lugar y el segundo lugar al mismo tiempo en las pruebas
SABER PRO.
ESTUDIANTES
2o
Vanessa
1o
CONCLUSIONES