Usuario:Fercho/ejercicio 7

Simplificar las siguientes expresiones utilizando las leyes del álgebra declarativa:

a) (p ^ q ^ r) v (p ^￢q) v (p ^￢r)

b) (p ^q) v (p ^ r) v (p ^ (q v ￢r))

c) (￢p ^ r ^￢(p ^￢(p v q) )

SOLUCIÓN

a)

Archivo:Pensamiento algorítmico ejercicio7a).jpg

b)

Archivo:Pensamiento algorítmico ejercicio7b).jpg

c)

Archivo:Pensamiento algorítmico ejercicio7c).jpg