This HTML5 document contains 88 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/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n27https://global.dbpedia.org/id/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13https://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/
dbpedia-arhttp://ar.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
dbpedia-thhttp://th.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Canonical_normal_form
rdfs:label
规范形式 (布尔代数) الأشكال العادية للجبر المنطقي Forma canonica (algebra di Boole) Канонічна форма (булева логіка) Forma canònica (àlgebra de Boole) Forma normal canônica Kanonische Normalform Formas canónicas (álgebra de Boole) Canonical normal form
rdfs:comment
布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。 Na álgebra Booleana, qualquer função Booleana pode ser colocada na forma normal canônica disjuntiva (do inglês, CDNF) ou na forma canônica de mintermos e a sua dupla forma normal canônica conjuntiva (do inglês, CCNF) ou forma canônica de maxtermos. Outras formas canônicas incluem a soma completa dos implicantes primos ou (e seu dual), e a forma normal algébrica (também chamada de forma normal de Zhegalkin ou forma normal de Reed–Muller). En àlgebra booleana, es coneix com a terme canònic d'una funció lògica a tot producte o suma a la qual apareixen totes les variables en llur forma directa o inversa. Una funció lògica que estigui composta per operadors lògics pot expressar-se en forma canònica usant els conceptes de minterm i maxterm. Totes les funcions lògiques són expressables en forma canònica, tant com en "suma de minterms" com en "producte de maxterms". Això permet una millor anàlisi per a la simplificació d'aquestes funcions, la qual cosa és de gran importància per la minimització de circuits digitals. En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa. Una Función lógica que está compuesta por puede ser expresada en forma canónica usando los conceptos de minterm y maxterm. Todas las funciones lógicas son expresables en forma canónica, tanto como una "suma de minterms" como "producto de maxterms". Esto permite un mejor análisis para la simplificación de dichas funciones, lo que es de gran importancia para la minimización de circuitos digitales. La forma canonica, o forma normale di una funzione booleana è un modello di rappresentazione di un'espressione booleana ricavabile dall'analisi della propria tabella di verità. Data una funzione booleana, esistono due tipi di forme canoniche: dove rappresenta i mintermini (indicati anche con ), cioè i prodotti fondamentali, e rappresenta il valore di uscita della funzione in corrispondenza dell'i-esima riga. Per esempio, con tre variabili A,B,C: Usando la tabella della verità: In Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF) or minterm canonical form and its dual canonical conjunctive normal form (CCNF) or maxterm canonical form. Other canonical forms include the complete sum of prime implicants or Blake canonical form (and its dual), and the algebraic normal form (also called Zhegalkin or Reed–Muller). Eine aussagenlogische Formel ist die kanonische Normalform (KNF, nicht zu verwechseln mit „Konjunktive Normalform“ (auch CNF); engl.: canonical normal form) zu einer weiteren aussagenlogischen Formel, wenn sie * eine Normalform dieser aussagenlogischen Formel ist, d. h. eine zu dieser Formel äquivalente aussagenlogische Formel, die bestimmten syntaktischen Restriktionen unterliegt und * für äquivalente aussagenlogische Formeln identisch und eindeutig ist. يوجد شكلان عأديان للجبر المنطقي: 1. * مجموع المضاريب: 2. * مضروب المجاميع:
dcterms:subject
dbc:Algebraic_logic dbc:Logic dbc:Boolean_algebra dbc:Articles_with_example_code
dbo:wikiPageID
794841
dbo:wikiPageRevisionID
1110708861
dbo:wikiPageWikiLink
dbr:List_of_Boolean_algebra_topics dbr:Apollo_Guidance_Computer dbc:Logic dbr:Canonical_form dbr:Logical_OR dbr:Boolean_algebra_(logic) dbc:Algebraic_logic dbr:Conjunctive_normal_form dbr:Blake_canonical_form dbr:Karnaugh_map dbr:De_Morgan's_law dbr:Product_term dbr:Algebraic_normal_form dbr:De_Morgan's_laws dbr:Logical_conjunction dbc:Boolean_algebra dbr:Disjunctive_normal_form dbr:Boolean_function dbr:Truth_table dbr:Logical_disjunction dbc:Articles_with_example_code dbr:De_Morgan_dual dbr:Logical_AND
dbo:wikiPageExternalLink
n13:CalcLogic.html
owl:sameAs
dbpedia-uk:Канонічна_форма_(булева_логіка) dbpedia-de:Kanonische_Normalform dbpedia-pt:Forma_normal_canônica dbpedia-es:Formas_canónicas_(álgebra_de_Boole) dbpedia-tr:Temel_normal_biçim dbpedia-ar:الأشكال_العادية_للجبر_المنطقي wikidata:Q2719417 dbpedia-fa:صورت_بهنجار_متعارف dbpedia-zh:规范形式_(布尔代数) dbpedia-sr:Канонска_нормална_форма freebase:m.03cmg3 dbpedia-ca:Forma_canònica_(àlgebra_de_Boole) dbpedia-it:Forma_canonica_(algebra_di_Boole) n27:2YaRU dbpedia-th:รูปแบบบัญญัติ_(พีชคณิตแบบบูล)
dbp:wikiPageUsesTemplate
dbt:Multiple_issues dbt:Wikibooks dbt:Digital_systems dbt:Anchor dbt:Short_description dbt:Tone dbt:Page_needed dbt:Refimprove dbt:Reflist dbt:Mvar dbt:Cite_journal dbt:Use_dmy_dates dbt:Cite_book
dbp:cs1Dates
y
dbp:date
April 2020
dbo:abstract
布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。 يوجد شكلان عأديان للجبر المنطقي: 1. * مجموع المضاريب: 2. * مضروب المجاميع: En àlgebra booleana, es coneix com a terme canònic d'una funció lògica a tot producte o suma a la qual apareixen totes les variables en llur forma directa o inversa. Una funció lògica que estigui composta per operadors lògics pot expressar-se en forma canònica usant els conceptes de minterm i maxterm. Totes les funcions lògiques són expressables en forma canònica, tant com en "suma de minterms" com en "producte de maxterms". Això permet una millor anàlisi per a la simplificació d'aquestes funcions, la qual cosa és de gran importància per la minimització de circuits digitals. Una funció booleana expressada com a disjunció lògica (OR) de minterms és coneguda com a "suma de productes", i la seva dual de De Morgan és el "producte de sumes", la qual és una funció expressada com a conjunció lògica (AND) de maxterms. La forma canonica, o forma normale di una funzione booleana è un modello di rappresentazione di un'espressione booleana ricavabile dall'analisi della propria tabella di verità. Data una funzione booleana, esistono due tipi di forme canoniche: * prima forma canonica o forma disgiuntiva, detta anche S.O.P. (sum of products, somma di prodotti), costruita come somme di prodotti fondamentali, cioè da termini che comprendono tutte le variabili della funzione, in forma vera o negata, detti mintermini, in corrispondenza dei valori di uscita della funzione uguali a 1. Essa si può scrivere in generale per n variabili: dove rappresenta i mintermini (indicati anche con ), cioè i prodotti fondamentali, e rappresenta il valore di uscita della funzione in corrispondenza dell'i-esima riga. Per esempio, con tre variabili A,B,C: * seconda forma canonica o forma congiuntiva, detta anche P.O.S. (product of sums, prodotto di somme), costruita da prodotti di somme fondamentali, cioè da termini che comprendono tutte le variabili della funzione, in forma vera o negata, detti maxtermini, in corrispondenza dei valori di uscita della funzione uguali a 0. Anch'essa si può generalizzare ad n variabili: dove rappresenta i maxtermini (indicati anche con ), cioè le somme fondamentali, ed rappresenta il valore di uscita della funzione in corrispondenza dell'i-esima riga. Per esempio, con tre variabili A,B,C: Usando la tabella della verità: Na álgebra Booleana, qualquer função Booleana pode ser colocada na forma normal canônica disjuntiva (do inglês, CDNF) ou na forma canônica de mintermos e a sua dupla forma normal canônica conjuntiva (do inglês, CCNF) ou forma canônica de maxtermos. Outras formas canônicas incluem a soma completa dos implicantes primos ou (e seu dual), e a forma normal algébrica (também chamada de forma normal de Zhegalkin ou forma normal de Reed–Muller). Mintermos são chamados de produtos, pois eles são a conjunção lógica de um conjunto de variáveis, e maxtermos são chamados de somas, porque eles são a disjunção lógica de um conjunto de variáveis. Estes conceitos estão conectados por causa de sua relação de simetria expressa pelas leis de De Morgan. A forma canônica de qualquer função Booleana pode ser expressa de duas maneiras: como uma "soma de mintermos" ou um "produto de maxtermos". O termo "Soma de Produtos" ou "SdP" é amplamente utilizado para a forma canônica que é composta por uma disjunção (OU) de mintermos. Seu "dual" de De Morgan é o "Produto de Somas" ou "PdS" para a forma canônica que é uma conjunção (E) de maxtermos. Essas formas podem ser úteis para a simplificação dessas funções, que são de grande importância na otimização de fórmulas Booleanas em geral e, principalmente, circuitos digitais. Eine aussagenlogische Formel ist die kanonische Normalform (KNF, nicht zu verwechseln mit „Konjunktive Normalform“ (auch CNF); engl.: canonical normal form) zu einer weiteren aussagenlogischen Formel, wenn sie * eine Normalform dieser aussagenlogischen Formel ist, d. h. eine zu dieser Formel äquivalente aussagenlogische Formel, die bestimmten syntaktischen Restriktionen unterliegt und * für äquivalente aussagenlogische Formeln identisch und eindeutig ist. In Boolean algebra, any Boolean function can be expressed in the canonical disjunctive normal form (CDNF) or minterm canonical form and its dual canonical conjunctive normal form (CCNF) or maxterm canonical form. Other canonical forms include the complete sum of prime implicants or Blake canonical form (and its dual), and the algebraic normal form (also called Zhegalkin or Reed–Muller). Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums because they are the logical OR of a set of variables. These concepts are dual because of their complementary-symmetry relationship as expressed by De Morgan's laws. Two dual canonical forms of any Boolean function are a "sum of minterms" and a "product of maxterms." The term "Sum of Products" (SoP or SOP) is widely used for the canonical form that is a disjunction (OR) of minterms. Its De Morgan dual is a "Product of Sums" (PoS or POS) for the canonical form that is a conjunction (AND) of maxterms. These forms can be useful for the simplification of these functions, which is of great importance in the optimization of Boolean formulas in general and digital circuits in particular. En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa. Una Función lógica que está compuesta por puede ser expresada en forma canónica usando los conceptos de minterm y maxterm. Todas las funciones lógicas son expresables en forma canónica, tanto como una "suma de minterms" como "producto de maxterms". Esto permite un mejor análisis para la simplificación de dichas funciones, lo que es de gran importancia para la minimización de circuitos digitales. Una función booleana expresada como una disyunción lógica (OR) de minterms es usualmente conocida la "suma de productos", y su Dual de Morgan es el "producto de sumas", la cual es una función expresada como una conjunción lógica (AND) de maxterms.
prov:wasDerivedFrom
wikipedia-en:Canonical_normal_form?oldid=1110708861&ns=0
dbo:wikiPageLength
25235
foaf:isPrimaryTopicOf
wikipedia-en:Canonical_normal_form