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

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

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n16https://www.britannica.com/topic/
dbohttp://dbpedia.org/ontology/
n27http://hy.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n25http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14http://www.omegawiki.org/DefinedMeaning:
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-srhttp://sr.dbpedia.org/resource/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n9http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n24http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Forme_normale_conjonctive
rdfs:label
Forme normale conjonctive Koniunkcyjna postać normalna 合取范式
rdfs:comment
En logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL).
rdfs:seeAlso
n14:968585 n16:conjunctive-normal-form
owl:sameAs
dbpedia-he:CNF dbpedia-uk:Кон'юнктивна_нормальна_форма dbpedia-fa:فرم_نرمال_اشتراکی dbpedia-es:Forma_normal_conjuntiva wikidata:Q846564 dbpedia-zh:合取范式 dbpedia-pt:Forma_normal_conjuntiva dbpedia-sh:Konjuktivna_normalna_forma dbr:Conjunctive_normal_form n24:16221470 n25:0jpxc dbpedia-de:Konjunktive_Normalform n27:Կոնյունկտիվ_նորմալ_ձև dbpedia-hu:Konjunktív_normálforma dbpedia-ca:Forma_normal_conjuntiva dbpedia-cs:Konjunktivní_normální_forma dbpedia-sr:Конјунктивна_нормална_форма dbpedia-ko:논리곱_표준형 dbpedia-nl:Conjunctieve_normaalvorm dbpedia-ru:Конъюнктивная_нормальная_форма dbpedia-it:Forma_normale_congiuntiva dbpedia-pl:Koniunkcyjna_postać_normalna dbpedia-ja:連言標準形
dbo:wikiPageID
1401939
dbo:wikiPageRevisionID
187375976
dbo:wikiPageWikiLink
dbpedia-fr:Distributivité dbpedia-fr:Linéarité dbpedia-fr:Calcul_des_propositions dbpedia-fr:Clause_(logique) dbpedia-fr:Table_de_vérité category-fr:Vocabulaire_des_mathématiques category-fr:Logique_mathématique category-fr:Logique dbpedia-fr:Formule_(mathématiques) dbpedia-fr:Problème_algorithmique dbpedia-fr:Littéral_(logique) dbpedia-fr:Algèbre_de_Boole_(logique) dbpedia-fr:Transformation_de_Tseitin dbpedia-fr:Problème_SAT dbpedia-fr:Assistant_de_preuve dbpedia-fr:Algorithme_DPLL dbpedia-fr:Équivalence_logique dbpedia-fr:Problème_2-SAT dbpedia-fr:Fonction_booléenne dbpedia-fr:Problème_3-SAT dbpedia-fr:Lois_de_De_Morgan dbpedia-fr:Croissance_exponentielle dbpedia-fr:Problème_NP-complet dbpedia-fr:Disjonction_logique dbpedia-fr:Méthode_de_Quine-Mc_Cluskey dbpedia-fr:Conjonction_logique dbpedia-fr:Forme_normale_disjonctive dbpedia-fr:Clause_de_Horn dbpedia-fr:Forme_normale_négative dbpedia-fr:Négation_logique
dbo:wikiPageLength
6811
dct:subject
category-fr:Logique category-fr:Logique_mathématique category-fr:Vocabulaire_des_mathématiques
prop-fr:wikiPageUsesTemplate
n9:Article_détaillé n9:Portail n9:Voir_homonymes n9:Exemple n9:Article_général
prov:wasDerivedFrom
wikipedia-fr:Forme_normale_conjonctive?oldid=187375976&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Forme_normale_conjonctive
dbo:abstract
En logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL).