Прямий, зворотній та доповнюючий коди чисел

Двійкова арифметика

Арифметичні дії в двійковій системі (двійковій арифметиці) виконуються за звичайними для позиційних систем правилами (алгоритмами), які нам відомі з десяткової арифметики, але при цьому, звичайно, використовуються таблиці додавання і множення двійкової системи.

Таблиця додавання

0+0=0

0+1=1

1+0=1

1+1=10₂

(додавання нуля не міняє числа, а один плюс один буде два).

Таблиця множення

0∙0=0

0∙1=0

1∙0=0

1∙1=1

(число, помножене на нуль, є нуль; множення на один не міняє числа).

Додавання. Додавання багатозначних чисел відбувається так само, як і в десятковій системі, тобто порозрядно, починаючи з молодшого.

101101₂ - 1 доданок

+ 10100₂ - 2 доданок

1000001₂ - сума

Перевіримо правильність наших обчислень:

101101₂=1∙2⁵+0∙2⁴+1∙2³+1∙2²+0∙2¹+1∙2⁰=32+0+8+4+0+1=45₁₀

10100₂=1∙2⁴+0∙2³+1∙2²+0∙2¹+0∙2⁰=16+0+4+0+0=20₁₀

45₁₀+20₁₀=65₁₀

1000001₂=1∙2⁶+0∙2⁵+0∙2⁴+0∙2³+0∙2²+0∙2¹+1∙2⁰=64+0+0+0+0+0+1=65₁₀

Віднімання

0-0=0

1-0=1

1-1=0

10₂-1=1

Знайдемо: 111010111₂-1100001₂

111010111₂

- 1100001₂

101110110₂

Крапки, поставлені над деякими розрядами, показують, що в двійковій системі одиниця відміченого розряду роздроблюється на дві одиниці вищого розряду.

Множення

11101₂∙1101₂

11101_{2 -}множник

1101₂ - множник

11101 - множене

+11101 - множене, зсунуте на 2 розряди вліво

11101 - множене, зсунуте на 3 розряди вліво

101111001₂ - добуток

Перевірка:

11101₂=1∙2⁴+1∙2³+1∙2²+0∙2¹+1∙2⁰=16+8+4+1=29₁₀

1101₂=13₁₀; 29∙13=377₁₀

101111001₂=1∙2⁸+0∙2⁷+1∙2⁶+1∙2⁵+1∙2⁴+1∙2³+0∙2²+0∙2¹+1∙2⁰=256+0+64+32+16+8++0+1=377_10.

Отже, в двійковій арифметиці при множенні не потрібна таблиця множення. Не треба знаходити добутки першого множника на значення послідовних розрядів другого множника, так як значення цих розрядів або 1 або 0.

Достатньо записати значення першого множника одне під одним із зсувом на один розряд; у випадку рівності якого-небудь розряду другого множника нулю, його зсувають на два розряди.

1101111₂

101101₂

1101111

1101111 __

1001110000011₂

Системи числення з довільною основою

Ми розглянули алгоритм переводу чисел з двiйкової системи числення в десяткову i навпаки - з десяткової в двiйкову. Алгоритми залишаться цiлком аналогiчними, якщо замiсть двiйкової системи числення взяти будь-яку iншу.

Нехай, наприклад, деяке число записане в вiciмковiй системi числення. Це значить, що цифри в записі цього числа є коєфiцiєнти в його розкладi по степенях числа 8:

(a_na_n-1... a₁a₀, a_-1a_-2. .) ₈ =a_n*8ⁿ+a_n-1*8^n-1+... +a₁*8+a₀+a_-1*8^-1+...

Для того,щоб отримати зображення цього числа в десятковiй системi числення, достатньо виконати, користуючись десятковою арифметикою, всi операцiї в правiй частинi цього виразу. Приклад. Перевести число (276,54) ₈ з вiсiмкової системи числення в десяткову:

(276,54) ₈=2*8²+7*8¹+6*8⁰+5*8^-1+4*8^-2=128+56+6+5/8+4/64= (190,6875) ₁₀.

