Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Законы (правила преобразования) алгебры логики

Читайте также:
  1. Базовые законы формирования языка с позиций классического языкознания.
  2. Борьба за нормальный рабочий день. Принудительные законы об удлинении рабочего дня с середины XIV до конца XVII столетия
  3. Виды трения. Законы трения скольжения
  4. Воскресные законы - почтение Рима
  5. Всеобщее деление логики
  6. Всеобщее понятие логики
  7. ВТОРОЙ ЭТАП. РАЗВИТИЕ ЛОГИКИ И ПОСЛЕДОВАТЕЛЬНОСТИ

 

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

Таблица 5.3 Правила преобразования алгебры логики

 

Логические формулы Закон
a b = b a ; a + b = b + a Переместительный
( a + b ) c = a c + b c Распределительный
( a + c ) ( b + c ) = a b + c Распределительный
a.a = a ; a + a = a Повторения
a .1 = a ; a + 1 = 1 Множества
Дополнения
де Моргана
де Моргана
Склеивания

 

Докажем справедливость неочевидных преобразований:

;

;

.

 

Справедливость привил де Моргана докажем, сравнив таблицы соответствия.

 

 

 

Сравнивая восьмой и девятый столбцы, докажем равенство .

Сравнивая седьмой и десятый столбцы, докажем равенство .

 


Дата добавления: 2015-07-24; просмотров: 65 | Нарушение авторских прав


Читайте в этой же книге: Основные определения алгебры логики | Переход от логической формулы к логической схеме | Основные параметры и характеристики ЦИС | Основные серии цифровых интегральных схем | Схемотехника логических элементов на диодах | Схемотехника ТТЛ логики | Схемотехника КМОП логических элементов | Сумматоры | Дешифраторы | Мультиплексоры |
<== предыдущая страница | следующая страница ==>
Представление логических функций| Минимизация логической функции с помощью карты Карно

mybiblioteka.su - 2015-2019 год. (0.007 сек.)