| Property |
Value |
| dbo:abstract
|
- En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas. Como una forma normal, es útil en la demostración automática de teoremas. Una fórmula FND está en forma normal disyuntiva completa si cada una de sus variables aparece exactamente una vez en cada cláusula. Al igual que en forma normal conjuntiva (FNC), los únicos operadores proposicionales en FND son la conjunción, disyunción y negación. Una negación solo se puede aplicar a un literal, lo que significa que solo puede preceder a una variable proposicional. Por ejemplo, todas las siguientes fórmulas están en FND:
*
*
*
* Sin embargo, las siguientes fórmulas no están en FND:
* (la negación se aplica a una cláusula disyuntiva, no a un literal).
* (una disyunción está anidada a una conjunción). (es)
- En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas. Como una forma normal, es útil en la demostración automática de teoremas. Una fórmula FND está en forma normal disyuntiva completa si cada una de sus variables aparece exactamente una vez en cada cláusula. Al igual que en forma normal conjuntiva (FNC), los únicos operadores proposicionales en FND son la conjunción, disyunción y negación. Una negación solo se puede aplicar a un literal, lo que significa que solo puede preceder a una variable proposicional. Por ejemplo, todas las siguientes fórmulas están en FND:
*
*
*
* Sin embargo, las siguientes fórmulas no están en FND:
* (la negación se aplica a una cláusula disyuntiva, no a un literal).
* (una disyunción está anidada a una conjunción). (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:id
|
- p/d033300 (es)
- p/d033300 (es)
|
| prop-es:title
|
- Disjunctive normal form (es)
- Disjunctive normal form (es)
|
| dct:subject
| |
| rdfs:comment
|
- En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas. Como una forma normal, es útil en la demostración automática de teoremas. Una fórmula FND está en forma normal disyuntiva completa si cada una de sus variables aparece exactamente una vez en cada cláusula.
*
*
*
* Sin embargo, las siguientes fórmulas no están en FND:
* (la negación se aplica a una cláusula disyuntiva, no a un literal).
* (una disyunción está anidada a una conjunción). (es)
- En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas conjuntivas. Como una forma normal, es útil en la demostración automática de teoremas. Una fórmula FND está en forma normal disyuntiva completa si cada una de sus variables aparece exactamente una vez en cada cláusula.
*
*
*
* Sin embargo, las siguientes fórmulas no están en FND:
* (la negación se aplica a una cláusula disyuntiva, no a un literal).
* (una disyunción está anidada a una conjunción). (es)
|
| rdfs:label
|
- Forma normal disyuntiva (es)
- Forma normal disyuntiva (es)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
