Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Disjunctive_normal_form> ?p ?o }
Showing triples 1 to 80 of
80
with 100 triples per page.
- Disjunctive_normal_form abstract "In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses; it can also be described as an OR of ANDs, a sum of products, or (in philosophical logic) a cluster concept. As a normal form, it is useful in automated theorem proving.".
- Disjunctive_normal_form wikiPageID "73341".
- Disjunctive_normal_form wikiPageLength "4168".
- Disjunctive_normal_form wikiPageOutDegree "34".
- Disjunctive_normal_form wikiPageRevisionID "705239105".
- Disjunctive_normal_form wikiPageWikiLink Algebraic_normal_form.
- Disjunctive_normal_form wikiPageWikiLink Analysis_of_algorithms.
- Disjunctive_normal_form wikiPageWikiLink Automated_theorem_proving.
- Disjunctive_normal_form wikiPageWikiLink Boolean-valued_function.
- Disjunctive_normal_form wikiPageWikiLink Boolean_algebra.
- Disjunctive_normal_form wikiPageWikiLink Boolean_function.
- Disjunctive_normal_form wikiPageWikiLink Canonical_normal_form.
- Disjunctive_normal_form wikiPageWikiLink Category:Normal_forms_(logic).
- Disjunctive_normal_form wikiPageWikiLink Clause_(logic).
- Disjunctive_normal_form wikiPageWikiLink Conjunctive_normal_form.
- Disjunctive_normal_form wikiPageWikiLink De_Morgans_laws.
- Disjunctive_normal_form wikiPageWikiLink Distributive_property.
- Disjunctive_normal_form wikiPageWikiLink Double_negation.
- Disjunctive_normal_form wikiPageWikiLink Formal_grammar.
- Disjunctive_normal_form wikiPageWikiLink Horn_clause.
- Disjunctive_normal_form wikiPageWikiLink If_and_only_if.
- Disjunctive_normal_form wikiPageWikiLink Karnaugh_map.
- Disjunctive_normal_form wikiPageWikiLink Literal_(mathematical_logic).
- Disjunctive_normal_form wikiPageWikiLink Logical_conjunction.
- Disjunctive_normal_form wikiPageWikiLink Logical_disjunction.
- Disjunctive_normal_form wikiPageWikiLink Logical_equivalence.
- Disjunctive_normal_form wikiPageWikiLink Logical_graph.
- Disjunctive_normal_form wikiPageWikiLink NP-completeness.
- Disjunctive_normal_form wikiPageWikiLink Negation.
- Disjunctive_normal_form wikiPageWikiLink Normal_form_(abstract_rewriting).
- Disjunctive_normal_form wikiPageWikiLink Propositional_calculus.
- Disjunctive_normal_form wikiPageWikiLink Propositional_variable.
- Disjunctive_normal_form wikiPageWikiLink Quine–McCluskey_algorithm.
- Disjunctive_normal_form wikiPageWikiLink Truth_table.
- Disjunctive_normal_form wikiPageWikiLinkText "2-DNF".
- Disjunctive_normal_form wikiPageWikiLinkText "DNF".
- Disjunctive_normal_form wikiPageWikiLinkText "Disjunctive normal form".
- Disjunctive_normal_form wikiPageWikiLinkText "disjunctive normal form".
- Disjunctive_normal_form wikiPageWikiLinkText "disjunctive".
- Disjunctive_normal_form wikiPageWikiLinkText "product-of-sums expression".
- Disjunctive_normal_form wikiPageWikiLinkText "sum-of-product".
- Disjunctive_normal_form wikiPageWikiLinkText "sum-of-products".
- Disjunctive_normal_form id "p/d033300".
- Disjunctive_normal_form title "Disjunctive normal form".
- Disjunctive_normal_form wikiPageUsesTemplate Template:No_footnotes.
- Disjunctive_normal_form wikiPageUsesTemplate Template:Refimprove.
- Disjunctive_normal_form wikiPageUsesTemplate Template:Reflist.
- Disjunctive_normal_form wikiPageUsesTemplate Template:Rp.
- Disjunctive_normal_form wikiPageUsesTemplate Template:Springer.
- Disjunctive_normal_form subject Category:Normal_forms_(logic).
- Disjunctive_normal_form hypernym Standardization.
- Disjunctive_normal_form type Redirect.
- Disjunctive_normal_form comment "In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses; it can also be described as an OR of ANDs, a sum of products, or (in philosophical logic) a cluster concept. As a normal form, it is useful in automated theorem proving.".
- Disjunctive_normal_form label "Disjunctive normal form".
- Disjunctive_normal_form sameAs Q903789.
- Disjunctive_normal_form sameAs Forma_normal_disjuntiva.
- Disjunctive_normal_form sameAs Disjunktivní_normální_forma.
- Disjunctive_normal_form sameAs Disjunktive_Normalform.
- Disjunctive_normal_form sameAs Forma_normal_disyuntiva.
- Disjunctive_normal_form sameAs فرم_نرمال_فصلی.
- Disjunctive_normal_form sameAs Disjunktiivinen_normaalimuoto.
- Disjunctive_normal_form sameAs Forme_normale_disjonctive.
- Disjunctive_normal_form sameAs DNF.
- Disjunctive_normal_form sameAs Diszjunktív_normálforma.
- Disjunctive_normal_form sameAs Դիզյունկտիվ_նորմալ_ձև.
- Disjunctive_normal_form sameAs Forma_normale_disgiuntiva.
- Disjunctive_normal_form sameAs 選言標準形.
- Disjunctive_normal_form sameAs Дисјунктивна_нормална_форма.
- Disjunctive_normal_form sameAs Disjunctieve_normaalvorm.
- Disjunctive_normal_form sameAs Disjunktiv_normalform.
- Disjunctive_normal_form sameAs Dysjunkcyjna_postać_normalna.
- Disjunctive_normal_form sameAs Forma_normal_disjuntiva.
- Disjunctive_normal_form sameAs m.0jpw_.
- Disjunctive_normal_form sameAs Дизъюнктивная_нормальная_форма.
- Disjunctive_normal_form sameAs Normalform_(logik).
- Disjunctive_normal_form sameAs xd0x94xd0xb8xd0xb7xd1x8exd0xbdxd0xbaxd1x82xd0xb8xd0xb2xd0xbdxd0xb0_xd0xbdxd0xbexd1x80xd0xbcxd0xb0xd0xbbxd1x8cxd0xbdxd0xb0_xd1x84xd0xbexd1x80xd0xbcxd0xb0.
- Disjunctive_normal_form sameAs Q903789.
- Disjunctive_normal_form sameAs 析取范式.
- Disjunctive_normal_form wasDerivedFrom Disjunctive_normal_form?oldid=705239105.
- Disjunctive_normal_form isPrimaryTopicOf Disjunctive_normal_form.