Нехай тепер потрiбно перевести число з десяткової системи числення в вiсiмкову. Як i у випадку переводу в двiйкову систему числення, розглянемо окремо цiлу i дробову частини чисел. Для цiлої частини скористаємось алгоритмом дiлення, а для дробової - множення. В першому випадку ми отримаєм шукане вiсiмкове зображення цiлого числа, зiбравши в зворотньому порядку залишки вiд дiлення на 8, а у другому випадку отримаємо вiсiмкове зображення дробу, зiбравши в прямому порядку цiлi частини при послiдовному множеннi на 8. Приклад. Перевести число (190,6875) ₁₀ з десяткової системи числення в вiсiмкову.

Переведемо цiлу частину:

190 | 8

16 | 23 | 8

30 16 | 2 | 8 (190)₁₀=(276)₈

6 7 2 | 0

Переведемо дробову частину:

0 | 6875 (0,6875)₁₀=(0,54)₈

5 | 5000

4 | 0

тобто (190,6875)₁₀=(276,54)₈.

Цей приклад разом з попереднiм iлюструє, як можна перевiряти правильнiсть переводу з однiєї системи числення в iншу зворотнiм переводом.

Виконання арифметичних дій в СЧ з основою р.

Змішані СЧ. Запис чисел в змішаних СЧ. Системи з кратними основами. Теорема для СЧ з кратними основами

Мішані системи числення

Існує простий спосіб запису десяткових чисел за допомогою двійкових цифр - представлення чисел в мішаній двійково-десятковій системі числення. В ній кожна цифра десяткового зображення числа записується в двійковій системі числення.

Причому для того, щоб такий запис був однозначним, для представлення будь-якої десяткової цифри відводиться одна і та ж кількість двійкових розрядів - чотири. Якщо десяткова цифра вимагає для свого представлення менше значущих двійкових цифр, то попереду цих цифр дописуються нулі (так щоб загальна кількість двійкових знаків залишалась рівною чотирьом). Наприклад, десяткове число 834,25 в двійково-десятковій системі запишеться так:

(834,25) ₁₀= (1000 0011 0100,0010 0101).

Кожна четвірка (тетрада) двійкових цифр тут відповідає одній десятковій цифрі:

(8)₁₀= (1000)_2-10 (2)₁₀ = (0010)_2-10

(3)₁₀= (0011)_2-10 (5)₁₀ = (0101)_2-10

(4)₁₀ = (0100)_2-10

Теорема. Якщо P = Qⁿ (P, Q, n - цілі додатні числа), то запис любого числа в мішаній (Q - P) - й системі числення тотожньо співпадає з записом цього ж числа в системі числення з основою Q (з точністю до нулів на початку запису цілої частини числа і на кінці дробової).

Якщо P=8, Q=2, n=3, то 8=2³ і, отже, згідно даної теореми запис будь-якого числа в двійково-вісімковій системі співпадає з записом того ж числа в двійковій системі. (Зауважимо, що за тією ж теоремою записи будь-якого числа в двійковій і двійково-шістнадцятковій системах теж співпадуть). Переведемо, наприклад, все теж число (405) ₁₀ з десяткової системи числення в шістнадцяткову:

405|16

32 |25|16

85 9|1 |16

80 |0

Збираючи залишки від ділення, отримаємо (405) ₁₀ = (195) ₁₆.

Представимо тепер число (195) ₁₆ в двійково - шістнадцятковому записі: (195) ₁₆ = (1 1001 0101) _2-6.

Видно, що записи числа в двійковій і двійково-шістнадцятковій системах вuявuлuсь однаковими. Ця властивість двійково-вісімкової системи числення дозволяє дуже просто переводити числа з двійкової системи в вісімкову (чи шістнадцяткову) і навпаки.

Справді, будь-який двійковий запис розглядаємо як двійково-вісімковий код деякого вісімкового числа, розбиваємо його на трійки (тріади) двійкових цифр ліворуч і праворуч від коми. Кожній такій трійці ставимо у відповідність одну вісімкову цифру і отримаємо число в вісімковій системі числення.

Візьмемо, наприклад, код:

(10011110,0011)₂ = (236,14)₈.

2 3 6 1 4

