# 5. Зміст звіту

Звіт здають разом із файлами схем (або їх знімками). Він має містити такі розділи.

1. **Титульна сторінка** — назва дисципліни, номер і тема лабораторної роботи
   («Створення логічних схем»), прізвище та група студента, **номер варіанта** й
   значення $N \bmod 5 + 1$, дата.

2. **Мета роботи** — стисле формулювання (див. [1purpose.md](1purpose.md)).

3. **Коротка теорія** — своїми словами: що таке логічний елемент і таблиця істинності;
   означення ДДНФ і ДКНФ; суть мінімізації картами Карно; базиси ТА-НІ та АБО-НІ;
   поняття полінома Жегалкіна (обсяг теорії — відповідно до досягнутого рівня).

4. **Умова варіанта** — точне правило керування лампочкою для вашого варіанта та його
   формалізація як булевої функції $F(A,B,C,D)$.

5. **Таблиця істинності** — повна таблиця на всі $16$ наборів $A,B,C,D$ зі значенням
   $F$; рядки впорядковані від $0000$ до $1111$.

6. **Досконалі форми** — виведені з таблиці **ДДНФ** (по одиничних рядках) та **ДКНФ**
   (по нульових рядках) із коротким поясненням побудови.

7. **Карти Карно** — карта $4\times4$ з **позначеними групами** одиниць (для МДНФ) і
   карта з групами нулів (для МКНФ); поряд — отримані **МДНФ** і **МКНФ**.

8. **Схеми в logic.ly** — **знімки екрана** зібраних і перевірених схем для **ДКНФ,
   ДДНФ, МКНФ і МДНФ**. На кожному знімку мають бути видні елементи, з'єднання та
   підписані входи $A,B,C,D$ і вихід (лампочка).

9. **Базиси ТА-НІ та АБО-НІ** *(рівень 75–89 і вище)* — перезапис МДНФ/МКНФ у базиси
   штриха Шефера та стрілки Пірса з викладками, а також **знімки** відповідних схем.

10. **Алгебра Жегалкіна** *(рівень 90–100)* — виведення **полінома Жегалкіна** функції
    (з проміжними перетвореннями) та **знімок** схеми в цьому базисі.

11. **Досягнутий рівень** — зазначте найвищий повністю виконаний рівень (базовий /
    середній / високий) і які пункти він охоплює (див. [4task.md](4task.md)).

12. **Висновки** — що реалізовано, які форми виявилися найкомпактнішими для вашого
    варіанта, які труднощі виникли й чого ви навчилися.

**Вимоги до здавання.** Кожна схема має бути **працездатною**: стан лампочки на всіх
$16$ наборах входів мусить збігатися з таблицею істинності. Різні форми ($ДКНФ, ДДНФ,
МКНФ, МДНФ$) реалізують ту **саму** функцію, тож і поводитися вони повинні однаково —
це зручний спосіб самоперевірки.