| http://dbpedia.org/ontology/abstract
|
Eine aussagenlogische Formel ist die kanon … 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.ische Formeln identisch und eindeutig ist.
, يوجد شكلان عأديان للجبر المنطقي: 1.
* مجموع المضاريب: 2.
* مضروب المجاميع:
, La forma canonica, o forma normale di una … 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à:ili A,B,C: Usando la tabella della verità:
, Na álgebra Booleana, qualquer função Boole … 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.ral e, principalmente, circuitos digitais.
, 布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。
, En àlgebra booleana, es coneix com a terme … 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. com a conjunció lògica (AND) de maxterms.
, En Álgebra booleana, se conoce como términ … 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.o una conjunción lógica (AND) de maxterms.
, In Boolean algebra, any Boolean function c … 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.eneral and digital circuits in particular.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html +
|
| http://dbpedia.org/ontology/wikiPageID
|
794841
|
| http://dbpedia.org/ontology/wikiPageLength
|
25235
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1110708861
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Logical_OR +
, http://dbpedia.org/resource/Logical_disjunction +
, http://dbpedia.org/resource/Truth_table +
, http://dbpedia.org/resource/List_of_Boolean_algebra_topics +
, http://dbpedia.org/resource/Category:Articles_with_example_code +
, http://dbpedia.org/resource/Boolean_function +
, http://dbpedia.org/resource/Category:Boolean_algebra +
, http://dbpedia.org/resource/Conjunctive_normal_form +
, http://dbpedia.org/resource/Blake_canonical_form +
, http://dbpedia.org/resource/Apollo_Guidance_Computer +
, http://dbpedia.org/resource/Category:Logic +
, http://dbpedia.org/resource/De_Morgan%27s_laws +
, http://dbpedia.org/resource/Logical_AND +
, http://dbpedia.org/resource/De_Morgan_dual +
, http://dbpedia.org/resource/Disjunctive_normal_form +
, http://dbpedia.org/resource/Category:Algebraic_logic +
, http://dbpedia.org/resource/De_Morgan%27s_law +
, http://dbpedia.org/resource/Boolean_algebra_%28logic%29 +
, http://dbpedia.org/resource/Algebraic_normal_form +
, http://dbpedia.org/resource/Canonical_form +
, http://dbpedia.org/resource/Karnaugh_map +
, http://dbpedia.org/resource/Product_term +
, http://dbpedia.org/resource/Logical_conjunction +
|
| http://dbpedia.org/property/cs1Dates
|
y
|
| http://dbpedia.org/property/date
|
April 2020
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Mvar +
, http://dbpedia.org/resource/Template:Multiple_issues +
, http://dbpedia.org/resource/Template:Tone +
, http://dbpedia.org/resource/Template:Anchor +
, http://dbpedia.org/resource/Template:Page_needed +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Cite_journal +
, http://dbpedia.org/resource/Template:Wikibooks +
, http://dbpedia.org/resource/Template:Digital_systems +
, http://dbpedia.org/resource/Template:Refimprove +
, http://dbpedia.org/resource/Template:Reflist +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Logic +
, http://dbpedia.org/resource/Category:Algebraic_logic +
, http://dbpedia.org/resource/Category:Boolean_algebra +
, http://dbpedia.org/resource/Category:Articles_with_example_code +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Canonical_normal_form?oldid=1110708861&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Canonical_normal_form +
|
| owl:sameAs |
http://ca.dbpedia.org/resource/Forma_can%C3%B2nica_%28%C3%A0lgebra_de_Boole%29 +
, http://uk.dbpedia.org/resource/%D0%9A%D0%B0%D0%BD%D0%BE%D0%BD%D1%96%D1%87%D0%BD%D0%B0_%D1%84%D0%BE%D1%80%D0%BC%D0%B0_%28%D0%B1%D1%83%D0%BB%D0%B5%D0%B2%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0%29 +
, http://es.dbpedia.org/resource/Formas_can%C3%B3nicas_%28%C3%A1lgebra_de_Boole%29 +
, http://pt.dbpedia.org/resource/Forma_normal_can%C3%B4nica +
, https://global.dbpedia.org/id/2YaRU +
, http://ar.dbpedia.org/resource/%D8%A7%D9%84%D8%A3%D8%B4%D9%83%D8%A7%D9%84_%D8%A7%D9%84%D8%B9%D8%A7%D8%AF%D9%8A%D8%A9_%D9%84%D9%84%D8%AC%D8%A8%D8%B1_%D8%A7%D9%84%D9%85%D9%86%D8%B7%D9%82%D9%8A +
, http://zh.dbpedia.org/resource/%E8%A7%84%E8%8C%83%E5%BD%A2%E5%BC%8F_%28%E5%B8%83%E5%B0%94%E4%BB%A3%E6%95%B0%29 +
, http://fa.dbpedia.org/resource/%D8%B5%D9%88%D8%B1%D8%AA_%D8%A8%D9%87%D9%86%D8%AC%D8%A7%D8%B1_%D9%85%D8%AA%D8%B9%D8%A7%D8%B1%D9%81 +
, http://th.dbpedia.org/resource/%E0%B8%A3%E0%B8%B9%E0%B8%9B%E0%B9%81%E0%B8%9A%E0%B8%9A%E0%B8%9A%E0%B8%B1%E0%B8%8D%E0%B8%8D%E0%B8%B1%E0%B8%95%E0%B8%B4_%28%E0%B8%9E%E0%B8%B5%E0%B8%8A%E0%B8%84%E0%B8%93%E0%B8%B4%E0%B8%95%E0%B9%81%E0%B8%9A%E0%B8%9A%E0%B8%9A%E0%B8%B9%E0%B8%A5%29 +
, http://rdf.freebase.com/ns/m.03cmg3 +
, http://tr.dbpedia.org/resource/Temel_normal_bi%C3%A7im +
, http://de.dbpedia.org/resource/Kanonische_Normalform +
, http://sr.dbpedia.org/resource/%D0%9A%D0%B0%D0%BD%D0%BE%D0%BD%D1%81%D0%BA%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://dbpedia.org/resource/Canonical_normal_form +
, http://it.dbpedia.org/resource/Forma_canonica_%28algebra_di_Boole%29 +
, http://www.wikidata.org/entity/Q2719417 +
|
| rdfs:comment |
La forma canonica, o forma normale di una … 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à:ili A,B,C: Usando la tabella della verità:
, In Boolean algebra, any Boolean function c … 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).rm (also called Zhegalkin or Reed–Muller).
, Na álgebra Booleana, qualquer função Boole … 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).Zhegalkin ou forma normal de Reed–Muller).
, 布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。
, En Álgebra booleana, se conoce como términ … 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.ra la minimización de circuitos digitales.
, Eine aussagenlogische Formel ist die kanon … 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.ische Formeln identisch und eindeutig ist.
, En àlgebra booleana, es coneix com a terme … 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. per la minimització de circuits digitals.
, يوجد شكلان عأديان للجبر المنطقي: 1.
* مجموع المضاريب: 2.
* مضروب المجاميع:
|
| rdfs:label |
Canonical normal form
, 规范形式 (布尔代数)
, Formas canónicas (álgebra de Boole)
, Forma canonica (algebra di Boole)
, Forma normal canônica
, Канонічна форма (булева логіка)
, Kanonische Normalform
, الأشكال العادية للجبر المنطقي
, Forma canònica (àlgebra de Boole)
|
