Мінтерм Індексація мінтермів | Функціональна еквівалентність | Див. також | Навігаційне меню

Математична логіка


булевої функціїїкон'юнкціязміннихкортежівіндексдвійковому кодуваннюістиннимфункціїсумибітів




Для булевої функціїї з ndisplaystyle n змінних (x1,…,xndisplaystyle x_1,dots ,x_n), елементарна кон'юнкція, в якій кожна з ndisplaystyle n змінних набуває значення одиниці лише на одному з кортежів своїх змінних називається
мінтермом (конституентою одиниці). Отже, мінтерм це логічний вираз, який використовує лише операцію доповнення та операцію кон'юнкції. Кількість різних мінтермів дорівнює кількості кортежів змінних, тобто 2n для n змінних.
Наприклад, abcdisplaystyle abc, ab′cdisplaystyle ab'c і abc′displaystyle abc' — три з восьми мінтермів для булевої функції з восьми змінних(a,b i c). Читаються ці вирази як «a і b і c», «a і не b і c „ a і b і не c“ відповідно.



Індексація мінтермів |


Кожний мінтерм має свій індекс, заснований на двійковому кодуванню(індекс показує скільки бітів (одиниць) було додано до мінтерму). Значення 1 присвоюється змінній (xidisplaystyle x_i), відповідно 0 присвоюється змінній(xi′displaystyle x'_i). Щоб краще це зрозуміти розглянемо кілька прикладів. Мінтерму abc′displaystyle abc' (110) присвоюють індекс 6 m6displaystyle m_6 (до нього було додано шість одиниць), m0displaystyle m_0 з тих самих трьох змінних означає a′b′c′displaystyle a'b'c' (000), а m7displaystyle m_7 — abcdisplaystyle abc (111).



Функціональна еквівалентність |


Очевидно, що мінтерм n дає істинне значення (наприклад,1) тільки для однієї комбінації вхідних змінних. Наприклад,m5displaystyle m_5 (ab′cdisplaystyle ab'c) є істинним лише коли adisplaystyle a і cdisplaystyle c є істинним, а b′displaystyle b' — хибним, тобто adisplaystyle a і cdisplaystyle c дорівнюють 1, а bdisplaystyle b=0.


Побудуємо таблицю істинності для деяких трьох змінних та функції суми бітів(sum), вона буде виглядати так:






































a
b
c
sum(a, b,c)
0000
0011
0101
0110
1001
1010
1100
1111

Тепер запишемо мінтерми цієї функції(ті кортежі змінних, де функція набуває істинного значення). Такими будуть m1,m2,m4,displaystyle m_1,m_2,m_4, та m7displaystyle m_7. Тоді функцію sum(a,b,c)displaystyle sum(a,b,c) ми можемо представити у вигляді чотирьох мінтермів: sum(a,b,c)=m1+m2+m4+m7=(a′b′c)+(a′bc′)+(ab′c′)+(abc)displaystyle sum(a,b,c)=m_1+m_2+m_4+m_7=(a'b'c)+(a'bc')+(ab'c')+(abc).



Див. також |


  • булева алгебра

  • булева функція

  • біт

  • логічні операції

  • функція

  • таблиця істинності

  • кортеж

  • двійкова система числення


Popular posts from this blog

Лель (журнал) Зміст Історія | Редакція | Автори і рубрики | Інтерв'ю, статті, рецензії | Див. також | Посилання | Навігаційне менюперевірена1 змінаСергій Чирков: «Плейбой» і «Пентхауз» у кіосках з'явилися вже після того, як зник «Лель»«Лель», підшивка 10 номерів (1992, 1993)Ніч з «Другом Читача»: казки на ніч для дорослихІнформація про журнал на сервері журналістів у ВР УкраїниНаталія Патрікєєва. Лель. Перший український еротичний журналр

Тонконіг бульбистий Зміст Опис | Поширення | Екологія | Господарське значення | Примітки | Див. також | Література | Джерела | Посилання | Навігаційне меню1114601320038-241116202404kew-435458Poa bulbosaЭлектронный каталог сосудистых растений Азиатской России [Електронний каталог судинних рослин Азіатської Росії]Малышев Л. Л. Дикие родичи культурных растений. Poa bulbosa L. - Мятлик луковичный. [Малишев Л. Л. Дикі родичи культурних рослин. Poa bulbosa L. - Тонконіг бульбистий.]Мятлик (POA) Сем. Злаки (Мятликовые) [Тонконіг (POA) Род. Злаки (Тонконогові)]Poa bulbosa Linnaeus, Sp. Pl. 1: 70. 1753. 鳞茎早熟禾 lin jing zao shu he (Description from Flora of China) [Poa bulbosa Linnaeus, Sp. Pl. 1: 70. 1753. 鳞茎早熟禾 lin jing zao shu he (Опис від Флора Китаю)]Poa bulbosa L. – lipnice cibulkatá / lipnica cibulkatáPoa bulbosa в базі даних Poa bulbosa на сайті Poa bulbosa в базі даних «Global Biodiversity Information Facility» (GBIF)Poa bulbosa в базі даних «Euro + Med PlantBase» — інформаційному ресурсі для Євро-середземноморського розмаїття рослинPoa bulbosa L. на сайті «Плантариум»

Best approach to update all entries in a list that is paginated?Best way to add items to a paginated listChoose Your Country: Best Usability approachUpdate list when a user is viewing the list without annoying themWhen would the best day to update your webpage be?What should happen when I add a Row to a paginated, sorted listShould I adopt infinite scrolling or classical pagination?How to show user that page objects automatically updateWhat is the best location to locate the comments section in a list pageBest way to combine filtering and selecting items in a listWhen one of two inputs must be updated to satisfy a consistency criteria, which should you update (if at all)?