CIENCIA DE LA COMPUTACIN

LGICA COMPUTACIONAL

CIENCIA DE LA COMPUTACIN
LGICA COMPUTACIONAL
GUA DE PRCTICAS N 8
Grupo : CCOMP6-1
Fecha : 22 05 2017
Curso : Lgica Computacional
Profesora : Luz Marina Vsquez Q.
FORMAS NORMALES

1. Transformar la siguiente frmula a formas normales conjuntivas o disyuntivas (si fuese posible).
a) p (~ p q) ( p q )
b) [(~ q ~ p) (~ p ~ q )] ~ (r q)
c) [( p q ) ~ p ] [(r q ) (~ r q )]
d) ( p q) ( q r ) ( p r )
e) (q ((r ~p) ~r)) ((q (r ~p)) (q ~r))
f) ~ ~ p ~ (~ r q) ~ p
g) ( p ~ q) ~ (q (r p ~~ q ))
h) (( z x) ~ (~ x y )) ( y ~ z )
i) (~ p q ) (~ r p ) ~ p
j) [~ ( p ~ q) p q ] p

2. Transformar la siguiente frmula a forma Prenex y Skolem

a) ~ x A( x ) y B ( x, y )

b) A( x, y ) xB( x ) yzC ( x, y , z )

c) xA( x ) ~ z B ( w, z ) y C ( w, y )

d) xyz ~ xQ( x, z ) zR( x, y, z ) ~ xz ~ S ( x, z )

e) xP( x ) x R ( x ) ~ x Q ( x ) zP ( x, z ) ~ v S ( x, v )

f) xyz xQ( x) ~ R ( x, y , z ) ~ xz ~ T ( x, z )

g) xP( x) x R ( x ) ~ x Q ( x ) zP( x, z ) v S (v)

h) xy zP( x, y , z ) uQ ( x, u ) vQ( y , v )

i)

j)

k)
 CIENCIA DE LA COMPUTACIN
LGICA COMPUTACIONAL

3. Transformar las frmulas anteriores a su forma clausal