About: Disjunctive normal form

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Disjunctive normal form Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In boolean logic, a disjunctive normal form (DNF) is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; 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.

Attributes	Values
rdfs:label	Disjunctive normal form (en)
rdfs:comment	In boolean logic, a disjunctive normal form (DNF) is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; 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. (en)
sameAs	Disjunctive normal form
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cn dbt:Color dbt:Multiple dbt:No_footnotes dbt:Refimprove dbt:Reflist dbt:Rp dbt:Short_description dbt:Springer
Subject	Normal forms (logic)
thumbnail	wiki-commons:Special:FilePath/Karnaugh_map_KV_4mal4_18.svg?width=300
foaf:depiction
gold:hypernym	Standardization
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Disjunctive_normal_form?oldid=1048937265&ns=0
Wikipage page ID	73341 (xsd:integer)
page length (characters) of wiki page	6194 (xsd:nonNegativeInteger)
Wikipage revision ID	1048937265 (xsd:integer)
Link from a Wikipage to another Wikipage	Literal (mathematical logic) Logical conjunction Logical disjunction Logical equivalence NP-hardness Normal form (abstract rewriting) Propositional calculus Propositional variable Algebraic normal form Analysis of algorithms Automated theorem proving Blake canonical form Logic gate Boolean function Boolean satisfiability problem Tautology (logic) Canonical normal form Distributive property Double negation De Morgan's laws Philosophical logic Truth table Co-NP-complete Conjunctive normal form Context-free grammar Negation Quine–McCluskey algorithm Normal forms (logic)
has abstract	In boolean logic, a disjunctive normal form (DNF) is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; 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. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Disjunctive_normal_form
is Wikipage redirect of	Sum-of-products expression Disjunctive Normal Form Disjunctive normal formula Full disjunctive normal form Sum-of-product Disjunct normal form
is Link from a Wikipage to another Wikipage of	NAND logic Normal form Admissible rule Algebraic normal form Alternating finite automaton Alternating timed automaton And-inverter graph Artificial neuron Automated theorem proving Blake canonical form Boolean function Boolean model of information retrieval Boolean satisfiability problem Canonical form Canonical normal form Causal map Disjunction elimination Disjunctive Normal Form Disjunctive normal formula History of logic Clause (logic) DNF De Morgan's laws Decision list List of Boolean algebra topics Complex programmable logic device Conjunctive normal form List of Xilinx FPGAs Enumeration algorithm Incremental decision tree Index of logic articles Index of philosophy articles (D–H) Karnaugh map Descriptive complexity theory Model-based testing Full disjunctive normal form Knowledge compilation Max/min CSP/Ones classification theorems Negation normal form Disjunct normal form

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software