|
Tema: Norma formalari Maksimal dizyunktiv hám konyunktiv normal formalar. Reje
|
| Sana | 16.05.2024 | | Hajmi | 1,79 Mb. | | #239075 |
Bog'liq 5 Normal formalar
Tema:Norma formalari Maksimal dizyunktiv hám konyunktiv normal formalar.
REJE:
Kirisiw
Tiykarg'i bólim
1.Norma formalari.
2.Dizyunktiv hám konyunktiv normal formalar.
Juwmaqlawshi bólim
Paydalanilģan ádebiyatlar
Eger berilgen elementar oy-pikirlerdiń hár biri elementar kon'yunksiya (dizyunksiya) ańlatpasında tek bir matra qatnassa, bul ańlatpa sol elementar oy-pikirlerge salıstırǵanda tolıq elementar kon'yunksiya (dizyunksiya) dep ataladı.
Eger elementar kon'yunksiya (dizyunksiya) ańlatpasında qatnasıw etiwshi hár bir elementar oy-pikir sol ańlatpada tek bir ret ushrassa, ol halda bul ańlatpa tuwrı elementar kon'yunksiya (dizyunksiya) dep ataladı.
Berilgen a b c hám a d f elementar dizyunksiyalar tuwrı elementar dizyunksiyalar, abdc hám aecb elementar kon'yunksiyalar bolsa tuwrı elementar kon'yunksiyalar bolıp tabıladı. Lekin, a ol ol c hám ol ol e n elementar dizyunksiyalar ańlatpasında ol elementar oy-pikir bir retten artıq qatnasqanlıǵı sebepli, olardıń hesh biri tuwrı elementar dizyunksiya bola almaydı.
Bul hám elementar kon'yunksiyalardiń hesh qay-qaysısı elementar oy-pikirlerge salıstırǵanda tolıq elementar kon'yunksiya emes, lekin olardıń birinshisi elementar oy-pikirlerge salıstırǵanda, aqırǵısı bolsa elementar oy-pikirlerge salıstırǵanda tolıq elementar kon'yunksiya bolıp tabıladı.
Eger formulanıń KNShi (DNShi) ańlatpasında birdey elementar dizyunksiyalar (kon'yunksiyalar) bolmasa hám barlıq elementar dizyunksiyalar (kon'yunksiyalar) tuwrı hám de ańlatpada qatnasuvshı barlıq elementar oy-pikirlerge salıstırǵanda tolıq bolsa, ol halda bul ańlatpa jetilisken kon'yunktiv normal forma (jetilisken diz'yunktiv normal forma ) dep ataladı.
Quramında tek bir tiykarǵı logikalıq ámel qatnasqan formulalardıń jetilisken normal formalari (MKNShlari hám MDNShlari) 1- kestede keltirilgen.
Joqarıdaǵı tastıyıqtiń tuwrılıǵın tekseriw oqıwshına silteme etiledi.
1- kesteden kórinip turipti, x formulanıń MKNShi da, MDNShi da onıń ózinden ibarat ; x y formulanıń MKNShida ush ( x y,-x y hám x -y ) diz'yunktiv konstituyentlar bar, onıń MDNShi bolsa bir kon'yunktiv konstituyentdan (sol formulanıń ózinen) ibarat ; hám taǵı basqa.
Paydalanilģan ádebiyatlar.
1.Internet mag'liwmatlari.
2.ziyonet.uz
3.www.wikipedia.uz
4.arxiv.uz
|
| |
