Практическое занятие. СДНФ, СКНФ, МДНФ. Упрощение контактных схем.
|
|
|
|
|
|
|
|
|
|
|
Принят следующий приоритет выполнения логических операций: 
, (&, |, 
), 
, 
, (~, 
). Если необходимо изменить порядок их выполнения, то используют круглые скобки.
Для любых формул 
логики высказываний справедливы следующие основные равносильности:
1) 
;
2) 
3) 
4) 
(идемпотентность)
5) 
(закон двойного отрицания)
6) 
(законы поглощения)
7) 
(законы расщепления)
8) 
(законы де Моргана)
9) 
, 
, 
, 
, 
Записать СДНФ и найти МДНФ формулы 
заданной таблицей истинности:
1. 
. Ответ: МДНФ 
2. 
. Ответ: МДНФ 
и 
3. 
. Ответ: МДНФ 
и 
4. 
. Ответ: МДНФ 
5. 
. Ответ: МДНФ 
Дана функция проводимости 
контактной схемы. Требуется:
а) записать её в 
и изобразить соответствующую ей контактную схему;
б) записать 
;
в) найти 
и изобразить упрощённую контактную схему.
1. 
Ответ: 
.
2. 
Ответ: 
.
3. 
Ответ: 
.
Дата добавления: 2015-08-27; просмотров: 71 | Нарушение авторских прав
| <== предыдущая лекция | | | следующая лекция ==> |
| Весовой коэффициент = Число выбранных критериев/Ранг критерия | | | О направлении студентов |
