Съдържание:
- Определение - Какво означава конюнктивна нормална форма (CNF)?
- Техопедия обяснява конюнктивната нормална форма (CNF)
Определение - Какво означава конюнктивна нормална форма (CNF)?
Конюнктивната нормална форма (CNF) е подход към булева логика, който изразява формулите като съединения на клаузи с AND или OR. Всяка клауза, свързана с конюнктура, или AND, трябва да бъде или буквална, или да съдържа разединение, или оператор ИЛИ. CNF е полезен за доказване на автоматизирана теорема.
Техопедия обяснява конюнктивната нормална форма (CNF)
В конюнктивна нормална форма изявленията по булева логика са съединения на клаузи с клаузи на дизъюнкции. С други думи, оператор е поредица от ИЛИ, свързани с ANDs.
Например:
(А ИЛИ Б) И (В ИЛИ)
(ИЛИ Б) И (НЕ В ИЛИ Б)
Клаузите могат да бъдат и буквални:
А ИЛИ Б
А И Б
Литералите се разглеждат в CNF като съединения на буквални клаузи и връзки, които случайно имат една клауза. Възможно е да конвертирате изявления в CNF, които са написани под друга форма, като дизюнктивна нормална форма.
