Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
| Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. (вересень 2019) |
| Цю статтю треба для відповідності Вікіпедії. (листопад 2012) |
| Ця стаття не містить . (листопад 2012) |
Вільна Булева алгебра — це розділ математики, який є Булевою алгеброю, в якій множина B (носій) має підмножину, чиї елементи називаються генераторами:
- Кожен елемент B, який не є генератором, можна виразити у вигляді кінцевої комбінації генераторів, використовуючи елементи F, які є операціями;
- Генератори максимально незалежні, тобто між ними немає зв’язків (в термінах кінцевих виразів із використанням булевих операцій), які не виконуються в кожній булевій алгебрі, незалежно від того, які елементи вибрано.
Простий приклад
Генератори у вільній Булевій алгебрі можуть представляти незалежні судження. Розгляньмо, наприклад, міркування "Джон високий", і "Мері багата". Вони генерують Булеву алгебру з чотирма атомами, а саме:
- Джон високий, і Мері багата;
- Джон високий, і Мері не багата;
- Джон не високий, і Мері багата;
- Джон не високий, і Мері не багата.
Тоді інші елементи Булевої алгебри є логічними диз'юнкціями атомів, таких як "Джон високий, і Мері не багата, або Джон не високий, і Мері багата". Крім того, є ще один елемент, FALSE, який може вважатися порожньою диз'юнкцією; тобто диз'юнкцією без атомів.
Категорійно-теоретичне визначення
Топологічна реалізація
Див. також
Посилання
В іншому мовному розділі є повніша стаття Free Boolean algebra(англ.). Ви можете допомогти, розширивши поточну статтю за допомогою з англійської.
|
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Cya stattya mistit pravopisni leksichni gramatichni stilistichni abo inshi movni pomilki yaki treba vipraviti Vi mozhete dopomogti vdoskonaliti cyu stattyu pogodivshi yiyi iz chinnimi movnimi standartami veresen 2019 Cyu stattyu treba vikifikuvati dlya vidpovidnosti standartam yakosti Vikipediyi Bud laska dopomozhit dodavannyam dorechnih vnutrishnih posilan abo vdoskonalennyam rozmitki statti listopad 2012 Cya stattya ne mistit posilan na dzherela Vi mozhete dopomogti polipshiti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Material bez dzherel mozhe buti piddano sumnivu ta vilucheno listopad 2012 Vilna Buleva algebra ce rozdil matematiki yakij ye Bulevoyu algebroyu v yakij mnozhina B nosij maye pidmnozhinu chiyi elementi nazivayutsya generatorami Kozhen element B yakij ne ye generatorom mozhna viraziti u viglyadi kincevoyi kombinaciyi generatoriv vikoristovuyuchi elementi F yaki ye operaciyami Generatori maksimalno nezalezhni tobto mizh nimi nemaye zv yazkiv v terminah kincevih viraziv iz vikoristannyam bulevih operacij yaki ne vikonuyutsya v kozhnij bulevij algebri nezalezhno vid togo yaki elementi vibrano Prostij prikladGeneratori u vilnij Bulevij algebri mozhut predstavlyati nezalezhni sudzhennya Rozglyanmo napriklad mirkuvannya Dzhon visokij i Meri bagata Voni generuyut Bulevu algebru z chotirma atomami a same Dzhon visokij i Meri bagata Dzhon visokij i Meri ne bagata Dzhon ne visokij i Meri bagata Dzhon ne visokij i Meri ne bagata Todi inshi elementi Bulevoyi algebri ye logichnimi diz yunkciyami atomiv takih yak Dzhon visokij i Meri ne bagata abo Dzhon ne visokij i Meri bagata Krim togo ye she odin element FALSE yakij mozhe vvazhatisya porozhnoyu diz yunkciyeyu tobto diz yunkciyeyu bez atomiv Kategorijno teoretichne viznachennyaTopologichna realizaciyaDiv takozhPosilannyaV inshomu movnomu rozdili ye povnisha stattya Free Boolean algebra angl Vi mozhete dopomogti rozshirivshi potochnu stattyu za dopomogoyu perekladu z anglijskoyi Divitis avtoperekladenu versiyu statti z movi anglijska Perekladach povinen rozumiti sho vidpovidalnist za kincevij vmist statti u Vikipediyi nese same avtor redaguvan Onlajn pereklad nadayetsya lishe yak korisnij instrument pereglyadu vmistu zrozumiloyu movoyu Ne vikoristovujte nevichitanij i nevidkorigovanij mashinnij pereklad u stattyah ukrayinskoyi Vikipediyi Mashinnij pereklad Google ye korisnoyu vidpravnoyu tochkoyu dlya perekladu ale perekladacham neobhidno vipravlyati pomilki ta pidtverdzhuvati tochnist perekladu a ne prosto skopiyuvati mashinnij pereklad do ukrayinskoyi Vikipediyi Ne perekladajte tekst yakij vidayetsya nedostovirnim abo neyakisnim Yaksho mozhlivo perevirte tekst za posilannyami podanimi v inshomovnij statti Dokladni rekomendaciyi div Vikipediya Pereklad