2.4. Коректування функції і вибір байдужних наборів

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

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

Номер варіанта байдужних вхідних наборів часткової булєвой функції {№Наб1, №Наб2, №Наб3, №Наб4} з таблиці 8, що позначається як «№Наборів», виходить визначенням зміщеного на «1» цілочисленого залишку від розподілу «№Зачетки» на число «11» – число варіантів таблиці 8 по наступній формулі:

«№Наборів» = («№Зачетки» % 11) + 1,

де % – операція одержання цілочисленого залишку від розподілу.

Приклад: Для вихідного «№Зачетки» = 47 варіант «№Набора» виходить у такий спосіб:

«№Набора» = (047 % 11) + 1 = 3 + 1 = 4, тобто з таблиці 8 випливає, що обрано байдужні набори {№Наб1, №Наб2, №Наб3, №Наб4} ={1, 8, 11, 14},

для вихідного «№Зачетки» = 003 варіант «№Набора» виходить у такий спосіб:

«№Набора» = (003 % 11) + 1 = 3 + 1 = 4, тобто з таблиці 8 випливає, що обрано байдужні набори {№Наб1, №Наб2, №Наб3, №Наб4} ={1, 8, 11, 14}, варіант набору збігається з попереднім,

для вихідного «№Зачетки» = 121 варіант «№Набора» виходить у такий спосіб:

«№Набора» = (121 % 5) + 1 = 0 + 1 = 1, тобто з таблиці 8 випливає, що обрано байдужні набори {№Наб1, №Наб2, №Наб3, №Наб4} ={0, 2, 7, 8}.

3. Вимоги до оформлення

Розрахунково-графічна робота оформляється у виді пояснювальної записки обсягом 25- 30 сторінок.

Пояснювальна записка містить у собі:

• титульний лист із назвою роботи, прізвищами студента і консультанта;

• уведення;

• опис вибору варіанта завдання;

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

• висновок з висновками по виконаній роботі;

• перелік використаної літератури.

Пояснювальна записка, малюнки і схеми (графічна частина) повинні бути оформлені відповідно до вимог ЕСКД і ЕСПД.

4. Етапи виконання

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

Графік виконання розрахунково-графічної роботи:

1. Видача завдання на розрахунково-графічну роботу – 3-я тиждень.

2. Вивчення літератури, що рекомендується - 4-я тиждень.

3. Спрощення (аналітична мінімізація) заданого вираження алгебри безлічей – 5 і 6 тижня.

4. Для заданого бінарного відношення побудова графіка, аналіз властивостей відносини (рефлективності, симетричності, транзитивності, з’вязності) і властивостей, успадкованих від відповідностей (усюди визначеності, функціональності, і’нъективності, сюр’ективності, біективності) – 6 і 7 тижня.

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

6. Виконуване одночасно з п.3 каскадне, за допомогою підстановки, побудова зведеної таблиці істинності для всіх елементів логічної схеми і схеми в цілому – 8 і 9 тижня.

7. Перетворення виведеної в п.3. формули булєвой функції в ДНФ і КНФ, СДНФ і СКНФ – 10 тиждень.

8. Мінімізація методами Квайна-МакКласкі і Петріка, а також за допомогою карт Карно булєвой функції по вихідній таблиці істинності – 11 і 12 тижня.

9. Мінімізація методами Квайна-МакКласкі і Петріка, а також за допомогою карт Карно частково визначеної булєвой функції, поповненої заданими байдужними наборами – 12 і 13 тижня.

10. Переклад отриманих у п.п.5.,6. мінімальних формул з булєва базису в заданий функціональний базис – 14 тиждень.

11. Оформлення пояснювальної записки – 15 тиждень.

12. Захист розрахунково-графічної роботи – 16 тиждень.