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

|}

Для того щоб створити диз'юнктивну нормальну форму потрібно дивитися лише на ті значення функції які дорівнюють "1". Наступний крок - зробити так, щоб змінні при кон'юнкції між собою давали стовідсоткову 1 (Приклад у таблиці). Тобто диз'юнктивна нормальна форма матиме такий вигляд:

 

Для створення кон'юнктивної нормальної форми скористаємося тими значення, де вона дорівнює "0". Робимо все по аналогії, але тепер диз'юнкція між змінними повинна дорівнювати "0".

 

<math>f(x,y,z)=(x \vee y \vee z)\land (x \vee y \vee z)\land (\overline x \vee \overline y \vee z)\land (\overline x \vee \overline y \vee z)</math>

 

Розглянемо приклад функції, яка залежить від чотирьох змінних <math>f(x,y,z,g)=(1110001000000011)</math>. Будуємо таблицю істинності.

<math>f(x,y,z,g)=(\ x \vee y \vee \overline z \vee \overline g )\land (\ x \vee \overline y \vee z \vee \overline g )\land (\ x \vee \overline y \vee z \vee \overline g )\land (\ x \vee \overline y \vee \overline z \vee \overline g )\land (\overline x \vee y \vee z \vee g )\land (\overline x \vee y \vee z \vee g )\land (\overline x \vee y \vee z \vee \overline g )

\land (\overline x \vee y \vee \overline z \vee g )\land (\overline x \vee y \vee \overline z \vee \overline g )\land (\overline x \vee \overline y \vee z \vee g )\land (\overline x \vee \overline y \vee z \vee \overline g )</math>