Частина тексту файла (без зображень, графіків і формул):
Основні властивості ФАЛ за Постом. Методи виявлення ФПС ФАЛ із цими властивостями.
Для побудови ПС(повна система) ФАЛ(Функція Алгебри-Логіки) яка має хоч би одну функцію, яка не зберігає константу 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 - лінійна
Приклад
нелінійна
лінійна