Садржај
- Дефиниција - Шта значи дисјунктивни нормалан облик (ДНФ)?
- Увод у Мицрософт Азуре и Мицрософт Цлоуд | Кроз овај водич научићете о томе шта се рачуна у облаку и како вам Мицрософт Азуре може помоћи да мигрирате и покренете посао из облака.
- Техопедија објашњава дисјунктивну нормалну форму (ДНФ)
Дефиниција - Шта значи дисјунктивни нормалан облик (ДНФ)?
Нормална дисјунктивна форма (ДНФ) је нормализација логичке формуле из логичке математичке логике. Другим речима, логичка формула се каже да је у дисјунктивном нормалном облику ако је дисјункција коњункција са сваком променљивом и њена негација је присутна једном у свакој коњункцији. Сви нормални облици дисјункције нису јединствени, јер су сви нормални дисјунктивни облици за исти предлог међусобно еквивалентни.
Нормални дисјунктивни облик се широко користи у областима као што су аутоматско доказивање теорема.
Увод у Мицрософт Азуре и Мицрософт Цлоуд | Кроз овај водич научићете о томе шта се рачуна у облаку и како вам Мицрософт Азуре може помоћи да мигрирате и покренете посао из облака.
Техопедија објашњава дисјунктивну нормалну форму (ДНФ)
Логичка формула је у нормално дисјунктивном облику ако и само ако постоји измена једне или више коњункција једног или више буквалиста. Формула се сматра потпуном дисјунктивном нормалном формом ако су све укључене променљиве представљене само једном у свакој реченици. Слично коњуктивном нормалном облику, пропозициони оператори у дисјунктивном нормалном облику су исти: И, ИЛИ и НЕ.
Све логичке формуле могу се претворити у еквивалентну нормалну дисјунктивну форму. Међутим, у неким случајевима експоненцијална експлозија логичке функције могућа је због претварања у дисјунктивни нормалан облик. Друга истакнута тачка је да било која јединствена боолова функција може бити представљена само једним и јединственим нормалним дисјунктивним нормалним обликом. Помоћу техника као што су метода табеле истине, стабла истине или табела логичких еквивалента, може се створити дисјунктивна нормална форма за логичке формуле. К-ДНФ, варијација нормалне дисјунктивне форме, широко се користи и популаран је у истраживању рачунарске сложености.