У роботі розглядаються
- Функції алгебри логіки
- Критерій Поста
- Повні системи функцій
- Лінійність ФАЛ
- Монотонність ФАЛ
- Самодвоїстість ФАЛ
- Збереження констант
Основні властивості ФАЛ за Постом. Методи виявлення ФПС ФАЛ із цими властивостями
Інформація про навчальний заклад
ВУЗ:
Національний університет Львівська політехніка
Інститут:
Інститут комп’ютерних наук та інформаційних технологій
Факультет:
Комп’ютерні науки
Кафедра:
Захист інформації
Інформація про роботу
Рік:
2011
Тип роботи:
Державний іспит
Предмет:
Прикладна теорія цифрових автоматів
Група:
КН-1
Варіант:
8
Коротко про документ
Про що ця робота
Розглядаються базові властивості функцій алгебри логіки за критерієм Поста. Описано метод перевірки збереження констант, монотонності, самодвоїстості та лінійності ФАЛ.
Зміст і розділи
- Основні властивості ФАЛ за Постом
- Збереження констант 0 та 1
- Монотонні функції
- Самодвоїсті функції
- Лінійні функції та поліном Жегалкіна
Для кого:Студенти технічних та комп'ютерних спеціальностей вищих навчальних закладів.
Викладачі:Комісія
Ключові поняття
ФАЛкритерій Постаполіном Жегалкінамонотонністьсамодвоїстістьлінійністьконстантабазиснабір змінних
Частина тексту файла (без зображень, графіків і формул):
Основні властивості ФАЛ за Постом. Методи виявлення ФПС ФАЛ із цими властивостями.
Для побудови ПС(повна система) ФАЛ(Функція Алгебри-Логіки) яка має хоч би одну функцію, яка не зберігає константу 0, не зберігає константу 1, нелінійна, немонотонна, несамодвоїста.
X
Y
F1
F2
F3
0
0
0
1
0
Якщо функція на нульовому наборі змінних дорівнює 0, то ф-ція зберігає конст. 0.
X
Y
F1
F2
F3
0
0
0
1
0
0
1
1
0
1
1
0
1
1
1
1
1
0
0
1
Const 0
+
-
+
Якщо функція на одиничному наборі змінних дорівнює 1, то ф-ція зберігає конст. 1.
X
Y
F1
F2
F3
0
0
0
1
0
0
1
1
0
1
1
0
1
1
1
1
1
0
0
1
Const 1
-
+
-
X
Y
F1
F2
F3
1
1
0
1
0
ФАЛ назив. монотонною, якщо при будь-якому зростанні кількості 1 у послідовності сусідніх( тобот на тих, які відрізняються тільки в одному розряді) на наборі змінних значення функції не змінюється або збільшується.
X
Y
F1
F2
F3
0
0
0
1
0
0
1
1
0
1
1
0
1
1
1
1
1
0
0
1
монотон
-
-
+
ФАЛ назив. самодвоїстою, якщо на кожній парі протилежних наборів (х0,х1,..) та (#х0, #х1,..) вона приймає протилежні значення.
X
Y
F1
F2
F3
0
0
0
1
0
0
1
1
0
1
1
0
1
1
1
1
1
0
0
1
монотон
-
+
-
0
0
0
1
0
1
1
0
0
1
-
+
+
0
1
1
0
1
1
0
1
1
1
-
+
-
ФАЛ назив. лінійною , якщо її можна зобразити поліномом 1 порядку в базисі Жегалкіна без добутків змінних ВС(АС(1 – нелінійна
А(С(1 - лінійна
Приклад
нелінійна
лінійна
Допоможи студентському архіву
Ми допомогли тобі — допоможи наступному студенту
Оголошення від адміністратора
Подякувати Студентському архіву довільною сумою
Admin
26.02.2023 12:38
Дякуємо, що користуєтесь нашим архівом!