viernes, 27 de noviembre de 2009

Formas Normales

Concepto de formas normales.

Es importante que unas formulas pueden reducirse a otras. Por ejemplo, la formula condicional ‘~ p v ~ q’, negación de la conjunción ‘~(p ^ ~ q)’ o la disyunción ‘~ p v q’ que son sus equivalentes.

La transformación de unas formulas en otras de origen a un verdadero calculo lógico a reglas precisas que permiten pasar de formas complicadas a formas simples. De aquí nace un nuevo procedimiento decisorio, llamado de las formas normales, cuyo carácter es sintético ya que solo se toman en cuenta las relaciones de los símbolos entre si.

Se llaman formas normales a aquellas formulas constituidas únicamente por conjunciones ‘^’, disyunciones ‘v’’ y negaciones ‘~’ que solo afectan a variables. Las formas normales son formulas moleculares compuestas por conjunciones o disyunciones básicas, cuyos elementos son variables negadas o sin negar.

Ejemplo.

a) P ^ P
b) ~ p ^ ~ q
c) p ^ ~ q ^ r
d) ~ p ^ ~ q ^ ~ r ^ ~ s

No hay comentarios:

Publicar un comentario