3 Порядок захисту курсової роботи
До захисту допускаються курсові проекти, що виконані в повному обсязі згідно з затвердженим індивідуальним завданням, перевірені керівником і підписані ним на титульному аркуші із зазначенням дати. Рекомендується підписувати курсову роботу таким чином: „До захисту”, „Дата”, „Підпис керівника”. Курсові роботи, які не підписані до захисту керівником, на захист не виносяться.
4 Зразок виконання практичної частини кр
4.1 Розрахунок таблиці істинності
Вислів – твердження, по відношенню до якого має сенс стверджувати істинне воно чи хибне.
Вислови бувають складні чи прості. Прості вислови – логічні змінні. Складні — логічні функції від логічних змінних. Логічні функції називають також бульовими або перемикаючими.
Функціонування цифрових обчислювальних пристроїв комбінаційного типу, які мають n входів та m виходів, у загальному випадку може бути описано системою функцій виду :
,
де значення функції yi визначають значення вихідних сигналів, а набори аргументів (x1,x2,…,xn) відповідають вхідним сигналам. Як функції, так і аргументи можуть приймати тільки кінцеве число значень (як правило xj,yj{0,1}). Саме такі функції отримали назву перемикаючих (нульових, двозначних, логічних).
Перемикаючі функції частіше всього задають за допомогою таблиць, що називаються таблицями істинності, шляхом перечислення їх значень на всіх наборах значень аргументів. З метою спрощення таблиць істинності набори аргументів нумерують. Номер х набору аргументів дорівнює двійковому числу, яке відповідає цьому набору, тобто
.
Якщо функція залежить від n аргументів, то число різних наборів дорівнює 2n, оскільки кожен набір має свій номер, а загальне число номерів дорівнює кількості різних двійкових n-розрядних чисел.
Дві
функції відрізняються одна від одної,
якщо вони приймають різні значення хоча
б на одному наборі аргументів. Число
різних функцій від n аргументів дорівнює
,так
як для задання функцій
необхідно вказати набір з 2n
констант
,
,
а число 2n-розрядних
наборів дорівнює
.
В таблиці істинності значення функції
на деяких наборах можуть бути не
визначені, тобто можуть приймати як
значення 0, так і значення 1. Серед функцій
n змінних завжди можна вказати функції,
аналогічні по властивостям функціям
двох змінних. До таких функцій, наприклад,
відносяться константи 0 і 1; змінні
x1,x2,…,xn;
кон’юнкція, що приймає одиничне значення
тільки на одному наборі аргументів;
диз’юнкція, що приймає нульове значення
тільки на одному наборі аргументів;
сума по модулю 2; рівнозначність; функції
Пірса і Шеффера та ін.
Логічну функцію можна вважати повністю заданою, якщо задано її значення на всіх можливих поєднаннях значень змінних, що називається набором.
Розрахуємо таблицю істинності для заданих функцій F1, F2, F3:
F1=
F1(0,0,0,0)
=
=
F1(0,0,0,1)
=
=
F1(0,0,1,0)
=
=
F1(0,0,1,1)
=
=
F1(0,1,0,0)
=
=
F1(0,1,0,1)
=
=
F1(0,1,1,0)
=
=
F1(0,1,1,1)
=
=
F1(1,0,0,0)
=
=
F1(1,0,0,1)
=
=
F1(1,0,1,0)
=
=
F1(1,0,1,1)
=
=
F1(1,1,0,0)
=
=
F1(1,1,0,1)
=
=
F1(1,1,1,0)
=
=
F1(1,1,1,1)
=
=
F2
=
F2(0,0,0,0)
=
=
0 + 0 + 0 = 0
F2(0,0,0,1)
=
=
0 + 0 + 0 = 0
F2(0,0,1,0)
=
=
0 + 0 + 1 = 1
F2(0,0,1,1)
=
=
0 + 0 + 1 = 1
F2(0,1,0,0)
=
=
0 + 0 + 0 = 0
F2(0,1,0,1)
=
=
0 + 0 + 0 = 0
F2(0,1,1,0)
=
=
0 + 0 + 0 = 0
F2(0,1,1,1)
=
=
0 + 0 + 0 = 0
F2(1,0,0,0)
=
=
0 + 0 + 0 = 0
F2(1,0,0,1)
=
=
0 + 1 + 0 = 1
F2(1,0,1,0)
=
=
0 + 0 + 1 = 1
F2(1,0,1,1)
=
=
0 + 1 + 1 = 1
F2(1,1,0,0)
=
=
1 + 0 + 0 = 1
F2(1,1,0,1)
=
=
1 + 1 + 0 = 1
F2(1,1,1,0)
=
=
0 + 0 + 1 = 1
F2(1,1,1,1)
=
=
1 + 1 + 1 = 1
F3
=
F3(0,0,0,0)
=
=
F3(0,0,0,1)
=
=
F3(0,0,1,0)
=
=
F3(0,0,1,1)
=
=
F3(0,1,0,0)
=
=
F3(0,1,0,1)
=
=
F3(0,1,1,0)
=
=
F3(0,1,1,1)
=
=
F3(1,0,0,0)
=
=
F3(1,0,0,1)
=
=
F3(1,0,1,0)
=
=
F3(1,0,1,1)
=
=
F3(1,1,0,0)
=
=
F3(1,1,0,1)
=
=
F3(1,1,1,0)
=
=
F3(1,1,1,1)
=
=
Таблиця 1 - таблиця істинності
X1 X2 X3 X4 F1 F2 F3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0