Qarshi davlat universiteti fizika matematika fakulteti informatika o

ta’ ri f. _x1,_x2 ,...,_xn funksional elementlar berilgan bo‘lsin. Agar _x1 elementning chiqishi _x2 elementning kirishiga, _x2 elementning chiqishi _x3 elementning kirishiga va hokazo,

_xk1 elementning chiqishi _xk elementning

8- shakl
kirishiga va _xk elementning chiqishi _x1 elementning kirishiga ulangan bo‘lsa, u holda bunday qurilma sikl va qurilmada teskari bog‘lanish bor deb aytiladi.
Te o re ma. _x1,_x2 ,...,_xn funksional elementlardan yasalgan S qurilma:

1. 
   _xi (i ₌1,...,n) elementlardan faqatgina bittasining chiqishi ozod bo‘lsa;
   
2. 
   har bir _xi elementning kirishi faqatgina _xj elementlardan bittasining chiqishi bilan ulangan bo‘lsa;
   
3. 
   S qurilmada sikl (teskari bog‘lanish) mavjud bo‘lmaganda va faqat shundagina sxema bo‘ladi.
   

Teoremani isbot qilishni o‘quvchilarga havola qilamiz.

II BOB. BILIMLAR OMBORINING ASOSIY OBYEKTLARI.
2.1. Matematik mantiq funksiyalarini minimallashtirish muammosi. Diz’yunktiv normal shaklni soddalash-tirish masalasi. Qisqartirilgan diz’yunktiv normal shakl. Qisqartirilgan diz’yunktiv normal shaklni yasash algoritmi.

Funksional elementlar va ulardan sxemalar yasash