| dbo:abstract
|
- In mathematics, a free Boolean algebra is a Boolean algebra with a distinguished set of elements, called generators, such that: 1.
* Each element of the Boolean algebra can be expressed as a finite combination of generators, using the Boolean operations, and 2.
* The generators are as independent as possible, in the sense that there are no relationships among them (again in terms of finite expressions using the Boolean operations) that do not hold in every Boolean algebra no matter which elements are chosen. (en)
- 在数学分支抽象代数中，自由布尔代数是布尔代数 <B,F>，使得集合 B (叫做“载体”)有其中元素叫做生成元的子集。生成元满足下列性质:
* 不是生成元的每个 B 的元素都可被表达为生成元的使用 F 的元素的有限组合，F 是运算的集合；
* 生成元尽可能的独立，因为对从生成元使用 F 中运算形成的有限项成立的任何等式，也要对于所有可能的布尔代数的所有元素成立。 (zh)
- Вільна Булева алгебра — це розділ математики, який є Булевою алгеброю, в якій множина B (носій) має підмножину, чиї елементи називаються генераторами:
* Кожен елемент B, який не є генератором, можна виразити у вигляді кінцевої комбінації генераторів, використовуючи елементи F, які є операціями;
* Генератори максимально незалежні, тобто між ними немає зв’язків (в термінах кінцевих виразів із використанням булевих операцій), які не виконуються в кожній булевій алгебрі, незалежно від того, які елементи вибрано. (uk)
|
| dbo:thumbnail
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7428 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- In mathematics, a free Boolean algebra is a Boolean algebra with a distinguished set of elements, called generators, such that: 1.
* Each element of the Boolean algebra can be expressed as a finite combination of generators, using the Boolean operations, and 2.
* The generators are as independent as possible, in the sense that there are no relationships among them (again in terms of finite expressions using the Boolean operations) that do not hold in every Boolean algebra no matter which elements are chosen. (en)
- 在数学分支抽象代数中，自由布尔代数是布尔代数 <B,F>，使得集合 B (叫做“载体”)有其中元素叫做生成元的子集。生成元满足下列性质:
* 不是生成元的每个 B 的元素都可被表达为生成元的使用 F 的元素的有限组合，F 是运算的集合；
* 生成元尽可能的独立，因为对从生成元使用 F 中运算形成的有限项成立的任何等式，也要对于所有可能的布尔代数的所有元素成立。 (zh)
- Вільна Булева алгебра — це розділ математики, який є Булевою алгеброю, в якій множина B (носій) має підмножину, чиї елементи називаються генераторами:
* Кожен елемент B, який не є генератором, можна виразити у вигляді кінцевої комбінації генераторів, використовуючи елементи F, які є операціями;
* Генератори максимально незалежні, тобто між ними немає зв’язків (в термінах кінцевих виразів із використанням булевих операцій), які не виконуються в кожній булевій алгебрі, незалежно від того, які елементи вибрано. (uk)
|
| rdfs:label
|
- Free Boolean algebra (en)
- 自由布尔代数 (zh)
- Вільна булева алгебра (uk)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
