blob: 7cf3584a79a7ac47edf340a7818b191ae713c496 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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)
|
