Professional Documents
Culture Documents
1 / 20
2 / 20
3 / 20
PD Tema 4: Formas normales Forma normal conjuntiva Denicin de forma normal conjuntiva
4 / 20
PD Tema 4: Formas normales Forma normal conjuntiva Algoritmo de clculo de forma normal conjuntiva
5 / 20
PD Tema 4: Formas normales Forma normal conjuntiva Algoritmo de clculo de forma normal conjuntiva
6 / 20
PD Tema 4: Formas normales Forma normal conjuntiva Algoritmo de clculo de forma normal conjuntiva
7 / 20
PD Tema 4: Formas normales Forma normal conjuntiva Decisin de validez mediante FNC
8 / 20
PD Tema 4: Formas normales Forma normal conjuntiva Decisin de validez mediante FNC
9 / 20
10 / 20
PD Tema 4: Formas normales Forma normal disyuntiva Denicin de forma normal disyuntiva
11 / 20
PD Tema 4: Formas normales Forma normal disyuntiva Algoritmo de clculo de forma normal disyuntiva
12 / 20
PD Tema 4: Formas normales Forma normal disyuntiva Algoritmo de clculo de forma normal disyuntiva
PD Tema 4: Formas normales Forma normal disyuntiva Decisin de satisfacibilidad mediante FND
14 / 20
PD Tema 4: Formas normales Forma normal disyuntiva Decisin de satisfacibilidad mediante FND
15 / 20
16 / 20
PD Tema 4: Formas normales Clculo de formas normales mediante tableros semnticos Forma normal disyuntiva por tableros
17 / 20
PD Tema 4: Formas normales Clculo de formas normales mediante tableros semnticos Forma normal disyuntiva por tableros
PD Tema 4: Formas normales Clculo de formas normales mediante tableros semnticos Forma normal conjuntiva por tableros
Bibliografa
1. C. Badesa, I. Jan y R. Jansana Elementos de lgica formal. (Ariel, 2000)
Cap. 8 (Equivalencia lgica) y 10 (Formas normales).
2. M. BenAri, Mathematical logic for computer science (2nd ed.). (Springer, 2001)
Cap. 2 (Propositional calculus: formulas, models, tableaux).
4. M. Huth y M. Ryan Logic in computer science: modelling and reasoning about systems. (Cambridge University Press, 2000)
Cap. 1 (Propositional logic).