Шаблон. Пособие ИМПС. Практикум по интегральной и микропроцессорной схемотехнике

• Название: Практикум по интегральной и микропроцессорной схемотехнике
• Анкор: Шаблон
• Дата: 13.09.2022
• Размер: 1.32 Mb.
• Имя файла: Пособие ИМПС.docx
• Тип: Практикум; #674767
• страница: 5 из 54

Закон отрицания отрицания

А  A

5. 
   Закон коммутативности (переместительный)
   

А+В=В+А

А*В=В*А

6. 
   Закон ассоциативности (сочетательный)
   

(А+В)+С=А+(В+С)

(А*В)*С=А*(В*С)

7. 
   Закон дистрибутивности (распределительный)
   

А*(В+С)=(А*В)+(А**С)

А+В*С= (А+В)*(А+С)

8. 
   Закон поглощения (элиминации)
   

А*(А+В)=А	А*( А+В)=А*В
А+А*В=А	А+ А*В=А+В

9. 
   Закон склеивания (исключения)
   

(А+В)* (А+ В)=А

А*В + А* В=А

10. 
    Закон дуальности де Моргана (общей инверсии)
    

А* В= А+ В	Инверсия конъюнкции есть дизъюнкция инверсий
А В= А* В	Инверсия дизъюнкции есть конъюнкция инверсий

Показывает переход от конъюнктивной нормальной формы (КНФ) к дизъюнктивной нормальной форме (ДНФ) и наоборот.

3. Содержание лабораторной работы Задание:

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

Порядок выполнения:

1. 
   Загрузить ППП PROTEUS ISIS 7.
   
2. 
   Реализовать на ключах и логических элементах схемы, показывающие работу аксиом и законов алгебры логики.
   

Примечание: Пример реализации аксиомы (1*А=A) изображен на рисунке 2.1.




Рисунок 2.1 – Реализация логического тождества