1-mavzu. Kirish. Mantiqiy elementlar va funksiyalar. Reja

U(t+1)=F(U(t),X(t));

Y(t)= Ψ (U(t)).

Mili avtomatlarida chiquvchi signal Y, ham ichki holat U, ham kiruvchi so‘z X bilan belgilanadi

U(t+1)=F(U(t),X(t));

Y(t)= Ψ (U(t),X(t)).

Ishlash qonunini jadval ko‘rinishida keltirilsa Mili avtomati o‘tishlar jadvali va chiqishlar jadvali ko‘rinishida bo‘ladi. Mur avtomatida chiquvchi signal kiruvchi signal emas ichki holatga bog‘liq bo‘lganigi sababli, Mur avtomati o‘tishlar jadvavali bilan ifodalanadi. Umumiy holda avtomatni bir ichki holatdan ikkinchisiga o‘tishi kiruvchi signallar ta’siri ostida bo‘ladi.

Mantiqiy funksiyalar

f(x₀,x₁,...,x_n) funksiyalar mantiqiy (bul) deb nomlanadi, agar uning argumentlari x₀,x₁,...,x_n va funksiya qiymatlari faqat ikkita qiymatni qabul qilsa: mantiqiy 0 va mantiqiy 1.

Mantiq algebrasi funksiyasini shakllantirish uchun, har bir boshqa funksiyalaridagidek, barchi mumkin bo‘lgan kiruvchi argumentlar kombinatsiyalarini berish zarur. Agar argumentlar soni n ga ten bo‘lsa, uholda agrumentlar qiymati kombinatsiyalari 2ⁿ ga teng bo‘ladi, argumentlarning funksiyalari soni esa 2²ⁿ . n=1 , bo‘lganda funksiyalar soni 2² =4 bo‘ladi, n=2 , bo‘lganda funksiyalar soni 2⁴ =16 bo‘ladi, n=3 , bo‘lganda funksiyalar soni 2⁸ =512 bo‘ladi.

Mantiqiy funksiyalarni shakllantirish usullari:

So‘zlar orqali. Funksiya qiymatlari va uning argumentlari bog‘liqligi so‘z iboralari orqali ifodalanadi.

Jadvalli. Jadval usulda rostlik jadvali tuziladi, unda argumentlarning mumkin bo‘lgan kombinatsiyalari va mos mantiqiy funksiyalar qiymatlari keltiriladi. Bunday kombinatsiyalar yakuniy bo‘lganligi uchun, rostlik jadvali ixtiyoriy argumentlar uchun qiymatni belgilash imkoni yaratiladi. Matematik funksiyalar jadvallaridan farqli ravishda , barcha funksiyalarga qiymatni berish imkonini bermaydigan.

Raqamli. Mantiq algebrasi funksiyasini o‘nlik sonlar ketma-ketligidek aniqlanadi. SHuningdek birlik yoki nollik funksiya qiymatlariga mos ikkilik kodi ekvivalentlarini ketma-ket yozilib chiqiladi

Analitik. Mantiq algebrasi funksiyalari analitik ifoda ko‘rinishida yoziladi, bularda funksiya argumentlari ustidan bajariladigan mantiqiy amallar ko‘rsatiladi.