N kj = {(0,1,0),(1,1,0)},
N kt = {(0,0,1),(1,0,1)},
Nki = {(0,0,0),(0,0,1)},
Nh = {(0,0,0),(0,1,0)} . (2)
Quyidagi savolga javob topaylik. N f to‘plamning N k^, N k^, N kj,N ki, N k , N k maksimal intervallardan iborat bo'lgan qoplamadan ayrim maksimal intervallami chetlashtirganimizda, qolgan qismi yana ning qobig‘i boMadimi yoki yo‘qmi?
(1) va (2) munosabatlardan quyidagilar kelib chiqadi:= NH , Nti = N t, W tt UN*..N,, = Л», Ш,, ЦЛГ,, UW»,, Nh - Nh UATl; I X , ,(3)
N ^ to‘plamning (3) da ko‘rsatilgan qoplamalaridan boshqa qopla-malari mavjud emas. Bu qobiqlar (1) keltirilgan qobiqdan ayrim maksimal intervallami chetlashtirish natijasida hosil qilingan. Shunday qilib, qo‘yilgan savolning birinchi qismiga ijobiy javob berdik.(3) da keltirilgan N ^ to‘plamning istalgan qoplamadan ixtiyoriy birorta maksimal intervalni chetlashtirganimizda, qolgan maksimal intervallar jV ; to‘plamning qoplamasi bo‘la olmaydi. Bunday qoplamalar N ^ to‘plamning keltirilmaydigan qoplam alari deb ataladi.
Shunday qilib,
1) N kiJ4k^,NkiJ4^ ; 2) N k^,Nki,Nk6 ; 3) N ktJVk2JVki,Nk6,я W b W . W
qobiqlar N f to‘plamning keltirilmaydigan qoplamalari bo‘ladi. ■
1 - t a ’rif. Agar N. , N. ,..., N. maksimal interx'allardan iborat qobiq uning tarkibidan istalgan maksimal intervalni (N k , j = 1,2,...,m) chetlashtirganimizda, qolgan qismi N f ning qobig'i b o ‘la olmasa, u holda bu qobiq N ^ to ‘plamning keltirilmaydigan qoplami deb ataladi.
2 - ta’rif. N f to ‘plamning keltirilmaydigan qobig'iga mos b o ‘lgan DNSh tupikli diz'yunktiv normal shakl deb ataladi (geometrikта ’noda).
2- misol. 1 - misoldagi to'plamning (4) da ifodalangan kel-tirilmaydigan qobiqlariga mos
Ц = Х,Х, V XjX3 v x2x3,
D2 = x2x2 v x,x2 v x,x3,
Dy = x,x, v x,x3 v XjX2 v x2x ,, Da = x,x2 v x,x, v x,x2 v x,x3, (5)
Do'stlaringiz bilan baham: |
