Mavzu: Normal formalar. Mdnf, mknf. Mulohazalar algebrasi formulalarini mdnf va mknf larda ifodalash

5- ta’rif. Agar formulaning MKNShi (MDNShi) ifodasida qatnashuvchi barcha elementar mulohazalardan tuzish mumkin bo‘lgan barcha elementar diz’yunksiyalar (kon’yunksiyalar) shu ifodada ishtirok etsa, u holda bunday MKNSh (MDNSh) to‘liq MKNSh (MDNSh) deb ataladi.

6- misol. Ushbu formula va elementar mulohazalarga nisbatan MKNShda bo‘lsada, u to‘liq MKNShda emas. va elementar mulohazalarga nisbatan to‘liq MKNShi ifodasi ko‘rinishga ega.

MDNShdagi formula , va elementar mulohazalarga nisbatan to‘liq MDNShda emas, lekin formula bu elementar mulohazalarga nisbatan to‘liq MDNShdagi formuladir. ■

1^“Mukammalkon’yunktiv normal shakl”iborasini, qisqacha, MKNSh, “mukammaldiz’yunktiv normal shakl” iborasini esa, MDNSh deb yozamiz.

2^Bu yerda va keyingi elementar diz’yunksiyalar uchun oralik teng kuchliliklarni tushirib qoldirdik.