Mavzu: chekli avtomat haqida umumiy tushunchalar

Demak, momentdagi elementlarning chiqishidagi signallar ularning kirishlariga momentda berilgan signallarga bog’liq bo’lar ekan, ya’ni momentda sxemaning kirishlariga berilgan signallar va elementlarning shu momentdagi chiqish signallariga bog’liqdir. Aniqrog’i, argumentli ta mantiq algebrasi funksiyalarining majmuidan (to’plamidan) iborat bo’ladi. Bu argumentlarning ayrimlari soxta bo’lishi mumkin. Masalan, uchun faqat quyidagi argumentlar soxta emas: elementning kirishlariga chiqishlar ulangan funksional elementlarga va sxemaning kirishlari bevosita elementning ham kirishlari deb hisoblanadigan signallarga mos keladigan argumentlar.