Тут, як і в двійково-десятковому записі, в цілій частині відкинуті крайні зліва нулі, а в дробовій частині - крайні справа. Безумовно, треба їх враховувати як недостатні у відповідних тріадах двійкових цифр. Зворотній перевід чисел з вісімкової системи числення в двійкову також простий. Кожну цифру вісімкового числа записуємо трійкою двійкових символів, тобто записуємо його в двійково-вісімковій системі, а так як цей запис співпадає з двійковим, то ми одержимо число в двійковій системі. Переведемо, наприклад, число (3514,72) ₈ з вісімкової системи в двійкову:

(3514,72)₈ = (11101001100,11101)₂ .

3 5 1 4 7 2

Звідси слідує, що вісімкову систему числення можна використовувати для скороченого запису любого двійкового коду. При цьому використовується приблизно в двічі менше символів, якщо розбити їх на трійки цифр і кожну записати однією вісімковою цифрою. Так само запис будь-якого числа в шістнадцятковій системі числення можна використовувати для скороченого запису двійкового коду. В цьому випадку кожному шістнадцятковому символу взаємно однозначно відповідає набір з чотирьох двійкових цифр:

(0)₁₆ = (0000)₂ (8)₁₆ = (1000)₂

(1)₁₆ = (0001)₂ (9)₁₆ = (1001)₂

(2)₁₆= (0010)₂ (а)₁₆= (1010)₂ = (10)₁₀

(3)₁₆ = (0011)₂ (b)₁₆ = (1011)₂ = (11)₁₀

(4)₁₆ = (0100)₂ (c)₁₆ = (1100)₂ = (12)₁₀

(5)₁₆ = (0101)₂ (d)₁₆ = (1101)₂ = (13)₁₀

(6)₁₆ = (0110)₂ (e)₁₆ = (1110)₂ = (14)₁₀

(7)₁₆ = (0111)₂ (f)₁₆ = (1111)₂ = (15)₁₀ .

Так як записи числа в двійково-шістнадцятковій і двійковій системах за сформульованою вище теоремою співпадають, то, замінивши всі шістнадцяткові цифри деякого числа на відповідні четвірки двійкових цифр, отримаємо таке ж число в двійковій системі числення. При цьому запис числа буде використовувати приблизно в чотири раза менше цифр, ніж в двійковій системі числення. Наприклад, число (3c2e9) ₁₆ може бути представлене в двійковій системі числення наступним чином: (11 1100 0010 1110 1001) ₂.

3 c 2 e 9

Під кожною четвіркою двійкових цифр ми записали відповіднийі шістнадцятковий символ. Дві форми комп’ютерного представлення числових даних. Їх переваги і недоліки.

Форма з фіксованою крапкою

В сучасних ЕОМ застосовуються два способу представлення чисел: з фіксованою крапкою і плаваючою крапкою.

В першому випадку місце коми, яка відділяє цілу частину числа від дробової, визначається на етапі конструювання ЕОМ. Зразу ж вказується кількість розрядів, які відводяться для зображення цілої і дробової частин. Причому кожному розряду комірки відповідає завжди один і той же розряд числа, що суттєво спрощує виконання арифметичних дій.

Нехай, наприклад, комірка пам’яті машини має 24 двійкових розряда. Як ми знаємо, в комірку можна записати будь-яке машинне слово, тобто довільний набір з нулів і одиниць. Якщо це слово - число, то в конструкції машини може бути передбачено його представлення в формі з фіксованою комою. Наприклад, воно може бути таким: крайній зліва розряд - знаковий, потім наступні 9 розрядів відводяться під цілу частину і, накінець, 14 розрядів, які залишилися, під дробову частину числа, тобто кома тут завжди на одному і тому ж місці - після десятого розряду машинного слова (з врахуванням знакового розряду). Тоді найбільше число, яке можна представити, буде: (111111111,11111111111111) _2.

Видно, що воно менше, ніж 2⁹ = (512) ₁₀. А найменше за модулем відмінне від нуля число дорівнює

(000000000,00000000000001) ₂ = 2^-14.

Тобто, діапазон чисел, які можна записати в комірку пам’ті машини, тут такий:

2^-14 < |a| < 2⁹.

Форма з плаваючою крапкою.

Для того, щоб збільшити діапазон чисел, використовують другу форму запису чисел - з плаваючою комою. Будь-яке число в системі числення з основою Q можна записати так:

a=A*Q^p.

A називають мантисою числа, а P - порядком.

