6. Контрольні запитання
Запитання самодостатні; числові приклади в них — загальні (не збігаються з варіантами завдання). Відповіді спираються на теорію з 2method.md.
Досконалі форми
- Означте конституенту одиниці (мінтерм) та конституенту нуля (макстерм) рядка. Сформулюйте правило полярності — де в кожній із них змінну заперечують?
- Як прочитати ДДНФ і ДКНФ з таблиці істинності? Рядки з якими значеннями використовує кожна форма?
- Запишіть ДДНФ і ДКНФ функції трьох змінних , що дорівнює лише на наборах і .
- Чому досконалі форми єдині, але зазвичай не мінімальні?
Закони та алгебраїчна мінімізація
- Сформулюйте закон склеювання і закон поглинання. Який із них вилучає змінну, а який — цілий терм?
- Наведіть три кроки алгебраїчної мінімізації (усунути ; внести усередину; спрощувати). У чому головна вада методу?
- Зведіть до базових зв’язок : імплікацію , еквіваленцію та суму за модулем два .
- Спростіть законами вираз до мінімальної ДНФ; назвіть застосовані закони.
- Доведіть тотожність-варіант поглинання (наприклад, дистрибутивністю та законами доповнення й одиниці).
Карти Карно
- Що таке код Грея і чому саме він задає порядок рядків/стовпців карти? Які клітини карти вважають сусідніми?
- Поясніть циклічне (тороїдальне) сусідство: чому сусідять перший і останній стовпці й чому «чотири кути» карти можуть утворити одну групу.
- Група з клітин вилучає скільки змінних? Як прочитати терм групи одиниць і як — елементарну диз’юнкцію групи нулів (правило полярності в обох випадках)?
- Сформулюйте правило вибору груп для МДНФ. Як із тієї самої карти дістати МКНФ?
- Що таке простий і суттєвий імплікант? Опишіть систематичний порядок покриття одиниць (спершу суттєві, потім решта).
- Навіщо мінімізувати функцію? Зв’яжіть кількість літералів зі складністю схеми (число елементів, площа, споживана потужність, затримка) та наведіть приклад застосування у видавництві чи поліграфії.