Даврий технологик жараёнларни автоматлаштириш муаммоси

ДМНШ нинг бошқа зарур хоссаси ҳамма элементар конъюнкацияларда ҳамма аргументларнинг мавжудлигидир. Масалан, учта ўзгарувчили функция учун

_

ифода ДМНШ бўлади,

_
ёйилма ДМНШ бўлмайди. Агар функция конюкациялар дизъюнкация­си кўринишида ифодаланса (улар ҳар бир аргументни ўз ичига албатта олмаган бўлса), у ҳолда бундай ифода дизъюнктив нормал шакл (ДНШ) деб аталади.

Юқорида буль алгебраси учун ёки ёқламалик аксиомаси тўғри экани таъкидланган эди. Унинг қўлланилиши конъюнкатив мукаммал нормал шакл (КМНШ)ни ҳосил қилишга имкон беради. Оралиқ шакл алмаштиришларни ташлаб кетиб, қуйидаги ифодани ҳосил қиламиз:

_ (19.14)
Агар нол ва бирлик элементлар ҳақидаги (5, 9, 5, 10) аксиомалар ҳисобга олинса, у ҳолда КМНШ нинг қуйидаги хоссасини аниқлаш мумкин. Олдиндан нуқта координаталари ва ҳамма аргументлар дизъюнкциялари ҳамда уларнинг инкорлари ўртасида мослик ўрнатамиз, уни КМНШ билан аналогия бўйича элементар деб атаймиз. Бу мослик оддийгина ўрнатилади, бу мисолдан кўриниб турибди. Учта аргумент (0, 1, 0) функция координатасига _ элемен­тар дизъюнкция мос келади, (1,0, 1) координатага _