diff options
Diffstat (limited to '4e1rlf.md')
| -rw-r--r-- | 4e1rlf.md | 27 |
1 files changed, 27 insertions, 0 deletions
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) |
