Property |
Value |
dbo:abstract
|
- En logique mathématique, une formule est dite être en forme normale négative (abrégé FNN) si l'opérateur de la négation est appliqué uniquement aux variables, et les seuls opérateurs booléens autorisés sont la conjonction et la disjonction . La forme normale négative n'est pas une forme canonique, par exemple, et sont équivalentes, et sont toutes deux en forme normale négative. En logique classique et beaucoup de logiques modales, chaque formule peut être représentée dans cette forme, par le remplacement des implications et des équivalences par leurs définitions, en utilisant les lois de De Morgan, et en éliminant les doubles négations. Ce processus peut être représenté en utilisant les règles de réécriture suivantes (Handbook of Automated Reasoning 1, p. 204.): Une formule en forme normale négative peut être mise sous la forme normale conjonctive ou en forme normale disjonctive en appliquant la distributivité. (fr)
- En logique mathématique, une formule est dite être en forme normale négative (abrégé FNN) si l'opérateur de la négation est appliqué uniquement aux variables, et les seuls opérateurs booléens autorisés sont la conjonction et la disjonction . La forme normale négative n'est pas une forme canonique, par exemple, et sont équivalentes, et sont toutes deux en forme normale négative. En logique classique et beaucoup de logiques modales, chaque formule peut être représentée dans cette forme, par le remplacement des implications et des équivalences par leurs définitions, en utilisant les lois de De Morgan, et en éliminant les doubles négations. Ce processus peut être représenté en utilisant les règles de réécriture suivantes (Handbook of Automated Reasoning 1, p. 204.): Une formule en forme normale négative peut être mise sous la forme normale conjonctive ou en forme normale disjonctive en appliquant la distributivité. (fr)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2981 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:art
|
- Negation normal form (fr)
- Negation normal form (fr)
|
prop-fr:id
| |
prop-fr:lang
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdfs:comment
|
- En logique mathématique, une formule est dite être en forme normale négative (abrégé FNN) si l'opérateur de la négation est appliqué uniquement aux variables, et les seuls opérateurs booléens autorisés sont la conjonction et la disjonction . La forme normale négative n'est pas une forme canonique, par exemple, et sont équivalentes, et sont toutes deux en forme normale négative. Une formule en forme normale négative peut être mise sous la forme normale conjonctive ou en forme normale disjonctive en appliquant la distributivité. (fr)
- En logique mathématique, une formule est dite être en forme normale négative (abrégé FNN) si l'opérateur de la négation est appliqué uniquement aux variables, et les seuls opérateurs booléens autorisés sont la conjonction et la disjonction . La forme normale négative n'est pas une forme canonique, par exemple, et sont équivalentes, et sont toutes deux en forme normale négative. Une formule en forme normale négative peut être mise sous la forme normale conjonctive ou en forme normale disjonctive en appliquant la distributivité. (fr)
|
rdfs:label
|
- Forme normale négative (fr)
- Forme normale négative (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |