In Boolean logic, the term implicant has either a generic or a particular meaning. In the generic use, it refers to the hypothesis of an implication (implicant). In the particular use, a product term (i.e., a conjunction of literals) P is an implicant of a Boolean function F, denoted , if P implies F (i.e., whenever P takes the value 1 so does F).For instance, implicants of the function include the terms , , , , as well as some others.
| Attributes | Values |
|---|
| rdfs:label
| - Primterm (de)
- Implicant (en)
- Implicante (it)
- Implikant funkcji boolowskiej (pl)
- Implicação entre funções (pt)
- 蕴涵项 (zh)
- Імпліканта (uk)
|
| rdfs:comment
| - Als Primterm oder Primimplikant einer Booleschen Funktion bezeichnet man einen Implikanten minimaler Länge, der also nicht weiter vereinfacht werden kann. Der Begriff wird bei der Minimierung von Schaltnetzen, z. B. mit KV-Diagrammen, verwendet. Er bezieht sich dann in der Regel auf Konjunktionsterme in einer Disjunktion von Konjunktionstermen bzw. Minterme in einer DNF. Unter der Länge eines booleschen Terms wird in diesem Zusammenhang die Anzahl der enthaltenen Konjunktionen und Disjunktionen verstanden, wobei innerhalb eines Konjunktionsterms dabei freilich nur Konjunktionen interessant sind. (de)
- In Boolean logic, the term implicant has either a generic or a particular meaning. In the generic use, it refers to the hypothesis of an implication (implicant). In the particular use, a product term (i.e., a conjunction of literals) P is an implicant of a Boolean function F, denoted , if P implies F (i.e., whenever P takes the value 1 so does F).For instance, implicants of the function include the terms , , , , as well as some others. (en)
- Il concetto di implicante è un concetto di base per la definizione formale delle forme canoniche legate all'algebra di Boole ed in particolare allo studio nelle reti logiche delle porte logiche. (it)
- Implikant funkcji boolowskiej f – taki iloczyn , że dla wszystkich x=(x1, ... , xn), dla których jest on równy jedności, funkcja f jest równa jedności. (pl)
- Quando funções possuem as mesmas variáveis, conclui-se que a primeira função, que chamaremos de F1, implica a segunda, F2, quando para todas as entradas em que F1 seja 1, F2 também seja. Existem três tipos de implicação entre as funções. A seguir, definiremos cada uma delas: (pt)
- В булевій алгебрі, імпліканта - покриття одного, або декількох мінтермів в сумі добутків (або макстермів в добутку суми) булевої функції. Формально, кон'юктивний одночлен P в сумі добутків є імплікантою в булевій функції F. Більш точно: якщо P, то F (таким чином P є імплікантою з F), F також приймає значення 1, якщо P дорівнює 1. Де:
* F - булева функція з N змінних.
* P - кон'юнктивний одночлен. Це означає, що по відношенню до природного порядку булевого простору. Наприклад, функція імплікується з , , , і багатьох інших, це імпліканти . (uk)
- 在布尔逻辑的積項和式中(和項積式亦可)，乘积项P 是布尔函数 F 的涵项（英語：implicant），如果 P 蕴涵 F。更加准确的说：
* F 是 n 个变量的布尔函数。
* P 是乘积项。
* 若对于使 P 得到值 1 的所有组合，F 也等于 1，則 P 蕴涵 F (P 是 F 的涵項)。 这意味着在布尔空间的自然次序上 P⇒F。比如，函数 蕴涵自 ，，， 和很多其他的项: 它们是 的涵项。 威拉德·冯·奥曼·蒯因定义： 1.
* F 的質涵项（prime implicant）为最少化文字數量的涵项——就是说，如果从 P 去除任何“文字”（literal）都导致 P 成為 F 的非涵项。例如100和101是某逻辑函数的两个涵项，那么10x就是函数的一个質涵项，其中的1和0两个数字不可再去掉； 2.
* 基本質涵项（essential prime implicant）为蘊涵於不满足任何其他質涵项的極小項(minterm)的那些質涵项——若存在只被一個質涵項覆蓋的極小項，則覆蓋該極小項的質涵項為基本質涵項。如果以卡诺图的形式来描述逻辑函数，可以发现只有一种方式可以圈选这个输入组合。 使用上面的例子，你可以轻易的看到尽管 （和其他的项）是質涵项， 和 不是。从后者，可以去除多个文字来使它成为素的： 布尔函数的所有素蕴涵项的总和叫做这个函数的完全和。 (zh)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| cs1-dates
| |
| date
| |
| has abstract
| - Als Primterm oder Primimplikant einer Booleschen Funktion bezeichnet man einen Implikanten minimaler Länge, der also nicht weiter vereinfacht werden kann. Der Begriff wird bei der Minimierung von Schaltnetzen, z. B. mit KV-Diagrammen, verwendet. Er bezieht sich dann in der Regel auf Konjunktionsterme in einer Disjunktion von Konjunktionstermen bzw. Minterme in einer DNF. Unter der Länge eines booleschen Terms wird in diesem Zusammenhang die Anzahl der enthaltenen Konjunktionen und Disjunktionen verstanden, wobei innerhalb eines Konjunktionsterms dabei freilich nur Konjunktionen interessant sind. (de)
- In Boolean logic, the term implicant has either a generic or a particular meaning. In the generic use, it refers to the hypothesis of an implication (implicant). In the particular use, a product term (i.e., a conjunction of literals) P is an implicant of a Boolean function F, denoted , if P implies F (i.e., whenever P takes the value 1 so does F).For instance, implicants of the function include the terms , , , , as well as some others. (en)
- Il concetto di implicante è un concetto di base per la definizione formale delle forme canoniche legate all'algebra di Boole ed in particolare allo studio nelle reti logiche delle porte logiche. (it)
- Implikant funkcji boolowskiej f – taki iloczyn , że dla wszystkich x=(x1, ... , xn), dla których jest on równy jedności, funkcja f jest równa jedności. (pl)
- Quando funções possuem as mesmas variáveis, conclui-se que a primeira função, que chamaremos de F1, implica a segunda, F2, quando para todas as entradas em que F1 seja 1, F2 também seja. Existem três tipos de implicação entre as funções. A seguir, definiremos cada uma delas: (pt)
- 在布尔逻辑的積項和式中(和項積式亦可)，乘积项P 是布尔函数 F 的涵项（英語：implicant），如果 P 蕴涵 F。更加准确的说：
* F 是 n 个变量的布尔函数。
* P 是乘积项。
* 若对于使 P 得到值 1 的所有组合，F 也等于 1，則 P 蕴涵 F (P 是 F 的涵項)。 这意味着在布尔空间的自然次序上 P⇒F。比如，函数 蕴涵自 ，，， 和很多其他的项: 它们是 的涵项。 威拉德·冯·奥曼·蒯因定义： 1.
* F 的質涵项（prime implicant）为最少化文字數量的涵项——就是说，如果从 P 去除任何“文字”（literal）都导致 P 成為 F 的非涵项。例如100和101是某逻辑函数的两个涵项，那么10x就是函数的一个質涵项，其中的1和0两个数字不可再去掉； 2.
* 基本質涵项（essential prime implicant）为蘊涵於不满足任何其他質涵项的極小項(minterm)的那些質涵项——若存在只被一個質涵項覆蓋的極小項，則覆蓋該極小項的質涵項為基本質涵項。如果以卡诺图的形式来描述逻辑函数，可以发现只有一种方式可以圈选这个输入组合。 使用上面的例子，你可以轻易的看到尽管 （和其他的项）是質涵项， 和 不是。从后者，可以去除多个文字来使它成为素的：
* 、 和 可以去除，生成 。
* 可作为选择的， 和 可以去除，生成 。
* 最后， 和 可以被去除，生成 。 将布尔项中文字去除的过程叫做'对这个项的扩展'。扩展一个文字將倍增使这个项为“真”的输入组合的数目(在二元布尔代数中)。 如上例中，将xyz扩展为xy或yz不影响f的结果。 布尔函数的所有素蕴涵项的总和叫做这个函数的完全和。 (zh)
- В булевій алгебрі, імпліканта - покриття одного, або декількох мінтермів в сумі добутків (або макстермів в добутку суми) булевої функції. Формально, кон'юктивний одночлен P в сумі добутків є імплікантою в булевій функції F. Більш точно: якщо P, то F (таким чином P є імплікантою з F), F також приймає значення 1, якщо P дорівнює 1. Де:
* F - булева функція з N змінних.
* P - кон'юнктивний одночлен. Це означає, що по відношенню до природного порядку булевого простору. Наприклад, функція імплікується з , , , і багатьох інших, це імпліканти . (uk)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is foaf:primaryTopic
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)