Наприклад, в десятковій системі числення число 3,14 представимо у вигляді

3,14 = 0,314*10¹.

Тут мантиса дорівнює 0,314, а порядок 1. Очевидно, таке представлення далеко не однозначне. Число 3,14 записати так:

3,14=3,14*10⁰ = 31,4*10^-1 = 0,0314*10² =...

Порядок числа визначає положення коми в запису мантиси. При коректуванні порядку відповідним чином змінюється і положення коми - кома ніби ”плаває".

Звідси і назва методу представлення чисел. З плаваючою комою число, як ми тільки що бачили, представляється неоднозначно. Одне з цих представлень називають нормалізованим.

В цьому випадку мантиса повинна задовільняти вимозі 1/10 <|А|< 1 (мова йде про десяткову систему числення). Iншими словами, перша цифра мантиси після коми повинна бути відмінною від нуля.

9. Представлення довільного числа в формі з плаваючою крапкою. Мантиса та порядок числа. Нормалізована форма представлення числа.

Форма з плаваючою крапкою

a=A*Q^p.

A називають мантисою числа, а P - порядком.

Наприклад, в десятковій системі числення число 3,14 представимо у вигляді

3,14 = 0,314*10¹.

3,14=3,14*10⁰ = 31,4*10^-1 = 0,0314*10² =...

Порядок числа визначає положення коми в запису мантиси. При коректуванні порядку відповідним чином змінюється і положення коми - кома ніби ”плаває". Звідси і назва методу представлення чисел. З плаваючою комою число, як ми тільки що бачили, представляється неоднозначно. Одне з цих представлень називають нормалізованим. В цьому випадку мантиса повинна задовільняти вимозі 1/10 <|А|< 1 (мова йде про десяткову систему числення). Iншими словами, перша цифра мантиси після коми повинна бути відмінною від нуля. В нашому прикладі десяткове число а=3,14 в нормалізованій формі має вигляд

3,14=0,314*10¹.

Запишемо кілька чисел в двійковій системі числення в нормалізованій формі:

(7) ₁₀= (111) ₂= 111*2⁰ = 111*10⁰ = 0,111*2³= 0,111*10¹¹

(-9,5) ₁₀= (-1001,1) ₂ = - 0,10011*2⁴ = - 0,10011*10¹⁰⁰.

Нехай для представлення чисел з плаваючою комою в нас відведено 24 розряди. Нехай один розряд відведено для знаку числа, а другий для знаку порядку:

0 1 2 3 4 5 6 7 8 9 10 11 23

Знак числа| | Порядок Мантиса

Додатнє число, максимальне з можливих в пам’яті ЕОМ:

0 1 2 3 4 5 6 7 8 9 10 11 23

Знак числа| | Порядок Мантиса Знак порядку|

Мінімальне за модулем, відмінне від нуля і нормалізоване число

а= (0,1*10^-1111111) ₂ =1/2*2^-127 = 2^-128:

0 1 2 3 4 5 6 7 8 9 10 11 23

Знак числа| | Порядок Мантиса Знак порядку|

Відмітимо, що найменше за модулем число, не рівне нулю і не нормалізоване, яке можна представити в комірці:

а= (1/2) ⁺¹⁵ *2^-127 = 2^-142.

В цьому випадку мантиса

А= (0, 000...01) ₂ = 2^-15, порядок Р = - (1111111) ₂ = - (127) _10.

Прямий, зворотній та доповнюючий коди чисел

В ЕОМ доцільно представляти знаки чисел з допомогою тих же символів через, через які записується саме число. Для цього виділяється додатковий розряд, який називають знаковим і розташовують зліва від старшого розряду числа. Будемо позначати знакові розрядні числа як і відділяти їх крапками від цілої частини числа і комами від дробової.

Для правильності виконання арифметичних операцій над числами, знаки яких закодовані числами, використовують спеціальні способи представлення чисел: прямий, зворотній і додатковий.

Прямий код використовується для вводу-виводу інформації і в запам’ятовуючих пристроях.

Додавання чисел в прямому коді (з одинаковими знаками) не викликає труднощів. Однак додавання чисел з різними знаками в прямих кодах незручно, так як повинно бути спеціальне обладнання для віднімання чисел і визначення знаку різниці.

