Екiншi дәрежелi сызықты емес теңдеулер жүйесiнiң арнайы кластарын шешудiң оңтайлы әдiсi

Аңдатпа

Белгiлеулердi жеңiлдету және логикалық теңдеулер жүйелерiн шешу уақытын қысқарту мақсатында екiншi дәрежелi сызықты емес логикалық теңдеулер жүйесiнiң арнайы класын шешу үшiн оңтайлы әдiс ұсынылды. Зерттелетiн сызықты емес логикалық теңдеулер жүйелерiнiң класында логикалық формулалар кейбiр сызықтық қосындыларға толығымен немесе iшiнара бөлiнедi. Нәтижесiнде логикалық формулалар сызықтық көпмүшелердiң көбейтiндiсiне келтiрiледi, оның негiзiнде екiншi реттi логикалық теңдеулер жүйесiне қарағанда шама ретi оңай шешiлетiн сызықтық логикалық теңдеулер жүйесi алынады және арнайы кластың екiншi дәрежелi Жегалкин көпмүшелiгiнен алынған арнайы дизъюнктивтiк қалыпты формалар үшiн кейбiр минимизациялау мәселелерi қарастырылады.