formulaning MDNShi xyzu xyzu hosil bo‘ladi. ■ - 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.
- - misol. Ushbu (x y)(x y)(x y) formula x va y elementar mulohazalarga nisbatan
MKNShda bo‘lsada, u to‘liq MKNShda emas. x va y elementar mulohazalarga nisbatan to‘liq MKNShi ifodasi (x y)( x y)( x y)( x y) ko‘rinishga ega. MDNShdagi xyz xyz xyz xyz formula x , y va z elementar mulohazalarga nisbatan to‘liq MDNShda emas, lekin xyz xyz xyz xyz x yz xyz xyz x y z formula bu elementar mulohazalarga nisbatan to‘liq MDNShdagi formuladir. ■
Muammoli masala va topshiriqlar
- 3- misoldagi teng kuchliliklarning to‘g‘riligini tekshiring.
- Ushbu bobning 5- paragrafidagi 1- topshiriqda ifodalangan formulalarning har biri uchun MKNSh va MDNSh toping.
- Quyidagi formulalarning har biri uchun MKNSh va MDNSh toping:
- a(bc ab) ; b) x yz ; d) (x y) xy y ;
e) x(x y) ; f) (a b) (b a) ; g) (x z) yz ;
- (ab bc) (abc a); i) (a b ) (bc ac ) ;
j) ((x y) (z x)) ((x y) (z x)).
- To‘g‘ri elementar kon’yunksiya va to‘g‘ri elementar diz’yunksiya deganda nimalarni tushunasiz?
- Berilgan elementar kon’yunksiya (diz’yunksiya) to‘liq elementar kon’yunksiya (diz’yunksiya) bo‘lishi uchun qanday shartlar bajarilishi kerak?
- Formulaning mukammal kon’yunktiv normal shakli deganda nimani tushunasiz?
- Formulaning diz’yunktiv normal shakli bilan uning mukammal diz’yunktiv normal shakli orasida qanday farq bor?
- Qanday vaziyatda mantiqiy formulani MKNShga keltirish algoritmini qo‘llash mumkin?
- Formulani MKNShga keltirish jarayonida agar qandaydir elementar diz’yunksiya ifodasida biror o‘zgaruvchi bir necha marta qatnashgan (barcha hollarda yo inkor ishorasi ostida yoki barcha hollarda inkor ishorasi ostida emas) bo‘lsa, u holda nima qilinadi?
- Formulani MKNShga keltirish jarayonida agar elementar diz’yunksiya ifodasida biror o‘zgaruvchi
yoki uning inkori topilmasa, uholda bu o‘zgaruvchini formulaning tarkibiga qanday qilib kiritish mumkin?
- Nima uchun formulani MKNShga keltirish algoritmining 3- bandida agar KNSh ifodasidagi barcha
elementar diz’yunksiyalar to‘g‘ri elementar diz’yunksiyalar bo‘lsa, u holda algoritmning 6- bandiga o‘tilmasdan uning 4- bandiga o‘tiladi?
- Qanday qilib berilgan formulaning inkori uchun aniqlangan MKNShdan uning MDNShi topiladi?
- To‘liq MKNSh va to‘liq MDNSh deganda nimani tushunasiz?
Do'stlaringiz bilan baham: |