Операцію алгебраїчного додавання чисел можна звести до операцій додавання при використанні зворотніх і додаткових кодів.

Представлення додатнього числа в зворотньому коді співпадавє з його прямим кодом. Для отримання зворотнього коду від’ємного числа в двійковій системі необхідно в знаковому розряді записати 1, а в інших розрядах одиниці замінити нулями, а нулі одиницями. Аналогічну заміну роблять при перетворенні зворотнього коду від’ємного числа в прямий. На відміну від прямого коду, в зворотньому не можна відкидати нулі після знакового розряду в цілій частині і нулі в кінці дробової частини від’ємного числа.

Представлення додатнього числа в доповнюючому коді співпадавє з його прямим кодом. Правило формування додатнього коду від’ємного числа формулюється так: отримати зворотній код числа і додати 1 в молодший розряд числа. Перетворення доповнюючого коду від’ємного числа здійснюється або зворотнім шляхом (відняти 1 і перетворити в зворотній код) або утворити доповнюючий код до доповнюючого. Нуль, на відміну від прямого і зворотнього кодів, в доповнюючому коді має єдине представлення

Байт - вісім послідовно розміщених бітів, пронумерованих від 0 до 7, при цьому біт 0 є самим молодшим значущим бітом.

Слово - послідовність з двох байтів, які мають послідовну адресу. Розмір слова 16 біт; біти в слові нумеруються від 0 до 15. Байт який містить нульовий біт, називається молодшим байтом, а байт, який містить 15-й біт називають старшим байтом. Мікропроцессори Intel мають важливу особливіть - молодший байт завжди зберігається за молодшою адресою. Адресою слова рахується адреса молодшого байта. Адреса старшого байта може бути використана для доступа до старшої половини слова.

Подвійне слово - послідовність з чотирьох байтів (32 біта), які мають послідовну адресу. Нумерація цих бітів проводиться від 0 до 31. Слово, яке містить нульовий біт називається молодшим словом, а слово яке містить 31-й біт старшим словом. Молодше слово зберігається за меншою адресою. Адресою подвійного слова рахується адреса молодшого слова. Адреса старшого слова може бути використана для доступа до старшої частини подвійного слова. .

Чотирьохкратне слово - послідовність з восьми байт (64 біта). які мають послідовну адресу. Номерація цих бітів проводиться від 0 до 63. Слово яке містить нульовий біт називається молодшим подвійним словом словом, а слово яке містить 63-й біт старшим подвійним словом. Молодше подвійне слово зберігається за молодшою адресою. Адресою подвійного слова рахується адреса молодшого слова. Адреса старшого подвійного слова може бути використана для доступа до старшої половини чотирьохкратного слова.

Поняття про булеві функції

Ф-ція f, яка залежить від n змінних x₁,x₂,…,x_n називається булевою, або переключаючою, якщо ф-ція f і любий з її аргументів x_i, i приймають значення тільки змножини {0,1}. Аргументи булевої ф-ції також називаються булевими.

Довільна булева ф-ція задається одним із трьох способів: матричним (табличним), геометричним і аналітичним.

При матричному способі булева ф-ція f (x₁, x₂, …, x_n) задається таблицею істинності (табл.1 та 2),

В лівій частині якої представлені всі можливі двійкові набори довжини n, а в правій вказується значення ф-ції на цих наборах.

Під двійковим набором = < >, {0,1} розуміють сукупність значень аргументів х₁, х₂,…, х_n булевої ф-ції f. Двійковий набір має довжину n, якщо він представлений n цифрами із множини {0,1}. В табл.1 та 4 перечислені всі двійкові набори відповідної довжини 3 і 4.

Іноді двійкові набори в таблиці істиності булевої ф-ції зручно представляти номерами наборів. Запишемо аргументи x₁,x_2,…x_n в порядку зростання їх індексів. Тоді любий двійковий набір

{0,1} можна розглядати як ціле двійкове число N: N=

2^n-1+

2^n-2+…+

, яке називають номером набору

. Наприклад, двійкові набори 0101 і 1000 мають номера 5 і 8 відповідно. Очевидно будь-яка булева ф-ція може бути задана таблицею істинності, в якій двійкові набори замінені своїми номерами (табл.2).

