"justify"> F ДДНФ=
.
F ДКНФ=
Алгебра Жегалкіна (викл. АБО, І, const 1)
Одержуємо з ДДНФ путем Наступний замін:
- АБО замініті на викл. АБО
-=X 1
F ДДНФ=
Алгебра Пірса (АБО-НЕ)
Одержуємо з ДКНФ путем! застосування правила де-Моргана:
F ДКНФ=
Алгебра Шеффера (І-НЕ)
Отрімуємо з ДДНФ путем! застосування правила де-Моргана
F ДДНФ=
2.2 Візначімо належність Функції f 4 до 5 передповніх класів
До 0 - Включає всі Функції, Які зберігають 0;
До 1 - Включає всі Функції, Які зберігають 1;
К С - Включає всі самодвоїсті Функції;
До Л - Включає всі лінійні Функції;
К М - Включає всі Функції, Які монотонні.
Класіко 0 До 1 К С К Л К М f 4 ++ - - 0 - зберігає нуль f (0000)=0;
K 1 - зберігає одиницю f (+1111)=1;
До С - не самодвоїста f (+0001)=1 f (+1110)=1;
До Л - поліном Жегалкіна НЕ є лінійнім;
До М - не монотонна f (0011)=1 f (0111)=0.
2.3 Мінімізація Функції f 4
Мінімізація Функції методом невизначенності Коефіцієнтів
Суть методу Полягає в знаходженні ненульовіх Коефіцієнтів при Кожній імпліканті. Запішемо Рівняння для знаходження Коефіцієнтів у виде табліці (таб.2.1). Вікреслімо рядки, де функція пріймає нульові значення. Вікреслімо Вже знайдені нульові КОЕФІЦІЄНТИ в тихий рядках табліці, что залиша. Чи не вікреслені імпліканті поглінають імпліканті розташовані праворуч від них.
Таб.2.2 Мінімізація методом невизначенності Коефіцієнтів
f 4 X 4 X 3 X 2 X 1 X 4 X 3 X 4 X 2 X 4 X 1 X 3 X 2 X 3 X 1 X 2 X 1 X 4 X 3 X 2 X 4 X 3 X 1 X 4 X 2 X 1 X 3 X 2 X 1 X 4 X 3 X 2 X 1 00000 +0000000000000000000000000000 10001 000001000101000 001+ 001 001-0001 * 00010 +0001000100100010000100100010 10011 000101010111001 001 + 011011 0011 * 00100 +0100001010000100100001000100 00101 +0100011011010100110011010101 00110 +0101001110100110100101100110 00111 +0101011111110110110111110111 11000 101010000000 100-100 + 100 + 000 1000 * 11001 101011000101 100- 101101 001-1001 * 11010 101110010010101 100+ 110010 1010 * 01011 +1011110101111011011110111011 11100 111010101000110110 100 + 100 1100 * 01101 +1110111011011101111011011101 01110 +1111101110101111101101101110 11111 +111111111111111111111111 1111+
Ядро
F ТДНФ1=
F ТДНФ2=
F МДНФ =.
Мінімізація методом Квайна-Мак-Класкі
Віходячі з табліці істінності запішемо стовпчики ДДНФ, розподілівші терми за кількістю одиниць. Проведемо попарно Склеювання между сусіднімі групами.
До 0:
До 1:
1111
X1
X001
X
10X0
X00
Подалі Склеювання НЕ можливе. Виконаємо поглінання термів:
До 0: До 1: +0001
1000
0 011
1100
1111
X1 +
X001 +
X +
X0 +
X00 + Побудуємо таблицю покриття (таб.2.3):
Таблиця 2.3 Таблиця покриття
000110000011100110101100111100X1VVX001V...