Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Blake_canonical_form> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Blake_canonical_form abstract "In Boolean logic, a formula for a Boolean function f is in Blake canonical form, also called the complete sum of prime implicants, the complete sum, or the disjunctive prime form, when it is a disjunction of all the prime implicants of f. Blake canonical form is a disjunctive normal form. The Blake canonical form is not necessarily minimal, however all the terms of a minimal sum are contained in the Blake canonical form.It was introduced in 1937 by Archie Blake, who called it the "simplified canonical form"; it was named in honor of Blake by Frank Markham Brown in 1990.Blake discussed three methods for calculating the canonical form: exhaustion of implicants, iterated consensus, and multiplication. The iterated consensus method was rediscovered by Samson and Mills, Quine, and Bing.".
- Blake_canonical_form wikiPageID "39986184".
- Blake_canonical_form wikiPageLength "2008".
- Blake_canonical_form wikiPageOutDegree "9".
- Blake_canonical_form wikiPageRevisionID "582064814".
- Blake_canonical_form wikiPageWikiLink Boolean_algebra.
- Blake_canonical_form wikiPageWikiLink Boolean_logic.
- Blake_canonical_form wikiPageWikiLink Boolean_minimization.
- Blake_canonical_form wikiPageWikiLink Category:Normal_forms_(logic).
- Blake_canonical_form wikiPageWikiLink Circuit_minimization_for_Boolean_functions.
- Blake_canonical_form wikiPageWikiLink Consensus_(boolean_algebra).
- Blake_canonical_form wikiPageWikiLink Consensus_theorem.
- Blake_canonical_form wikiPageWikiLink Disjunctive_normal_form.
- Blake_canonical_form wikiPageWikiLink Formula_(mathematical_logic).
- Blake_canonical_form wikiPageWikiLink Horn_clause.
- Blake_canonical_form wikiPageWikiLink Implicant.
- Blake_canonical_form wikiPageWikiLink Logical_disjunction.
- Blake_canonical_form wikiPageWikiLink Prime_implicant.
- Blake_canonical_form wikiPageWikiLink Well-formed_formula.
- Blake_canonical_form wikiPageWikiLinkText "Blake canonical form".
- Blake_canonical_form hasPhotoCollection Blake_canonical_form.
- Blake_canonical_form wikiPageUsesTemplate Template:Mathlogic-stub.
- Blake_canonical_form wikiPageUsesTemplate Template:Reflist.
- Blake_canonical_form subject Category:Normal_forms_(logic).
- Blake_canonical_form hypernym Disjunction.
- Blake_canonical_form comment "In Boolean logic, a formula for a Boolean function f is in Blake canonical form, also called the complete sum of prime implicants, the complete sum, or the disjunctive prime form, when it is a disjunction of all the prime implicants of f. Blake canonical form is a disjunctive normal form.".
- Blake_canonical_form label "Blake canonical form".
- Blake_canonical_form sameAs m.0wbhr2z.
- Blake_canonical_form sameAs Q16843005.
- Blake_canonical_form sameAs Q16843005.
- Blake_canonical_form wasDerivedFrom Blake_canonical_form?oldid=582064814.
- Blake_canonical_form isPrimaryTopicOf Blake_canonical_form.