Булеві ф-ції, залежать від великого числа змінних, задавати таблицею істиності незручно, в силу її громіздкості. Наприклад таблиця істинності булевої функції 8 змінних буде містити 2⁸=256 рядків. Тому для задання ф-ції багатьох змінних зручно використати модифікацію таблиці істинності.

Розглянемо спосіб побудови такої таблиці істинності для ф-ції n змінних. Множина із n змінних ф-ції розбивається на дві підмножини: x₁, x₂, …,x_j-1 і х_j, x_j+1,…, x_n. Змінні x₁, x₂, …,x_j-1 відмічають рядки таблиці істинності, задаваючи в кожному рядку значення відповідного двійкового набору довжини j-1. Змінними х_j, x_j+1,…, x_n відмічають її стовбці, задаваючи в кожному стовбці значення відповідного двійкового набору довжини n-j+1. Значення функції записуються в клітинці на перетині відповідного рядка і стовбця (табл 3).

При геометричному способі булева ф-ція f (x₁, x₂, …, x_n) задається з допомогою n-мірного куба. В геометричному смислі кожний двійковий набір =< >, {0,1} є n-мірний вектор, визначаючий точку n-мірного прстору. Виходячи з цього, вся множина наборів, на яких визначена ф-ція n змінних, представляється вершинами n-мірного куба. Відмічаючи точками вершини куба, в яких функція приймає одиничне значення (або нульове), одержимо геометричне представлення функції. Наприклад, булева функція, задана табл.1, геометрично представляється 3-мірним кубом

При аналітичному способі булева функція задається формулами, тобто аналітичними виразами, побудованими на основі операцій булевої алгебри. Аналітичний спосіб задання булевих функцій займає особливе місце в проектуванні цифрових машин. Фактично, всі перетворення над булевими ф-ціями, необхідні для побудови цифрових машин, ведуться на аналітичному рівні.

Розглянемо області визначення булевоі ф-ції. Як уже відмічалось, між двійковими наборами і двійковими числами існує взаємнооднозначна відповідність. Отже, існує 2ⁿ різних наборів двійкових змінних.

Таким чином, областю визначення булевої ф-ції n змінних при матричному способі задання являється множина всіх можливих двійкових довжин n наборів, а при геометричному способі задання множина всіх вершин n-мірного одиничного куба.

Булеву ф-цію, визначену на всіх своїх наборах, називають повністю визначеною. Булеву ф-цію n змінних називають неповністю визначеною, або частинною, якщо вона визначена не на всіх двійкових наборах довжини n. Неповністю визначена булева ф-ція не попадає під визначення, дане на початку глави, але при довільному довизначенні (на всіх наборах, на яких вона не визначена) ця невідповідність знімається.

Існує не більше як 2ⁿ різних булевих функцій n змінних. До цього висновку легко прийти, користуючись простими комбінаторними міркуваннями, і згадавши, що на кожному із 2ⁿ наборів функції можуть приймати два значення.

Розглянемо найбільш використовувані булеви ф-ції однієї і двох змінних. Ф-ції однієї змінної представлені таблиці 5, де

f₀ (x) =0 - тотожній нуль (константа 0);

f₁ (x) =x - тотожна ф-ція;

f₂ (x) = - заперечення x (інверсія);

f₃ (x) =1 - тотожна одиниця (константа 1).

Ф-ції двох змінних представлені в табл.6.

Найбільш часто використовуються такі:

f₀ (x₁,x₂) =0 - тотожній нуль (константа 0);

f₁ (x₁,x₂) =x_1*x₂ - кон’юнкція. Замість знака “_*” інколи використовують знак & або . Цю ф-цію часто називають логічним перетворенням або логічним множенням;

f₃ (x₁,x₂) =x₁ - повторення х₁;

f₅ (x₁,x₂) =x₂ - повторення х₂;

f₆ (x₁,x₂) =x₁х₂ -додавання по модулю, або сума mod 2;

f₇ (x₁,x₂) =x₁x₂-диз’юнкція (логічне або);

f₈ (x₁,x₂) =x₁х₂ - функція Вебба (стрілка Пірса);

f₉ (x₁,x₂) =x₁~х_{2 -}еквівалентність;

f₁₃ (x₁,x₂) =x₁х₂- імплікація;

