Bosh sahifa>Qidiruv>Otaqulov E. (Ilmiy rah. Doliev Sh).

Otaqulov E. (Ilmiy rah. Doliev Sh).

Ushbu kitob tupikli diz'yunktiv normal shakllarni (TDNSh) yasash usullarini o'rganishga bag'ishlangan. Unda TDNShning geometrik ma'nosi, TDNShni yasash algoritmi va amaliy misollar keltirilgan. Kitobda formulalarni soddalashtirish, chinlik jadvalini tuzish va shu orqali TDNShni topish usullari ko'rsatilgan.

Asosiy mavzular

  • Geometrik ma'nodagi tupikli diz'yunktiv normal shakllar: TDNShning geometrik talqini berilgan. Keltirilmaydigan qoplam va unga mos keluvchi DNSh tushunchalari aniqlangan. I va II almashtirishlarga nisbatan tupikli DNSh tushunchalarining ekvivalentligi isbotlangan.
  • Tupikli diz'yunktiv normal shakllarni yasash algoritmi: TDNShni topish uchun geometrik g'oyalarga asoslangan algoritm keltirilgan. Maksimal intervallar sistemasi, jadval tuzish va ifodalarni soddalashtirish bosqichlari tushuntirilgan.
  • Amaliy qism: Berilgan formula uchun chinlik jadvalini tuzish orqali tupikli DNSHni topish ko'rsatilgan. Formulani soddalashtirish va uning tupikli DNShni aniqlash usullari misol bilan tushuntirilgan.
Kalit so'zlar:tupikli diz'yunktiv normal shaklTDNShchinlik jadvalimantiqiy algebradiz'yunktiv normal shaklnormal shaklgeometrik manoalmashtirishsoddalashtirishalgoritm