Bajardi: Abdusalomova Y. Qabul qildi: Qodirov F. Qarshi – 2023

Formal mantiq va kompyuter qurilmalari o’rtasidagi bog’liqlik

Ma’lumotlar va buyruqlar har xil tuzilish va uzunlikdagi ikkilik ketma-ketliklar sifatida ifodalanadi. Ikkilik ma’lumotni kodlashning turli xil fizik usullari mavjud.

Kompyuterning elektron qurilmalarida ikkilik birliklar ko'pincha ikkilik nollarga qaraganda yuqori kuchlanish darajasi bilan kodlanadi (yoki aksincha), masalan:

Kompyuterning elementi hisoblangan - raqamli sxema yordamida o‘zgaruvchilari va qiymati ikkita mantiqiy qiymatdan birini qabul qilishi mumkin bo‘lgan funksiyalar amalga oshiriladi. Bunday funksiyalar Bul funksiyalari deb ataladi. Ushbu funksiyalar va ularni qo‘llash qoidalari ingliz matematiki Jorj Bul (1815-1864) nomi bilan yuritiladigan Bul algebrasida ishlab chiqilgan. Kompyuter arxitektursasining raqamli mantiqiy sathi elementlarini loyihalashda, Bul algebrasi qoidalaridan foydalaniladi.