f₁₄ (x₁,x₂) =x₁/x₂ - штрих Шеффера;

f₁₅ (x₁,x₂) =1 - тотожна одиниця (константа 1);

f₀ (x) =0 - тотожній нуль (константа 0);

f₁ (x) =x - тотожна ф-ція;

f₂ (x) = - заперечення x (інверсія);

f₃ (x) =1 - тотожна одиниця (константа 1).

Ф-ції двох змінних представлені в табл.6.

Найбільш часто використовуються такі:

f₀ (x₁,x₂) =0 - тотожній нуль (константа 0);

f₃ (x₁,x₂) =x₁ - повторення х₁;

f₅ (x₁,x₂) =x₂ - повторення х₂;

f₆ (x₁,x₂) =x₁х₂ -додавання по модулю, або сума mod 2;

f₇ (x₁,x₂) =x₁x₂-диз’юнкція (логічне або);

f₈ (x₁,x₂) =x₁х₂ - функція Вебба (стрілка Пірса);

f₉ (x₁,x₂) =x₁~х_{2 -}еквівалентність;

f₁₃ (x₁,x₂) =x₁х₂- імплікація;

f₁₄ (x₁,x₂) =x₁/x₂ - штрих Шеффера;

f₁₅ (x₁,x₂) =1 - тотожна одиниця (константа 1);

Розглянуті простіші булеві ф-ції дозволяють будувати нові булеви ф-ції з допомогою узагальненої операції, що називається операцією суперпозиції. Фактично операція суперпозиції заключається в тому, що існує підстановка замість аргументів інших булевих функцій (в деякій мірі аргументів).

Зауважимо, що суперпозиція функцій одного аргументу породжує функції одного аргументу. Суперпозиція ф-цій двох аргументів дає можливість будувати функції будь-якої кількості аргументів.

Суперпозиція булевих ф-цій представляється у виді логічних формул. Однак слід відмітити:

одна і та ж функція може бути представлена різними формулами;

кожній формулі відповідає своя суперпозиція і своя своя схема з’єднання елементів;

між формулами представлення булевих ф-цій і схемами, які їх реалізують, існує взаємнооднозначна відповідність.

Очевидно, що серед схем, які реалізують дану функцію є найбільш проста. Пошук логічної формули, що відповідає цій схемі, предствляє великий практичний інтерес, а перетворення формул булевих функцій грунтується на використанні співвідношень булевої алгебри.

Для булевої алгебри визначена одна одномісна (унарна) операція, дві двохмісні (бінарні) операції кон’юнкції і диз’юнкції (позначаються відповідно “_*", “ ”).

В цій алгебрі справедливі три аксіоми:

закон комутативності - x y=y x, x_*y=y_*x;

закон асоціативності - (x

z=x

z), (x_*y) _*z=x_* (y_*z);

закон дистрибутивності - x_* (y z) = x_*y x_*z, x y_*z= (x y) _* (x z);

Перетворення формул булевих функцій використанням тільки аксіом булевої алгебри малоефективне. Для спрощення формул використовують цілий ряд співвідношень. Приведемо деякі з них.

= _*, _*= (Теореми де Моргана) (1)

x x_*y=x, x_* (x y) =x; (2)

x x=x, x_*x=x, =x; (3)

x y =x y; (4)

x =1, x_* =0; (5)

x 1=1; x_*0=0; (6)

xy x=x, (x y) (x ) =x; (7)

В ряді випадків, перетворення над формулами булевих функцій зручно виконувати в алгебрі Жегалкіна. Алгебра Жегалкіна включає дві двохмісні операції: кон’юнкцію і додавання за модулем 2 (*, ), а також константу 1. Тут мають місце ті ж закони:

x y=y x, x*y=y*x

x (y z) = (x y) z, x* (y*z) = (x*y) *z

x* (y z) =x*y x*z

Для спрощення формул можуть бути використані такі співвідношення:

x 0=x; x*1=x; x*0=0; x x=0; x*x=x.

Із комутативності і асоціативності слідує, що диз’юнкція кількох змінних може виконуватися послідовно, причому порядок взяття дизьюнкції не впливає на результат. Тобто, диз’юнкція сукупності змінних може бути виражена співвідношенням

x₁x₂…x_n= x_i