---
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)