SOLUCIONES AL EJERCICIO 2

a. f enfadarse los animales fabulosos. s paralizarse del susto. b apelar a su bondad. e ser engullido.

(( f -> s ) & ( s -> b & ¬ e )) -> ( f -> b V e)

LLamaremos A : (( f -> s ) & ( s -> b & ¬ e ))

Llamaremos B : ( f -> b V e)

TABLA DE VERDAD:

f s b e f->s b & ¬e ¬e s -> (b & ¬ e ) A b V e B A -> B
1 1 1 1
1 1 1 0
1 1 0 1
1 1 0 0
1 0 1 1
1 0 1 0
1 0 0 1
1 0 0 0
0 1 1 1
0 1 1 0
0 1 0 1
0 1 0 0
0 0 1 1
0 0 1 0
0 0 0 1
0 0 0 0

1
1
1
1
0
0
0
0
1
1
1
1
1
1
1
1
0
1
0
0
0
1
0
0
0
1
0
0
0
1
0
0

0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
0
1
0
0
1
1
1
1

0
0
0
0
0
0
0
0
0
1
0
0
0
1
0
1

1
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0



1
0
0
0
1
0
0
0
1
1
1
1
1
1
1
1



1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Es una tautología