![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
При проектировании цифровых устройств пользуются аксиомами алгебры логики. Законы алгебры логики вытекают из аксиом п. 12.2. Здесь они приводятся без доказательства. Их правильность легко проверить по таблицам истинности либо путём подстановки 0 и 1 вместо соответствующих значений переменных.
Основные законы алгебры логики представляют собой комбинации из инверсий, дизъюнкций и конъюнкций над логическими переменными и возможные соотношения между ними.
1. Переместительный закон: х 1 + х 2 = х 1 + х 2; х 1 ∙ х 2 = х 2 ∙ х 1.
2. Сочетательный закон: х 1 (х 2 ∙ х 3) = (х 1 ∙ х 2) х 3 = х 2 (х 1 ∙ х 3).
3. Распределительный закон: х 1 ∙ х 2 + х 1 ∙ х 3 = х 1 (х 2 + х 3);
(х 1 + х 2) ∙ (х 1 + х 3) = х 1 + (х 2 ∙ х 3).
4. Закон универсального множества: 1 + х 1 + х 2 +…+ хn = 1.
5. Закон нулевого множества: 0 ∙ х 1 ∙ х 2 ∙…∙ хn = 0.
6. Законы повторения: х + х +…+ х = х; х ∙ х ∙…∙ х = х.
7. Закон многократной инверсии: ;
.
8. Законы дополнительности: ;
.
9. Законы поглощения: х 1 + х 1 ∙ х 2 = х 1; х 1 (х 1 + х 2) = х 1.
10. Законы склеивания: ;
.
11. Законы отрицания:
· функция Шеффера – это отрицание коньюнкции и читается И-НЕ
;
· функция Пирса – это отрицание дизъюнкции и читается ИЛИ-НЕ
.
Функции Шеффера и Пирса являются полными, так как посредством этих функций можно описать работу сколь угодно сложного логического устройства.
12. Закон Блэка-Порецкого:
;
.
Дата публикования: 2015-01-23; Прочитано: 213 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!