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

_(19.13)

Буль функциясининг бундай ифодаланиши дизъюнктив, нормал шакли (ДМНШ) дейилади. (19.13) ифодани таҳлил қилиш истаган буль функцияси ДМНШ каноник кўринишига ёйилиши мумкинлигини кўрсатади. У маълум нуқтадаги функция қийматининг ҳамма аргументлар конъюкциясига ёки уларнинг инкорларига кўпайтмасидан иборат ҳадлар бирлашмаси (дизъюнкцияси) бўлиб, шу билан бирга нуқта координаталари билан аргументлар конъюкцияси ўртасида қатъий бир қийматли мослик мавжуд бўлади. Масалан, 4 аргументли буль функцияси учун (0, 0, 1, 1) координатага _ конъюнкация мос келади, (1, 0, 1, 0) координатага эса _ конъюнкация мос келади ва ҳоказо. Ҳамма аргументлар ёки улар инкорларининг конънюкциялари элементар конъюнкациялар дейилади.

(20.13) ифодадан берилган функция нолга айланадиган аргументлар тўпламига (координаталарга) ДМНШ нинг нол ташкил этувчилари мос келиши келиб чиқади. Бундан ДМНШнинг муҳим хоссаси келиб чиқади, у қуйидагидан иборат: буль функциясининг ДМНШ га ёйилиши элементар конъюнкциялар бирлашмаси бўлиб, уларнинг мос координаталарида мазкур функция бирга тенг.