Boole's expansion theorem
http://dbpedia.org/resource/Boole's_expansion_theorem an entity of type: WikicatTheorems
Die Shannon-Zerlegung oder Shannon-Expansion (benannt nach Claude Elwood Shannon) stellt eine Möglichkeit dar, boolesche Funktionen mithilfe ihrer sogenannten Kofaktoren darzustellen. Die mathematische Aussage über diese Zerlegung wird auch als Entwicklungssatz von Shannon bezeichnet. Obwohl der Satz nach Shannon benannt ist, der ihn erstmals 1949 verwendete, wurde er bereits etwa hundert Jahre zuvor von George Boole aufgestellt.
rdf:langString
L'expansion de Shannon est, en logique, la décomposition d'une équation booléenne selon une ou plusieurs variables principales. Elle consiste en l'identité suivante, vraie quelle que soit la fonction : où est une formule booléenne, est une variable, est la négation de , et les formules et sont obtenus à partir de en affectant à et respectivement.
rdf:langString
In elettronica digitale il teorema di Shannon è un importante teorema riguardante le funzioni booleane principalmente usato per scomporre una funzione complessa in funzioni più semplici o per ottenere un'espressione canonica da una tabella della verità o da un'espressione non canonica. Nonostante sia attribuito a Claude Shannon, il teorema è stato enunciato per primo da George Boole.
rdf:langString
В математике разложением Шеннона или декомпозицией Шеннона по переменной называется метод представления булевой функции от переменных в виде суммы двух подфункций от остальных переменных. Хотя этот метод часто приписывают Клоду Шеннону, но Буль доказал его гораздо раньше, а сама возможность такого разложения по любой из переменной непосредственно вытекает из возможности определения любой булевой функции с помощью таблицы истинности.
rdf:langString
香农展开（英語：Shannon's expansion），或称香农分解（Shannon decomposition）是对布尔函数的一种变换方式。它可以将任意布尔函数表达为其中任何一个变量乘以一个子函数，加上这个变量的反变量乘以另一个子函数。 例如： 可以抽取其中的变量 及其反变量 （ 取反），而得到 对逻辑函数使用香农展开，就可以使用抽取的变量作为一个选择信号，然后用数据选择器来实现该函数。
rdf:langString
Boole's expansion theorem, often referred to as the Shannon expansion or decomposition, is the identity: , where is any Boolean function, is a variable, is the complement of , and and are with the argument set equal to and to respectively. The terms and are sometimes called the positive and negative Shannon cofactors, respectively, of with respect to . These are functions, computed by restrict operator, and (see valuation (logic) and partial application).
rdf:langString
rdf:langString
Shannon-Zerlegung
rdf:langString
Boole's expansion theorem
rdf:langString
Teorema di Shannon (elettronica)
rdf:langString
Expansion de Shannon
rdf:langString
Разложение Шеннона
rdf:langString
香农展开
xsd:integer
2733707
xsd:integer
1121119300
rdf:langString
y
rdf:langString
May 2019
rdf:langString
Die Shannon-Zerlegung oder Shannon-Expansion (benannt nach Claude Elwood Shannon) stellt eine Möglichkeit dar, boolesche Funktionen mithilfe ihrer sogenannten Kofaktoren darzustellen. Die mathematische Aussage über diese Zerlegung wird auch als Entwicklungssatz von Shannon bezeichnet. Obwohl der Satz nach Shannon benannt ist, der ihn erstmals 1949 verwendete, wurde er bereits etwa hundert Jahre zuvor von George Boole aufgestellt.
rdf:langString
Boole's expansion theorem, often referred to as the Shannon expansion or decomposition, is the identity: , where is any Boolean function, is a variable, is the complement of , and and are with the argument set equal to and to respectively. The terms and are sometimes called the positive and negative Shannon cofactors, respectively, of with respect to . These are functions, computed by restrict operator, and (see valuation (logic) and partial application). It has been called the "fundamental theorem of Boolean algebra". Besides its theoretical importance, it paved the way for binary decision diagrams (BDDs), satisfiability solvers, and many other techniques relevant to computer engineering and formal verification of digital circuits.In such engineering contexts (especially in BDDs), the expansion is interpreted as a if-then-else, with the variable being the condition and the cofactors being the branches ( when is true and respectively when is false).
rdf:langString
L'expansion de Shannon est, en logique, la décomposition d'une équation booléenne selon une ou plusieurs variables principales. Elle consiste en l'identité suivante, vraie quelle que soit la fonction : où est une formule booléenne, est une variable, est la négation de , et les formules et sont obtenus à partir de en affectant à et respectivement.
rdf:langString
In elettronica digitale il teorema di Shannon è un importante teorema riguardante le funzioni booleane principalmente usato per scomporre una funzione complessa in funzioni più semplici o per ottenere un'espressione canonica da una tabella della verità o da un'espressione non canonica. Nonostante sia attribuito a Claude Shannon, il teorema è stato enunciato per primo da George Boole.
rdf:langString
В математике разложением Шеннона или декомпозицией Шеннона по переменной называется метод представления булевой функции от переменных в виде суммы двух подфункций от остальных переменных. Хотя этот метод часто приписывают Клоду Шеннону, но Буль доказал его гораздо раньше, а сама возможность такого разложения по любой из переменной непосредственно вытекает из возможности определения любой булевой функции с помощью таблицы истинности.
rdf:langString
香农展开（英語：Shannon's expansion），或称香农分解（Shannon decomposition）是对布尔函数的一种变换方式。它可以将任意布尔函数表达为其中任何一个变量乘以一个子函数，加上这个变量的反变量乘以另一个子函数。 例如： 可以抽取其中的变量 及其反变量 （ 取反），而得到 对逻辑函数使用香农展开，就可以使用抽取的变量作为一个选择信号，然后用数据选择器来实现该函数。
xsd:nonNegativeInteger
7884