Шаблон. Пособие ИМПС. Практикум по интегральной и микропроцессорной схемотехнике
 Скачать 1.32 Mb.
|
Контрольные вопросыКакие значения могут принимать переменные в алгебре логики? Перечислите операции алгебры логики? Графическое обозначение логических элементов? Каким может быть число входов элемента "НЕ","И-НЕ","ИЛИ- НЕ"? Каким может быть число входов элемента "И", "ИЛИ", "Исключающее ИЛИ" ? Лабораторная работа №2. АКСИОМЫ АЛГЕБРЫ ЛОГИКИЦель работы: Изучение основных законов алгебры логики. Проверка основных законов алгебры логики экспериментальным путём при помощи логических элементов и коммутационных устройств. Краткие сведения из теорииАлгебра логики – один из разделов математической логики. Её создателем является англичанин Джордж Буль (1815г – 1864г), поэтому алгебру логики называют булевой алгеброй. Начальным понятием булевой алгебры является высказывание. Алгеброй логики (АЛ) называется аппарат, который позволяет выполнять действия над высказываниями. Высказывание – это некоторое предложение, о котором можно утверждать истинно оно или ложно. Высказывание обозначают буквой (идентификатором). Если высказывание истинно, то его обозначают единицей, если ложно – нулём. Булевы выражения встречаются в двух основных формах: Сумма произведений. Дизъюнктивная нормальная форма (ДНФ) F= (А*В)+(С*D) Произведение сумм. Конъюнктивная нормальная форма (КНФ) F= (А+В)*( С+D) Как и обычная алгебра, булева алгебра содержит ряд фундаментальных правил, которые принимаются без доказательства и называются аксиомами. Аксиомы служат основой для доказательства теорем, являющихся законами булевой алгебры. Аксиомы и законы используются для упрощения булевых функций. Алгебра логики строится на основе следующих аксиом: Аксиома действия с «1»
Аксиома действия с «0»
Аксиома повторения
На основе рассмотренных выше аксиом, выводятся теоремы, содержащие основные законы АЛ: |