| http://dbpedia.org/ontology/abstract
|
En logique booléenne et en calcul des prop … 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).T (en particulier dans l'algorithme DPLL).
|
| http://dbpedia.org/ontology/wikiPageID
|
1401939
|
| http://dbpedia.org/ontology/wikiPageLength
|
6811
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
187375976
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Probl%C3%A8me_2-SAT +
, http://fr.dbpedia.org/resource/Probl%C3%A8me_3-SAT +
, http://fr.dbpedia.org/resource/Probl%C3%A8me_NP-complet +
, http://fr.dbpedia.org/resource/N%C3%A9gation_logique +
, http://fr.dbpedia.org/resource/Conjonction_logique +
, http://fr.dbpedia.org/resource/Lois_de_De_Morgan +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Vocabulaire_des_math%C3%A9matiques +
, http://fr.dbpedia.org/resource/Algorithme_DPLL +
, http://fr.dbpedia.org/resource/Lin%C3%A9arit%C3%A9 +
, http://fr.dbpedia.org/resource/Calcul_des_propositions +
, http://fr.dbpedia.org/resource/Clause_de_Horn +
, http://fr.dbpedia.org/resource/Formule_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Probl%C3%A8me_algorithmique +
, http://fr.dbpedia.org/resource/Clause_%28logique%29 +
, http://fr.dbpedia.org/resource/Probl%C3%A8me_SAT +
, http://fr.dbpedia.org/resource/Disjonction_logique +
, http://fr.dbpedia.org/resource/Assistant_de_preuve +
, http://fr.dbpedia.org/resource/Distributivit%C3%A9 +
, http://fr.dbpedia.org/resource/Litt%C3%A9ral_%28logique%29 +
, http://fr.dbpedia.org/resource/M%C3%A9thode_de_Quine-Mc_Cluskey +
, http://fr.dbpedia.org/resource/Croissance_exponentielle +
, http://fr.dbpedia.org/resource/%C3%89quivalence_logique +
, http://fr.dbpedia.org/resource/Transformation_de_Tseitin +
, http://fr.dbpedia.org/resource/Forme_normale_disjonctive +
, http://fr.dbpedia.org/resource/Forme_normale_n%C3%A9gative +
, http://fr.dbpedia.org/resource/Table_de_v%C3%A9rit%C3%A9 +
, http://fr.dbpedia.org/resource/Alg%C3%A8bre_de_Boole_%28logique%29 +
, http://fr.dbpedia.org/resource/Fonction_bool%C3%A9enne +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_math%C3%A9matique +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique +
|
| http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Article_g%C3%A9n%C3%A9ral +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Voir_homonymes +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Article_d%C3%A9taill%C3%A9 +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Exemple +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
|
| http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Vocabulaire_des_math%C3%A9matiques +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Logique_math%C3%A9matique +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Forme_normale_conjonctive?oldid=187375976&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Forme_normale_conjonctive +
|
| owl:sameAs |
http://zh.dbpedia.org/resource/%E5%90%88%E5%8F%96%E8%8C%83%E5%BC%8F +
, http://nl.dbpedia.org/resource/Conjunctieve_normaalvorm +
, http://www.wikidata.org/entity/Q846564 +
, http://hy.dbpedia.org/resource/%D4%BF%D5%B8%D5%B6%D5%B5%D5%B8%D6%82%D5%B6%D5%AF%D5%BF%D5%AB%D5%BE_%D5%B6%D5%B8%D6%80%D5%B4%D5%A1%D5%AC_%D5%B1%D6%87 +
, http://ca.dbpedia.org/resource/Forma_normal_conjuntiva +
, http://ko.dbpedia.org/resource/%EB%85%BC%EB%A6%AC%EA%B3%B1_%ED%91%9C%EC%A4%80%ED%98%95 +
, http://hu.dbpedia.org/resource/Konjunkt%C3%ADv_norm%C3%A1lforma +
, http://ma-graph.org/entity/16221470 +
, http://es.dbpedia.org/resource/Forma_normal_conjuntiva +
, http://uk.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%27%D1%8E%D0%BD%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B0_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%84%D0%BE%D1%80%D0%BC%D0%B0 +
, http://fa.dbpedia.org/resource/%D9%81%D8%B1%D9%85_%D9%86%D8%B1%D9%85%D8%A7%D9%84_%D8%A7%D8%B4%D8%AA%D8%B1%D8%A7%DA%A9%DB%8C +
, http://pt.dbpedia.org/resource/Forma_normal_conjuntiva +
, http://g.co/kg/m/0jpxc +
, http://he.dbpedia.org/resource/CNF +
, http://de.dbpedia.org/resource/Konjunktive_Normalform +
, http://pl.dbpedia.org/resource/Koniunkcyjna_posta%C4%87_normalna +
, http://ja.dbpedia.org/resource/%E9%80%A3%E8%A8%80%E6%A8%99%E6%BA%96%E5%BD%A2 +
, http://fr.dbpedia.org/resource/Forme_normale_conjonctive +
, http://sr.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%D1%98%D1%83%D0%BD%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B0_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B0_%D1%84%D0%BE%D1%80%D0%BC%D0%B0 +
, http://cs.dbpedia.org/resource/Konjunktivn%C3%AD_norm%C3%A1ln%C3%AD_forma +
, http://ru.dbpedia.org/resource/%D0%9A%D0%BE%D0%BD%D1%8A%D1%8E%D0%BD%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B0%D1%8F_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D0%B0 +
, http://it.dbpedia.org/resource/Forma_normale_congiuntiva +
, http://dbpedia.org/resource/Conjunctive_normal_form +
, http://sh.dbpedia.org/resource/Konjuktivna_normalna_forma +
|
| rdfs:comment |
En logique booléenne et en calcul des prop … 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).T (en particulier dans l'algorithme DPLL).
|
| rdfs:label |
Koniunkcyjna postać normalna
, Forme normale conjonctive
, 合取范式
|
| rdfs:seeAlso |
http://www.omegawiki.org/DefinedMeaning:968585 +
, https://www.britannica.com/topic/conjunctive-normal-form +
|
