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