Mavzu: Funksional element. Sxema yasash usullari. Funksiyani sxemalar orqali ifodalash. Sxemaning matematik induksiya metodi bo‘yicha ta’rifi

1- t a ’ r i f . a) Har qanday funksional element sxema bo‘ladi. Uning kirishi funksional elementning kirishidan, chiqishi esa uning chiqishidan iborat bo‘ladi;

b) agar S0 sxema va uning ikkita kirishi aynan tutashtirilgan bo‘lsa, u holda hosil

bo‘lgan S qurilma ham sxema bo‘ladi. S ning chiqishi S0 ning chiqishidan va S ning kirishlari bo‘lsa, S0 ning tutashtirilmagan kirishlaridan va aynan tutashtirilgan ikkita kirishga mos kelgan kirishdan iborat bo‘ladi;

d) agar S0 va S1 sxemalar bo‘lsa, u holda S0 sxemaning birorta kirishiga S1 sxemaning

chiqishini ulash natijasida hosil bo‘lgan S qurilma ham sxema bo‘ladi. S sxemaning chiqishi
4- shakl

Haqiqatan ham, agar biror Si funksiyani realizatsiya qiladigan i elementning kirishiga

fi funksiyani realizatsiya qiladigan  j elementning chiqishi ulangan bo‘lsa, u holda fi
funksiyaning o‘sha kirishiga mos bo‘lgan argumenti o‘rniga fi funksiyani keltirib qo‘yishimiz kerak. Hamma aynan tutashtirilgan kirishlar o‘rniga ularga mos kelgan faqat bitta argument qo‘yish kerak, shuning uchun 2- shaklga asosan, 1 funksional element realizatsiya qiladigan
3- shakl

S0 sxemaning chiqishidan va uning kirishlari S1 ning hamma kirishlaridan hamda S ning chiqishi bilan tutashtirilgan S0 ning kirishidan tashqari ozod qolgan hamma kirishlaridan iboratdir;

e) ushbu ta’rifning b) va d) bandlarida tasvirlangan usullar orqali chekli qadamda har qanday sxemani funksional elementlardan yasash mumkin.
Bu ta’rif oldingi paragraflarda funksiyalar superpozitsiyasi haqida berilgan ta’rifdan shakli jihatdan birmuncha farq qiladi. Bu farq birinchi navbatda sxemaning rangi (funksional elementlardan sxema yasash uchun bajarilgan qadamlar soniga sxemaning rangi deb ataladi) tushunchasi kiritilmaganligi tufayli paydo bo‘ldi. Ikkala ta’rifni taqqoslab tahlil qilishni o‘quvchiga havola etamiz.
Endi mantiq algebrasining sxema realizatsiya qiladigan funksiyasini induksiya metodi orqali topaylik.

• 
  Induksiya asosi. Har bir funksional element bitta mantiq algebrasining funksiyasini realizatsiya qilishi aniqlangan.
  
• 
  Induktiv o‘tish. a) Agar S0 sxema f (x1, x2 ,..., xn ) funksiyani realizatsiya qilsa, u holda
  1- ta’rifning b) bandi asosida qurilgan S1 sxema aynan tutashtirilgan kirishlarga mos keladigan
  
  xi , x j argumentlarni aynan tenglashtirish natijasida hosil qilingan funksiyani realizatsiya qiladi;
  b) f (x1, x2 ,..., xn ) funksiyani S0 sxema va  ( y1 , y2 ,..., ym ) funksiyani S1 sxema realizatsiya qilsin, bu yerda x1, x2 ,..., xn , y1, y2 ,..., ym lar bir-biriga teng bo‘lmagan o‘zgaruvchilar bo‘lsin. U holda 1- ta’rifning d) bandiga asosan qurilgan S sxema
  
  
  f (x1,..., xi1, ( y1,..., ym ), xi1,..., xn ) ni realizatsiya qiladi. Bu yerda  ( y1 ,..., ym ) funksiya f
  funksiyaning xi argumenti o‘rniga qo‘yilgan.
  Teng kuchli funksiyalarni bir xil funksional element realizatsiya qiladi deb qabul qilamiz.
  Buning uchun soxta kirish tushunchsiani kiritamiz.
  
• 
  t a ’ r i f . Agar  funksional element realizatsiya qiladigan f (x, y1 ,..., yn ) funksiyaning
  qiymati x argumentga mos kelgan kirish signalining qiymatiga (0 yoki 1ga) bog‘liq bo‘lmasa (ya’ni, x o‘zgaruvchi f (x, y1 ,..., yn ) ning soxta argumenti bo‘lsa, u holda  elementning x argumentga mos kirishi soxta kirish deb ataladi.
  
•