Zawartość
- Definicja - Co oznacza Disjunctive Normal Form (DNF)?
- Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.
- Techopedia wyjaśnia Disjunctive Normal Form (DNF)
Definicja - Co oznacza Disjunctive Normal Form (DNF)?
Rozłączna postać normalna (DNF) to normalizacja logicznej formuły w logice matematycznej. Innymi słowy, mówi się, że logiczna formuła jest w normalnej formie rozłącznej, jeśli jest to rozłączenie koniunkcji z każdą zmienną, a jej negacja występuje raz w każdej koniunkcji. Wszystkie normalne formy rozłączne nie są unikalne, ponieważ wszystkie normalne formy rozłączne dla tej samej propozycji są wzajemnie równoważne.
Rozłączna postać normalna jest szeroko stosowana w obszarach takich jak automatyczne potwierdzanie twierdzeń.
Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.
Techopedia wyjaśnia Disjunctive Normal Form (DNF)
Logiczna formuła jest w normalnej formie rozłącznej wtedy i tylko wtedy, gdy istnieje przemienność jednej lub więcej koniunkcji jednego lub więcej literałów. Formuła jest uważana za w pełnej rozłącznej postaci normalnej, jeśli wszystkie zmienne są reprezentowane tylko raz w każdej klauzuli. Podobnie jak w normalnej postaci łączącej, operatory zdań w normalnej formie rozłącznej są takie same: AND, OR i NOT.
Wszystkie formuły logiczne można przekształcić w równoważną normalną formę rozłączną. Jednak w niektórych przypadkach eksponencjalna eksplozja funkcji logicznej jest możliwa dzięki konwersji do normalnej postaci rozłącznej. Inną istotną kwestią jest to, że każda unikalna funkcja boolowska może być reprezentowana tylko przez jedną i unikalną, całkowicie rozłączną postać normalną. Za pomocą takich technik, jak metoda tabeli prawdy, drzewa prawdy lub tabela logicznych równoważników, można wygenerować rozłączną postać normalną dla formuł logicznych. K-DNF, odmiana postaci normalnej rozłącznej, jest szeroko stosowany i popularny w badaniach nad złożonością obliczeniową.