Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Рассмотрим на примере:
Возьмем логическую функцию f (сложное высказывание) в СДНФ и построим отрицание этой функции, т.е. функцию f, путем выписывания всех конституент единицы, не входящих в f.
Примеры:
Пусть f имеет вид
f=X1×X2×X3Ú X1×X2×X3Ú X1×X2×X3Ú X1×X2×X3
3 5 6 7
(мнемонический прием – приписать конституентам числа, которые получаются, если посмотреть на конституенты как на двоичные числа)
Отрицание функци f получим выписыванием недостающих конституент (недостающих двоичных чисел).
f=X1×X2×X3Ú X1×X2×X3Ú X1×X2×X3Ú X1×X2×X3
0 1 2 4
А теперь применим отрицание к функции f.
f = X1×X2×X3Ú X1×X2×X3Ú X1×X2×X3Ú X1×X2×X3 ≡
≡ (X1ÚX2ÚX3)×(X1ÚX2ÚX3)×(X1ÚX2ÚX3)×(X1ÚX2ÚX3) – СКНФ (функции f).
Пример 2:
f=X×Y×ZÚ X×Y×ZÚ X×Y×ZÚ X×Y×ZÚ X×Y×ZÚ X×Y×Z
2 7 0 5 4 3
f= X×Y×ZÚ X×Y×Z≡(XÚYÚZ)×(XÚYÚZ)
6 1
Переход от СКНФ к СДНФ.
Возьмем логическую функцию f в СКНФ и построим отрицание этой функции, т.е. функцию f, путем выписывания всех конституент нуля, не входящих в f.
Пусть f имеет вид
f=(XÚYÚZ)×(XÚYÚZ)
f=(XÚYÚZ)×(XÚYÚZ)×(XÚYÚZ)×(XÚYÚZ)×(XÚYÚZ)×(XÚYÚZ)≡
≡X×Y×ZÚX×Y×ZÚX×Y×ZÚX×Y×ZÚX×Y×ZÚX×Y×Z
Дата публикования: 2014-11-03; Прочитано: 1018 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!