diff options
| author |  Mora Unie Youer <mora_unie_youer@riseup.net> | 2026-07-20 19:14:22 +0300 |
|---|---|---|
| committer | Mora Unie Youer <mora_unie_youer@riseup.net> | 2026-07-20 19:14:22 +0300 |
| commit | 902f9aa4c18c07969ca085bd4e0b719907d3a6c1 (patch) | |
| tree | 4ba28299ba170526437422fc48cde1b251ef8e5f /nvvo8f.md | |
| parent | snapshot: 2026-07-17 (diff) | |
| download | zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.gz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.bz2 zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.lz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.xz zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.tar.zst zk-902f9aa4c18c07969ca085bd4e0b719907d3a6c1.zip | |
snapshot: 2026-07-20
Diffstat (limited to 'nvvo8f.md')
| -rw-r--r-- | nvvo8f.md | 27 |
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) |