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:

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

Teoremani isbot qilishni o‘quvchilarga havola qilamiz.

2.2. Ikkitaraflama prinsipning mohiyatini o‘rganish va uning tatbiqlari. Namunaviy misol va masala hamda uning yechimi.

Mantiq algebrasidagi ikki taraflama qonun

Ikki taraflama funksiya. Endi ikki taraflama (qo‘shma) funksiya tushunchasini kiritamiz.
f (x₁ ,x₂ ,...,x_n ) funksiyaga ikki taraflama bo‘lgan funksiyani topish uchun f funksiyaning chinlik jadvalida hamma o‘zgaruvchilarni ularning inkoriga almashtirish kerak, ya’ni hamma joyda 1ni 0ga va 0ni 1ga almashtirish kerak.