From 902f9aa4c18c07969ca085bd4e0b719907d3a6c1 Mon Sep 17 00:00:00 2001
From: Mora Unie Youer <mora_unie_youer@riseup.net>
Date: Mon, 20 Jul 2026 19:14:22 +0300
Subject: snapshot: 2026-07-20

---
 4e1rlf.md | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 4e1rlf.md

(limited to '4e1rlf.md')

diff --git a/4e1rlf.md b/4e1rlf.md
new file mode 100644
index 0000000..6b40ac1
--- /dev/null
+++ b/4e1rlf.md
@@ -0,0 +1,27 @@
+---
+id: 4e1rlf
+date: 2026-07-20T15:11:51+0300
+languages: [ru]
+aliases:
+
+reviews:
+
+tags:
+- draft
+- knowledge
+---
+# Совершенная конъюнктивная нормальная форма (СКНФ)
+
+СКНФ - конъюнкция всех элементарных дизъюнкций, где функция равна 0.
+Для построения выбираются строки со значением 0 и для каждой строки записывается дизъюнкция:
+- Если переменная равна 0 - прямая переменная в терме
+- Если переменная равна 1 - обратная переменная в терме
+Далее все дизъюнкции соединяются конъюнкцией.
+Существует альтернативная форма записи СКНФ как суммы номеров термов:
+$F(x_1, x_2, x_3, x_4) = \sum_0 (1, 5, 8, 9, 12, 15)$
+
+## Up
+- [Алгебра логики](c5oolf)
+
+## Related
+- [Формы представления функций алгебры логики](aviwp1)
-- 
cgit v1.2.3-70-g09d2