To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Forma normal negativa

De Wikipedia, la enciclopedia libre

En lógica proposicional, una fórmula lógica está en forma normal negativa si, de poseer negaciones, estas únicamente afectan las fórmulas atómicas, y si además los únicos conectivos existentes son {}. En lógica clásica cada fórmula puede ser representada de esta manera reemplazando implicaciones y equivalencias por sus definiciones, utilizando las Leyes de De Morgan para distribuir las negaciones dentro de cada átomo, o bien eliminando las dobles negaciones. Este proceso puede representarse utilizando las siguientes reglas:

Una fórmula en forma normal negativa puede ponerse en las formas más fuertes de forma normal conjuntiva o forma normal disyuntiva, aplicando las leyes de distributividad.

YouTube Encyclopedic

  • 1/3
    Views:
    50 699
    381 266
    26 617
  • Angulos en posicion normal o estándar
  • Distribución Normal de Probabilidades
  • Hablemos inglés - 4 - Oraciones negativas (Negative sentences)

Transcription

Ejemplos y contraejemplos

Las siguientes fórmulas están todas en forma normal negativa:

El primer ejemplo está también en forma normal conjuntiva y las dos últimas estántanto en forma normal conjuntiva como forma normal disyuntiva, pero el segundo ejemplo no se encuentra en ninguno de ellos.

Las siguientes fórmulas no están en forma normal negativa:

Sin embargo, son respectivamente equivalentes a las siguientes fórmulas en forma normal negativa:

Referencias

  • Alan J.A. Robinson and Andrei Voronkov, Handbook of Automated Reasoning 1:203ff (2001) ISBN 0444829490. (en inglés)

Enlaces externos

Esta página se editó por última vez el 7 oct 2019 a las 17:11.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.