Розв'язник вправ по дискретній математиці/Булева алгебра/Диз'юнктивна та кон'юнктивна нормальні форми: відмінності між версіями

Вилучено вміст Додано вміст
Vlasenko D (обговорення | внесок)
оформлення, уточнення
Vlasenko D (обговорення | внесок)
вікіфікація
Рядок 1:
== Побудова ДНФ та КНФ ==
Розглянемо розв'язання цієї задачі на прикладі. Дана функція <math>f(x,y,z)=(00111100)</math>. Спочатку будуємо [[:w:Таблиці істинності|таблицю істинності]], а значення функції підставляємо в том ж порядку, в я кому вона і дана (знак (-) означає функцію "ні").
{| class="wikitable"
|-
Рядок 21:
| 1 || 1 || 1 || 0
|}
Для того щоб створити [[:w:Диз'юнктивна нормальна форма|диз'юнктивну нормальну форму]] потрібно дивитися лише на ті значення функції які дорівнюють "1". Наступний крок - зробити так, щоб змінні при кон'юнкції між собою давали стовідсоткову 1 (Приклад у таблиці). Тобто диз'юнктивна нормальна форма матиме такий вигляд:
: <math>f(x,y,z)=(\overline x \land y \land \overline z)\vee (\overline x \land y \land z)\vee (\ x \land \overline y \land \overline z)\vee (\ x \land \overline y \land z)</math>