Publicado el 20 de Junio del 2017
1.108 visualizaciones desde el 20 de Junio del 2017
185,4 KB
20 paginas
Creado hace 10a (29/09/2015)
Formas normales
Equivalencia lógica
Sustitución
Formas normales
Forma clausal
Algoritmos para
SAT y TAUT
Tema 2:
Formas normales
Dpto. Ciencias de la Computación Inteligencia Artificial
Universidad de Sevilla
Lógica Informática
(Tecnologías Informáticas)
Curso 2015–16
Formas normales
Equivalencia lógica
Sustitución
Formas normales
Forma clausal
Algoritmos para
SAT y TAUT
Contenido
Equivalencia lógica
Sustitución
Formas normales
Forma clausal
Algoritmos para SAT y TAUT
For...
Crear cuenta
22 visualizaciones durante los últimos 90 días