This HTML5 document contains 55 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

Prefix	IRI
dbpedia-de	http://de.dbpedia.org/resource/
dcterms	http://purl.org/dc/terms/
dbo	http://dbpedia.org/ontology/
foaf	http://xmlns.com/foaf/0.1/
n22	http://dbpedia.org/resource/Wiktionary:
n24	https://global.dbpedia.org/id/
dbt	http://dbpedia.org/resource/Template:
dbpedia-uk	http://uk.dbpedia.org/resource/
rdfs	http://www.w3.org/2000/01/rdf-schema#
dbpedia-sr	http://sr.dbpedia.org/resource/
freebase	http://rdf.freebase.com/ns/
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-fa	http://fa.dbpedia.org/resource/
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n21	http://www.cs.ualberta.ca/~amaral/courses/329/webslides/Topic4-KarnaughMaps/
owl	http://www.w3.org/2002/07/owl#
dbpedia-it	http://it.dbpedia.org/resource/
wikipedia-en	http://en.wikipedia.org/wiki/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbp	http://dbpedia.org/property/
n14	http://web.cecs.pdx.edu/~mcnames/ECE171/Lectures/
prov	http://www.w3.org/ns/prov#
dbc	http://dbpedia.org/resource/Category:
xsdh	http://www.w3.org/2001/XMLSchema#
wikidata	http://www.wikidata.org/entity/
dbr	http://dbpedia.org/resource/

Statements

Subject Item

dbr:Implicant

rdfs:label

Імпліканта Implicação entre funções 蕴涵项 Implikant funkcji boolowskiej Implicant Primterm Implicante

rdfs:comment

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. 在布尔逻辑的積項和式中(和項積式亦可)，乘积项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)的那些質涵项——若存在只被一個質涵項覆蓋的極小項，則覆蓋該極小項的質涵項為基本質涵項。如果以卡诺图的形式来描述逻辑函数，可以发现只有一种方式可以圈选这个输入组合。 使用上面的例子，你可以轻易的看到尽管 （和其他的项）是質涵项， 和 不是。从后者，可以去除多个文字来使它成为素的： 布尔函数的所有素蕴涵项的总和叫做这个函数的完全和。 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: 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. В булевій алгебрі, імпліканта - покриття одного, або декількох мінтермів в сумі добутків (або макстермів в добутку суми) булевої функції. Формально, кон'юктивний одночлен P в сумі добутків є імплікантою в булевій функції F. Більш точно: якщо P, то F (таким чином P є імплікантою з F), F також приймає значення 1, якщо P дорівнює 1. Де: * F - булева функція з N змінних. * P - кон'юнктивний одночлен. Це означає, що по відношенню до природного порядку булевого простору. Наприклад, функція імплікується з , , , і багатьох інших, це імпліканти . 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. 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.

dcterms:subject

dbc:Boolean_algebra

dbo:wikiPageID

1156776

dbo:wikiPageRevisionID

1091529190

dbo:wikiPageWikiLink

dbr:Blake_canonical_form dbr:Karnaugh_map dbr:Quine–McCluskey_algorithm dbr:Product_term dbc:Boolean_algebra n22:implicant dbr:Petrick's_method dbr:W._V._Quine dbr:Boolean_logic dbr:Literal_(computer_programming)

dbo:wikiPageExternalLink

n14:Lecture10.html n21:sld021.htm

owl:sameAs

dbpedia-it:Implicante dbpedia-pt:Implicação_entre_funções dbpedia-zh:蕴涵项 dbpedia-fa:ایجاب‌کننده dbpedia-uk:Імпліканта freebase:m.04c04c dbpedia-de:Primterm wikidata:Q1291626 dbpedia-pl:Implikant_funkcji_boolowskiej n24:KdRQ dbpedia-sr:Импликант

dbp:wikiPageUsesTemplate

dbt:Anchor dbt:Use_dmy_dates dbt:Reflist

dbp:cs1Dates

y

dbp:date

May 2019

dbo:abstract

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. 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. 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. 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. 在布尔逻辑的積項和式中(和項積式亦可)，乘积项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的结果。 布尔函数的所有素蕴涵项的总和叫做这个函数的完全和。 В булевій алгебрі, імпліканта - покриття одного, або декількох мінтермів в сумі добутків (або макстермів в добутку суми) булевої функції. Формально, кон'юктивний одночлен P в сумі добутків є імплікантою в булевій функції F. Більш точно: якщо P, то F (таким чином P є імплікантою з F), F також приймає значення 1, якщо P дорівнює 1. Де: * F - булева функція з N змінних. * P - кон'юнктивний одночлен. Це означає, що по відношенню до природного порядку булевого простору. Наприклад, функція імплікується з , , , і багатьох інших, це імпліканти . 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:

prov:wasDerivedFrom

wikipedia-en:Implicant?oldid=1091529190&ns=0

dbo:wikiPageLength

3133

foaf:isPrimaryTopicOf

wikipedia-en:Implicant