PRESENTACION DE FORMAS NORMALES

Presentación Lógica Computacional

Publish at Scribd or explore others: School Work How-to-Guides & Manu manuals computacion

Formas Normales Conjuntivas y Complementacion

La complementación es un modo eficiente de negar una expresión, es decir el complementario de A es siempre la negación de A.

La complementación puede utilizarse para hallar la forma normal conjuntiva a partir de una tabla de verdad de cualquier función f. Primero se determina la forma normal disyuntiva de ~f y Luego se realiza la complementación.

P	Q	R	F
V	V	V	V
V	V	F	V
V	F	V	F
V	F	F	F
F	V	V	V
F	V	F	V
F	F	V	F
F	F	F	V

TABLAS DE VERDAD EN FORMAS NORMALES DISYUNTIVAS

Si una función , tal como f, esta dada pon una tabla de verdad, sabemos exactamente para que asignaciones es verdadera, por consiguiente, podemos seleccionar los términos mínimos que hacen a la función verdadera y formar la disyunción de estos términos mínimos.

P	Q	R	F
V	V	V	V
V	V	F	F
V	F	V	V
V	F	F	F
F	V	V	F
F	V	F	F
F	F	V	V
F	F	F	F

Formas normales y Manipulaciones Algebraicas

1. Eliminar todas las → y ↔.
2. Si la expresión contiene cualquier subexpresión compuesta negada, elimínela.
3. Una vez encontrada una expresión sin ninguna subexpresión compuesta negada, use las dos leyes siguientes para reducir el alcance de V.

a.) Av(B ΛC)= (AvB) Λ (AvC)
b.) (A ΛB)vC= (AvC) Λ (BvC)

Formas Normales

FORMAS NORMALES

Son formas estándar para las expresiones lógicas, existen dos tipos de formas normales, formas normales disyuntivas y formas normales conjuntivas. Conjuncion= Λ =Y Disyuncion=V=0.

FORMAS NORMALES DISYUNTIVAS

Se dice que una expresión lógica está en forma normal disyuntiva si está escrita como una disyunción, en el cual todos los términos son conjunciones de literales.

EJEMPLO:

FORMAS NORMALES CONJUNTIVAS

Se dice que una expresion logica está en forma normal conjuntiva si está escrita como una conjunción de disyunciones de literales.

EJEMPLO: