Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- [[Файл:Hasse diagram of powerset of 3.svg|thumb|right|250px|Булева алгебра утворена <br />підмножинами множини {x,y,z}]] ...тематична логіка|математичній логіці]] замість неї вживають термін «Булева алгебра»}} ...9 КБ (447 слів) - 15:14, 21 червня 2024
- '''Булева алгебра з двома елементами''' — [[булева алгебра]] на [[булева множина|булевій множині]]. Використовується в [[бінарна логіка|бінарній лог ...ція [[арність|арності]] ''n'' це функція <math>\ B^n \to B</math>. Булева алгебра складається з двох [[бінарна операція|бінарних операцій]] і [[унарна операц ...3 КБ (170 слів) - 11:07, 21 липня 2022
Збіги в текстах сторінок
- '''Булева алгебра з двома елементами''' — [[булева алгебра]] на [[булева множина|булевій множині]]. Використовується в [[бінарна логіка|бінарній лог ...ція [[арність|арності]] ''n'' це функція <math>\ B^n \to B</math>. Булева алгебра складається з двох [[бінарна операція|бінарних операцій]] і [[унарна операц ...3 КБ (170 слів) - 11:07, 21 липня 2022
- ...стоун|Маршала Стоуна]] від [[1936]] року, стверджує, що довільна [[булева алгебра]] є [[ізоморфізм (математика)|ізоморфною]] [[поле множин|полю множин]]. Тео Довільна [[булева алгебра]] ''B'' має асоційований [[топологічний простір]], позначається ''S''(''B'' ...3 КБ (39 слів) - 10:39, 15 січня 2023
- '''Булеве кільце''' — [[кільце (алгебра)|кільце]] з одиницею, всі елементи якого є [[ідемпотентний елемент|ідемпоте ...улеві кільця є [[комутативність|комутативними]] кільцями [[характеристика (алгебра)|характеристики]] 2, оскільки ''x'' + ''x'' = 0. ...3 КБ (59 слів) - 11:47, 30 липня 2024
- == Булева алгебра == ...2 КБ (100 слів) - 20:22, 1 липня 2024
- == Булева алгебра == {{Докладніше|Булева алгебра}} ...3 КБ (146 слів) - 20:18, 1 липня 2024
- У [[Класична логіка|класичній логіці]], і, зокрема, в [[Булева алгебра|булевій алгебрі]], операції OR і AND також задовольняють решітки аксіом, в * [[Алгебра множин]] ...3 КБ (86 слів) - 18:44, 6 липня 2023
- [[Файл:Hasse diagram of powerset of 3.svg|thumb|right|250px|Булева алгебра утворена <br />підмножинами множини {x,y,z}]] ...тематична логіка|математичній логіці]] замість неї вживають термін «Булева алгебра»}} ...9 КБ (447 слів) - 15:14, 21 червня 2024
- ...начна логіка]] з трьома значеннями, є найпростішим розширенням звичайної [[Алгебра логіки|бінарної логіки]], тобто, крім значень TRUE, FALSE існує ще третє зн : тому не є [[булева алгебра|булевою алгеброю]]. Хоча для них виконуються [[закони де Моргана]]. ...4 КБ (213 слів) - 13:38, 4 лютого 2025
- ...бра Гейтінга''' — [[ґратка (порядок)|ґратка]], що узагальнює [[Булева алгебра (структура)|Булеву алгебру]], названа на честь [[Аренд Гейтінг|Аренда Гейті Алгебра Гейтінга ''H'' — [[обмежена ґратка]] (тобто існують 0 та 1), така що д ...4 КБ (143 слова) - 15:04, 21 червня 2024
- [[Категорія:Булева алгебра]] ...1 КБ (24 слова) - 11:14, 16 лютого 2023
- ...ально, кон'юктивний одночлен ''P'' в сумі добутків є '''імплікантою''' в [[булева функція|булевій функції]] ''F''. *''F'' - [[булева функція]] з ''N'' змінних. ...5 КБ (186 слів) - 18:11, 18 травня 2022
- Дана [[алгебраїчна структура]] не є [[кільце (алгебра)|алгебраїчним кільцем]], а є [[дистрибутивна ґратка|дистрибутивною ґраткою] ...ої різниці]] множин (при даному визначенні '''кільце множин''' є [[кільце (алгебра)|алгебраїчним кільцем]]): ...5 КБ (173 слова) - 07:30, 14 березня 2022
- '''Досконалою кон’юнктивною нормальною формою (ДКНФ)''' [[Булева функція|булевої функції]] називається [[кон’юнкція]] тих [[макстерм|констит ...ж по аналогії з [[Досконала диз'юнктивна нормальна форма|ДДНФ]], будь-яка булева функція має одну ДКНФ (кількість її членів дорівнює кількості нульових знач ...4 КБ (227 слів) - 17:22, 22 липня 2022
- ! width="33%" | [[Файл:Xy icon.svg|32px|left|Алгебра]] '''[[Алгебра]]''' :[[Група (математика)|Група]] · [[Кільце (алгебра)|Кільце]] · [[Поле (алгебра)|Поле]] ...5 КБ (135 слів) - 05:38, 15 червня 2022
- ...<math>({\rm Clop}(X),\cup,\cap,{}^\prime,\varnothing,X)</math> є [[Булева алгебра|булевою алгеброю]]. ...ма Стоуна про представлення булевих алгебр]] стверджує, що довільна булева алгебра ізоморфна з алгебрі відкрито-замкнутих підмножин деякого топологічного прос ...5 КБ (127 слів) - 16:18, 31 січня 2022
- Для [[булева функція|булевої функції]] з <math>n</math> змінних (<math>{x_1,\dots,x_n}</ * [[булева алгебра]] ...4 КБ (168 слів) - 15:05, 31 березня 2024
- ...м|булеві алгебри з діленням]], [[алгебра Гейтінга|алгебри Гейтінга]], [[MV-алгебра|MV-алгебри]]. ...5 КБ (212 слів) - 19:33, 3 серпня 2022
- {{unibox}}'''Булева множина''' — в [[математика|математиці]], [[множина]] з двома елементами, щ ...ебраїчна структура|алгебраїчною структурою]] на булевій множині є [[булева алгебра з двома елементами]]. ...5 КБ (507 слів) - 19:23, 12 листопада 2024
- '''Алгебра множин''' в [[теорія множин|теорії множин]] — непорожня [[Множина|сист * За означенням, якщо алгебра містить множину <math>A</math>, вона містить і її доповнення. Об'єднанням < ...7 КБ (180 слів) - 20:45, 2 лютого 2023
- Імплікація як булева функція хибна лише тоді, коли посилка істинна, а наслідок хибний. Інакше ка == Булева логіка == ...7 КБ (252 слова) - 02:25, 8 лютого 2025