ACTIVIDAD: resolución de ejercicios aplicando la construcción de tablas de verdad y

algebra de proposiciones.
1.- Construye una tabla de verdad para la forma de enunciado (p ^ q) v ~ r

P q r P^q ~ r (p ^ q) v ~ r
0 0 0 0 1 1
0 0 1 0 0 0
0 1 0 0 1 1
0 1 1 0 0 0
1 0 0 0 1 1
1 0 1 0 0 0
1 1 0 1 1 1
1 1 1 0 0 1

2.- Constituye una tabla de verdad para la forma de enunciado p ^ (~q v r)

P q r ~ q ~ qvr P ^ (~q v r)
0 0 0 1 1 0
0 0 1 1 1 0
0 1 0 0 0 0
0 1 1 0 1 0
1 0 0 1 1 1
1 0 1 1 1 1
1 1 0 0 0 0
1 1 1 0 1 1

3.- Deduce la siguiente equivalencia lógica (p ^ ~ q) v (p ^ q)

(p ^ ~ q) v (p ^ q) Propiedad distributiva
P ^ (~ q v q) Propiedad de inversos
P^t Propiedad de neutros
p

(p ^ ~ q) v p = p Propiedad conmutativa
p v (p^ ~ q) = p Propiedad de absorción
P=p
 ~ ((~ p ^ q) v (~ P ^ ~ q)) v (p ^ q) = p Ley de morgan
[~ (~ p ^ q) v ~ (~ P ^ ~ q)] v (p ^ q) = p Ley de morgan
[(p v ~ q) ^ (p v q) v (p ^ q) = p Propiedad conmutativa
(p ^ q) v ((p v q) ^ (p v ~q)) = p Propiedad asociativa
(p ^ q) v (p v (q ^ ~ q)) = p Inversos
(p ^ q) v (p v f ) = p Neutros
(p ^ q) v p = p Conmutativa
P v (p ^ q) = p Adsorción
P=p

Comprueba la equivalencia lógica de los siguientes ejercidos. No olvides indicar que ley del
algebra de proporciones utilizado

María del roció Betancourt Aguilar/21CL10354/CP/sabatino