Práctica 7 (LyC Verano)

De Cuba-Wiki

Ejercicio 01

Ejercicio 02

Ejercicio 03

a)

b)

c)

Ejercicio 04

a)

b)

c)

Ejercicio 05

Ejercicio 06

a)

b)

Ejercicio 07

Ejercicio 08

Ejercicio 09

a)

b)

c)

Ejercicio 10

a)










...

Con lo cual la rama queda saturada, por lo que la negacion es satisfacible

b)









×

Ejercicio 11

Ejercicio 12

a)

Si








b)

Si

Ejercicio 13