Hisoblash tizimlarning mantiqiy asoslari

Hisoblash tizimlarning mantiqiy asoslari. umumiy tushunchalar. Mantiq algebrasi elementar funksiyalarining xususiyatlari Reja: Mantiq, mantiqiy o'zgaruvchilar va funksiyalar tushunchalari hamda ta'riflari. Bir va ikki argumentli mantiq funksiyalari. Mantiq algebrasi elementar funksiyalarining xususiyatlari. Matematik mantiqning asosiy qismlaridan biri - mantiq algebrasi hisoblash mashinalarining asosi hisoblanadi. Mantiq algebrasi fikrlar bilan ish ko'radi. Fikr deganda haqiqiy yoki yolg'onligi nuqtai nazaridan bildirilgan har qanday tasdiq tushuniladi. Fikrning haqiqiyligi yoki yolg'onligidan boshqa alomatlari (yaxshi, yomon, nodir va h.) e'tiborga olinmaydi. Mantiq algebrasida fikrlarning haqiqiyligi 1 bilan, yolg'onligi 0 bilan tenglashtirish qabul qilingan. Fikrlarning bu ikkili tabiatiga mosligini hisobga olib, ularni mantiqiy o'zgaruvchilar deb atashadi. Fikrlar yoki mantiqiy o'zgaruvchilar oddiy bo'ladi va lotin alifbosining kichik harflari - x, y, z, x1, x2, a, b, . . . bilan belgilanadi. Oddiy fikrlardan mantiqiy o'zgaruvchilarning ikkili funksiyalari hisoblanuvchi murakkab fikrlar tuziladi. Murakkab fikrlar katta harflar A, B, C, D, E, F, bilan belgilanadi va ko'pincha mantiq algebrasining funksiyasi (MAF) deb ataladi. Mantiq algebrasi elementar mantiqiy funksiyalar yordamida mantiq algebrasi funksiyalarini ifodalash va o'zgartirish bilan shug'ullanadi. MAF larini ifodalash va o'zgartirish masalalari hisoblash mashinalarini loyihalashda keng qo'llaniladi. Elementar mantiqiy funksiyalar qatoriga avvalo bitta o'zgaruvchi x ning elementar funksiyalarini kiritish mumkin. Bu funksiyalar haqiqiylik jadvali deb ataluvchi jadvalda keltirilgan (6.1-jadval). Umuman, haqiqiylik jadvali argumentlarning (mantiqiy o'zgaruvchilarning) mumkin bo'lgan to'plamlaridan har biriga mos funksiya qiymatini akslantiradi. 6.1-jadval. Ikkita x va u o'zgaruvchilarning elementar mantiqiy funksiyalarini ko'raylik (6.2-jadval). 6.2-jadvaldagi funksiyalardan bir qismi trivial hisoblanadi. Masalan, f0=0, f15=1 va f3=x, f5=y. Ularning ichida ikkitasi elementar funksiyalardir - f10=(y, f12=(x. f2 va f4 funksiyalari esa mos holda u va x bo'yicha ta'qiqi funksiyalari hisoblanadi. Qolganlarini qisqacha tavsiflaylik: - x va u mantiqiy o'zgaruvchilarning dizyunksiyasi. Qisqacha x va u ning dizyunksiyasi. x(u kabi belgilanadi. «x yoki u» deb o'qiladi. Ta'rifi: x va u mantiqiy o'zgaruvchilarning dizyunksiyasi murakkab funksiya bo'lib, u faqat x va u yolg'on bo'lgandagina yolg'on hisoblanadi (6.3-jadval). - x va u mantiqiy o'zgaruvchilarning konyunksiyasi. x(u kabi belgilanadi. «x ham u» deb o'qiladi. Ta'rifi: x va u ning konyunksiyasi murakkab funksiya bo'lib, u faqat x va u haqiqiy bo'lgandagina haqiqiy hisoblanadi (6.4-jadval). - x va u mantiqiy o'zgaruvchilarning teng qiymatliligi. xu kabi belgilanadi. «x u ga teng qiymatlik» deb o'qiladi. ta'rifi: x va u ning teng qiymatliligi murakkab funksiya bo'lib, u faqat x va u haqiqiyliklari mos kelgandagina haqiqiy hisoblanadi (6.5-javdal). - x va u ni 2 ning moduli bo'yicha qo'shish. xu kabi belgilanadi. «x ni u ga 2 ning moduli bo'yicha qo'shish» deb ...