This HTML5 document contains 15 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://rdf.freebase.com/ns/m.
n6https://archive.is/20121208184549/http:/www.izyt.com/BooleanLogic/applet.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://es.wikipedia.org/wiki/Forma_normal_disyuntiva?oldid=126150886&ns=
dbrhttp://dbpedia.org/resource/
Subject Item
wikipedia-es:Forma_normal_disyuntiva
foaf:primaryTopic
dbpedia-es:Forma_normal_disyuntiva
Subject Item
dbpedia-es:Forma_normal_disyuntiva
rdfs:label
Forma normal disyuntiva
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).
owl:sameAs
n12:0jpw_
dct:subject
category-es:Formas_normales
foaf:isPrimaryTopicOf
wikipedia-es:Forma_normal_disyuntiva
prop-es:id
p/d033300
prop-es:title
Disjunctive normal form
dbo:wikiPageID
4345580
dbo:wikiPageRevisionID
126150886
dbo:wikiPageExternalLink
n6:php
dbo:wikiPageLength
3452
prov:wasDerivedFrom
n14:0
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).
Subject Item
dbr:Disjunctive_normal_form
owl:sameAs
dbpedia-es:Forma_normal_disyuntiva