blob: 6b40ac1548389944f399c3cebe2cc2c15a1d503f (
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: 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)
|
