| dbpprop:abstract
|
- In Boolean algebra, any Boolean function can be expressed in a canonical form using the dual concepts of minterms and maxterms. Minterms are called products because they are the AND of a set of variables, and maxterms are called sums because they are the OR of a set of variables (further definition appears in the sections headed Minterms and Maxterms below). These concepts are called duals because of their complementary-symmetry relationship as expressed by De Morgan's laws, which state that AND(x,y,z,... ) = NOR(x',y',z',... ) and OR(x,y,z,... ) = NAND(x',y',z',...). The dual canonical forms of any Boolean function are a "sum of minterms" and a "product of maxterms. " The term "Sum of Products" 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" or "PoS" for the canonical form that is a conjunction (AND) of maxterms. These forms allow for greater analysis into the simplification of these functions, which is of great importance in the minimization or other optimization of digital circuits.
- 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 operador lógico 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 és 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.
- Un mintermine è una funzione booleana che assume il valore 1 (ossia vero, asserito) in corrispondenza di un'unica configurazione di variabili d'ingresso (booleane) indipendenti. Esistono tanti termini minimi quante sono le possibili configurazioni delle variabili di ingresso: le configurazioni di n variabili di ingresso sono <math>0,1, \dots, 2^n - 1</math>, cioè il numero di mintermini corrisponde al numero di combinazioni delle n variabili d’ingresso, quindi è pari a <math>2^n</math>. I termini minimi vengono indicati con <math>m_i</math> dove l'indice <math>i</math> è associato alla configurazione in corrispondenza della quale si ha il mintermine. Il mintermine può essere definito come il prodotto logico delle n variabili booleane sia affermate che negate, la cui combinazione fornisce un livello logico alto (cioè pari a 1). Tramite i mintermini ogni funzione logica di n variabili può essere espressa tramite la somma di prodotti logici. Infatti se <math>y_i</math> sono i valori che la funzione deve assumere in corrispondenza della configurazione associata all'indice i allora: <math>y = \sum_{i=0}^{2^n-1} y_i m_i</math>
- Конъюнкти́вный одночле́н (минте́рм) от переменных <math>\textstyle X_1, X_2, ... , X_n \in \{0,1\}</math> — конъюнкция этих переменных или их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборе аргументов. Если в одночлене одновременно содержатся переменная и её отрицание, то он всегда равен 0.
- 布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。
|
| rdfs:comment
|
- In Boolean algebra, any Boolean function can be expressed in a canonical form using the dual concepts of minterms and maxterms. Minterms are called products because they are the AND of a set of variables, and maxterms are called sums because they are the OR of a set of variables (further definition appears in the sections headed Minterms and Maxterms below).
- 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 operador lógico 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".
- Un mintermine è una funzione booleana che assume il valore 1 (ossia vero, asserito) in corrispondenza di un'unica configurazione di variabili d'ingresso (booleane) indipendenti.
- Конъюнкти́вный одночле́н (минте́рм) от переменных <math>\textstyle X_1, X_2, ... , X_n \in \{0,1\}</math> — конъюнкция этих переменных или их отрицаний. Легко видеть, что минтерм принимает значение 1 при единственном из всех возможных наборе аргументов.
- 布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。
|
![[RDF Data]](/statics/sw-cube.png)
