Кукон давлат педагогика институти

Таъриф: Дизъюнктив нормал форма (ДНФ) деб, конъюктив бир хадларнинг дизъюнкциясига айтилади.

К К... К. Бу ерда Клар конъюктив бир хадлар (баъзилари бир бири билан устма-уст тушиши мумкин.)

Таъриф: Конъюктив нормал форма деб, дизъюнктив бир хадларнинг конъюкциясига айтилади.

D D...D. Бу ерда Dлар дизъюнктив бир хадлардир(баъзилари бир-бири билан устма-уст тушиши мумкин).

Бу таърифларда p=1, q=1 булиши мумкин яъни конъюктив бир хад ёки дизъюнктив бир хаднинг узлари хам нормал форма дейилиши мумкин. Куриш мумкинки хар кандай формулаларни хам конъюктив, хам дизъюнктив нормал формулаларга келтириш мумкин.Масалан.

PQ  ( P Q) ёки PQ  ( P Q)

Бунда, юкорида айтиб утилган 4.4 тенг кучли формулалардан 18, 22 ларни куллаш хамда Де морген конунидан, дистрбютив конунлардан фойдаланиш мумкин. Берилган F формулани (ДНФ) ва (КНФ) ларга жуда хам кул усулда келтириш мумкин. Улардан баъзилари “йирикрок” куринишда, баъзи бирлари соддарок куринишда булиши мумкин.

Мулохазалар алгебрасидаги F формула дизъюнктив (конъюктив) нормал формулалари ичида ажойиб булган ягона бир куриниши мавжуд. Бу куриниш одатда такомиллашган дизъюнктив (конъюктив)нормал форма деб юритилади.