Конъюнкция Дизъюнкция

1. Коммутативный (переместительный) закон:

а) б)

2. Ассоциативный (сочетательный) закон:

а) б)

3. Закон повторения:

а) б)

4. Закон обращения:

Если Х₁=Х₂, то

5. Закон двойной инверсии:

6. Закон нулевого множества:

а) б)

7. Закон универсального множества:

а) б)

8. Закон дополнительности:

а) б)

9. Дистрибутивный (распределительный) закон:

а) б)

10. Закон поглощения:

а) б)

11. Закон склеивания:

а) б)

12. Закон инверсии (закон Де Моргана):\

а) б)

второй вариант:

а) б)

2. Краткое описание САПР MAX+PLUS II (Multiple MatriX Programmeble Logic User Systems)

Система автоматизированного проектирования MAX+PLUS II предназначена для автоматизированного проектирования логических и цифровых устройств на основе программируемых логических интегральных схем (ПЛИС) фирмы ALTERA. Проектирование логических и цифровых устройств включает в себя следующие основные этапы:

1. Описание устройства.

2. Компиляция проекта и логический синтез.

3. Тестирование разработанного устройства.

4. Программирование ПЛИС.

Описание проекта устройства в рамках изучаемой САПР возможно многими способами с помощью разнообразных редакторов: графического, символьного, текстового и др. В предлагаемом цикле лабораторных работ мы будем использовать в основном графический редактор. Файл с графическим описанием устройства имеет расширение *.gdf.

Компиляция проекта и логический синтез осуществляются автоматически без участия разработчика. Разработчик имеет возможность выбора из предлагаемого списка метода синтеза логического устройства с необходимой минимизацией его логической функции.

Для проверки функционирования разрабатываемого устройства и его тестирования в САПР MAX+PLUS II предусмотрен специальный редактор Waveform Editor, в котором создается файл тестирования с расширением *.scf. После проверки на правильность функционирования разработчик имеет возможность записать программу в ПЛИС, используя программатор.

При разработке проекта имеется возможность использования различных логических элементов - от примитивов до сложных узлов, хранящихся в соответствующих библиотеках.