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

Multi tool use
Multi tool use

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


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




Для булевої функціїї з 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).



Див. також |


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

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

  • біт

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

  • функція

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

  • кортеж

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


am0ZV7XlNJA
xYCIEWcvdF

Popular posts from this blog

Nissan Patrol Зміст Перше покоління — 4W60 (1951-1960) | Друге покоління — 60 series (1960-1980) | Третє покоління (1980–2002) | Четверте покоління — Y60 (1987–1998) | П'яте покоління — Y61 (1997–2013) | Шосте покоління — Y62 (2010- ) | Посилання | Зноски | Навігаційне менюОфіційний український сайтТест-драйв Nissan Patrol 2010 7-го поколінняNissan PatrolКак мы тестировали Nissan Patrol 2016рвиправивши або дописавши її

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)?

Буцька Катерина Петрівна Зміст Біографія | Фільмографія | Дублювання та озвучення українською | Дублювання та озвучення російською | Озвучення реклами | Навігаційне менюперевірена109 змінвиправивши або дописавши її