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

Вилучено вміст Додано вміст
Немає опису редагування
Немає опису редагування
Рядок 83:
| 1 || 0 || 1 || 1 || 0
|-
| 1 || 1 || 0 || 0 || 01 <math>(\ x \land y \land \overline z \land \overline g)</math> - дає 1
|-
| 1 || 1 || 0 || 1 || 01 <math>(\ x \land y \land \overline z \land g)</math> - дає 1
|-
| 1 || 1 || 1 || 0 || 1 <math>(\ x \land y \land z \land \overline g)</math> - дає 1
Рядок 92:
|}
Схема розв'язння функції з чотирма змінними така ж сама. Отже, ДНФ має такий вигляд:
<math>f(x,y,z,g)=(\overline x \land \overline y \land \overline z \land \overline g)\vee(\overline x \land \overline y \land \overline z \land g)\vee(\overline x \land \overline y \land z \land \overline g)\vee(\overline x \land y \land z \land \overline g)\vee (\ x \land y \land \overline z \land \overline g)\vee(\ x \land y \land \overline z \land g)\vee(\ x \land y \land z \land \overline g)\vee(\ x \land y \land z \land g)</math>
{| class="wikitable"
Рядок 122:
| 1 || 0 || 1 || 1 || 0 <math>(\overline x \vee y \vee \overline z \vee \overline g )</math> - дає 0
|-
| 1 || 1 || 0 || 0 || 0 <math>(\overline x \vee \overline y \vee z \vee g )</math> - дає 01
|-
| 1 || 1 || 0 || 1 || 01 <math>(\overline x \vee \overline y \vee z \vee \overline g )</math> - дає 0
|-
| 1 || 1 || 1 || 0 || 1
Рядок 131:
|}
За аналогією створюємо КНФ:
<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>
</math>
 
===== Для удосконалення знань: з теми:=====
https://uk.wikipedia.org/wiki/%D0%94%D0%BE%D1%81%D0%BA%D0%BE%D0%BD%D0%B0%D0%BB%D0%B0_%D0%B4%D0%B8%D0%B7%27%D1%8E%D0%BD%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B0_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%84%D0%BE%D1%80%D0%BC%D0%B0
https://uk.wikipedia.org/wiki/%D0%94%D0%BE%D1%81%D0%BA%D0%BE%D0%BD%D0%B0%D0%BB%D0%B0_%D0%BA%D0%BE%D0%BD%27%D1%8E%D0%BD%D0%BA%D1%82%D0%B8%D0%B2%D0%BD%D0%B0_%D0%BD%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0_%D1%84%D0%BE%D1%80%D0%BC%D0%B0