summaryrefslogtreecommitdiff
path: root/nvvo8f.md
diff options
context:
space:
mode:
Diffstat (limited to 'nvvo8f.md')
-rw-r--r--nvvo8f.md27
1 files changed, 27 insertions, 0 deletions
diff --git a/nvvo8f.md b/nvvo8f.md
new file mode 100644
index 0000000..fb1e872
--- /dev/null
+++ b/nvvo8f.md
@@ -0,0 +1,27 @@
+---
+id: nvvo8f
+date: 2026-07-20T15:10:43+0300
+languages: [ru]
+aliases:
+
+reviews:
+
+tags:
+- draft
+- knowledge
+---
+# Совершенная дизъюнктивная нормальная форма (СДНФ)
+
+СДНФ - дизъюнкция всех элементарных конъюнкций, для которых функция равна 1.
+Для построения выбираются строки со значением 1 и для каждой строки записывается конъюнкция:
+- Если переменная равна 0 - обратная переменная в терме
+- Если переменная равна 1 - прямая переменная в терме
+Далее все конъюнкции соединяются дизъюнкцией.
+Существует альтернативная форма записи СДНФ как суммы номеров термов:
+$F(x_1, x_2, x_3, x_4) = \sum_1 (1, 5, 8, 9, 12, 15)$
+
+## Up
+- [Алгебра логики](c5oolf)
+
+## Related
+- [Формы представления функций алгебры логики](aviwp1)