Мүлтіксіз дизюнктивті, конъюнктивті қалыпты форма (МДҚФ, МКҚФ ).
Анықтама. Кез келген формуланы оған эквивалентті ДҚФ-ті ҚҚФ-ке түрлендірудің алгоритмі.
  формулаға түрлендіруге болады, мұндағы  -не айнымалы, не оның терістеуі немесе айнымалы мен оның терістеуінің дизъюнкциясы (конъюнкциясы). Осындай формула берілген формуланың дизъюнктивті ( конъюнктивті). қалыпты түрі деп аталады.
Мүлтіксіз дизюнктивті қалыпты форма (МДҚФ)
Анықтама. Айталық, А формуласы < > айнымалыларынан тәуелді болсын. Егер төмендегі шарттар орындалса А формуласы берілген айнымалылар тізімінде мүлтіксіз дизъюнктивті қалыпты формада делінеді.
А- дизъюнктивті қалыпты формада (элементар конъюнктер дизъюнкциясы)
А- ның әрбір дизъюнктивті мүшесі к-мүшелі конъюнкция және бұл конъюнкцияның әрбір  - орында ( ) не  айнымалысы не оның терістеуі орналасады. А- ның барлық дизъюнктивті мушелері өзара әртүрлі.
Мысалы,  -айнымалылар тізімінде ( -дизъюнктивті қалыпты формалар.
Достарыңызбен бөлісу: |
