Download - 28 formas normales
![Page 2: 28 formas normales](https://reader036.vdocumento.com/reader036/viewer/2022082811/55932c041a28ab85088b46c1/html5/thumbnails/2.jpg)
2 de 8
Literales
Literal:Una proposición de una letra
P, T, R, M
O una proposición de una letra negada ~P, ~S, ~B
![Page 3: 28 formas normales](https://reader036.vdocumento.com/reader036/viewer/2022082811/55932c041a28ab85088b46c1/html5/thumbnails/3.jpg)
3 de 8
Forma Normal Disyuntiva
Forma Normal Disyuntiva Una fórmula de lógica proposicional está en forma
normal disyuntiva si Es una literal; Una conjunción de literales; Una disyunción de conjunciones de literales;
![Page 4: 28 formas normales](https://reader036.vdocumento.com/reader036/viewer/2022082811/55932c041a28ab85088b46c1/html5/thumbnails/4.jpg)
4 de 8
Forma Normal Disyuntiva
Forma Normal Disyuntiva Una fórmula de lógica proposicional está en forma
normal disyuntiva si Es una literal; Una conjunción de literales; Una disyunción de conjunciones de literales;
Ojo: una disyunción puede estar compuesta de un solo disyunto Una conjunción puede tener un solo conyunto
![Page 5: 28 formas normales](https://reader036.vdocumento.com/reader036/viewer/2022082811/55932c041a28ab85088b46c1/html5/thumbnails/5.jpg)
5 de 8
Ejemplos
Forma Normal Disyuntiva Una fórmula de lógica
proposicional está en forma normal disyuntiva si
Es una literal; Una conjunción de
literales; Una disyunción de
conjunciones de literales;
(P & Q)
(P & ~Q)
((P & Q) v ~R)
(((P & Q) & ~R) v (R & ~S))
(P & (Q v R))
~(P v Q)
(P v ~(Q & R))
![Page 6: 28 formas normales](https://reader036.vdocumento.com/reader036/viewer/2022082811/55932c041a28ab85088b46c1/html5/thumbnails/6.jpg)
6 de 8
Ejemplos
Forma Normal Disyuntiva Una fórmula de lógica
proposicional está en forma normal disyuntiva si
Es una literal; Una conjunción de
literales; Una disyunción de
conjunciones de literales;
(P & Q) Sí
(P & ~Q) Sí
((P & Q) v ~R) Sí
(((P & Q) & ~R) v (R & ~S)) Sí
(P & (Q v R)) No
~(P v Q) No
(P v ~(Q & R)) No
![Page 7: 28 formas normales](https://reader036.vdocumento.com/reader036/viewer/2022082811/55932c041a28ab85088b46c1/html5/thumbnails/7.jpg)
7 de 8
Forma normal conjuntiva
Forma Normal ConjuntivaUna fórmula de lógica proposicional está en
forma normal conjuntiva si Es una literal; Una disyunción de literales; Una conjunción de disyunciones de literales;
![Page 8: 28 formas normales](https://reader036.vdocumento.com/reader036/viewer/2022082811/55932c041a28ab85088b46c1/html5/thumbnails/8.jpg)
8 de 8
Ejercicio
Expresar todas las funciones lógicas de dos argumentos en forma normal disyuntiva
P Q F01 F02 F03 F04 F05 F06 F07 F08 F09 F10 F11 F12 F13 F14 F15 F160 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 00 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 01 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 01 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0